Inductive verification of smart card protocols

被引：0
|
作者：
Bella, Giampaolo [1 ,2 ]
机构：
[1] Computer Laboratory, University of Cambridge, 15 JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom
[2] Dipto. di Matematica e Informatica, Università di Catania, Viale A. Doria 6, I-95125 Catania, Italy
来源：
Journal of Computer Security | 2003年 / 11卷 / 01期
关键词：
Inductive verification - Security protocols - Smart card protocols;
D O I：
10.3233/JCS-2003-11103
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：87 / 132
相关论文
共 50 条
  • [21] Designing a smart-card-based face verification system: empirical investigation
    Bourlai, Thirimachos
    Kittler, Josef
    Messer, Kieron
    MACHINE VISION AND APPLICATIONS, 2009, 20 (04) : 225 - 242
  • [22] A Novel Verification Protocol to Restrict Unconstitutional Access of Information From Smart Card
    Sahu, Ajay Kumar
    Kumar, Ashish
    INTERNATIONAL JOURNAL OF DIGITAL CRIME AND FORENSICS, 2021, 13 (01) : 65 - 78
  • [23] Integrating Fingerprint Verification into the Smart Card-Based Healthcare Information System
    Moon, Daesung
    Chung, Yongwha
    Pan, Sung Bum
    Park, Jin-Won
    EURASIP JOURNAL ON ADVANCES IN SIGNAL PROCESSING, 2009,
  • [24] Integrating Fingerprint Verification into the Smart Card-Based Healthcare Information System
    Daesung Moon
    Yongwha Chung
    Sung Bum Pan
    Jin-Won Park
    EURASIP Journal on Advances in Signal Processing, 2009
  • [25] A Provably Secure General Construction for Key Exchange Protocols Using Smart Card and Password
    ZHANG Gefei
    FAN Dan
    ZHANG Yuqing
    LI Xiaowei
    ChineseJournalofElectronics, 2017, 26 (02) : 271 - 278
  • [26] A Provably Secure General Construction for Key Exchange Protocols Using Smart Card and Password
    Zhang Gefei
    Fan Dan
    Zhang Yuqing
    Li Xiaowei
    CHINESE JOURNAL OF ELECTRONICS, 2017, 26 (02) : 271 - 278
  • [27] Smart card
    Electronics Weekly, 1993, (1650)
  • [28] Smart card
    2000, Cahners Bus Inf, Highlands Ranch, CO, USA (55):
  • [29] Smart Card
    Linton, Otha
    ACADEMIC RADIOLOGY, 2010, 17 (11) : 1455 - 1455
  • [30] How Smart Is a Smart Card?
    Naone, Erica
    TECHNOLOGY REVIEW, 2008, 111 (06) : 90 - 91
12345