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 条
  • [1] Automated inductive verification of parameterized protocols
    Roychoudhury, A
    Ramakrishnan, IV
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2001, 2102 : 25 - 37
  • [2] On the formal modeling of inductive verification for cryptographical protocols
    Li, Yongjian
    Song, Xiaoyu
    Li, Xiaojuan
    2012 13TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED COMPUTING, APPLICATIONS, AND TECHNOLOGIES (PDCAT 2012), 2012, : 201 - 206
  • [3] Fingerprint verification system on smart card
    Mimura, M
    Ishida, S
    Seto, Y
    2002 INTERNATIONAL CONFERENCE ON CONSUMER ELECTRONICS, DIGEST OF TECHNICAL PAPERS, 2002, : 182 - 183
  • [4] Fingerprint verification system involving smart card
    Gil, Y
    Moon, D
    Pan, S
    Chung, Y
    INFORMATION SECURITY AND CRYPTOLOGY - ICISC 2002, 2002, 2587 : 510 - 524
  • [5] Advanced verification system using a smart card for smart city users
    Limbasiya, Trupil
    Garg, Mihir
    Shandil, Shivam
    PHYSICAL COMMUNICATION, 2018, 29 : 319 - 328
  • [6] FingerCode for Identity Verification Using Fingerprint and Smart Card
    De Zhi, Victor Teoh
    Suandi, Shahrel Azmin
    2015 10TH ASIAN CONTROL CONFERENCE (ASCC), 2015,
  • [7] Compositional verification for secure loading of smart card applets
    Sprenger, C
    Gurov, D
    Huisman, M
    SECOND ACM AND IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2004, : 211 - 222
  • [8] Modeling of Contactless Smart Card Protocols and Automated Vulnerability Finding
    Henzl, Martin
    Hanacek, Petr
    2013 INTERNATIONAL SYMPOSIUM ON BIOMETRICS AND SECURITY TECHNOLOGIES (ISBAST), 2013, : 141 - 148
  • [9] Formal verification of a commercial smart card applet with multiple tools
    Jacobs, B
    Marché, C
    Rauch, N
    ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY: PROCEEDINGS, 2004, 3116 : 241 - 257
  • [10] Verification and Validation Communication Layer of Embedded Smart Card System
    Lockman, Muhammad Tarmizi
    Selamat, Ali
    ICED: 2008 INTERNATIONAL CONFERENCE ON ELECTRONIC DESIGN, VOLS 1 AND 2, 2008, : 603 - 607
12345