Checking secure interactions of smart card applets: Extended version

被引：0
|
作者：
Bieber, P. [1 ]
Cazin, J. [1 ]
Girard, P. [1 ]
Lanet, J.-L. [1 ]
Wiels, V. [1 ]
Zanon, G. [1 ]
机构：
[1] ONERA-CERT/DTIM, BP 4025, 2 Avenue E. Belin, F-31055 Toulouse Cedex 4, France
来源：
Journal of Computer Security | 2002年 / 10卷 / 04期
关键词：
Electronic purse - Secure interactions - Security policy - Smart card applets;
D O I：
10.3233/JCS-2002-10404
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：369 / 398
相关论文
共 50 条
  • [21] System Level Design of a Secure Healthcare Smart Card System
    Oksar, Merve
    Ors, Berna
    Saldamli, Gokay
    2011 IEEE SYSTEMS AND INFORMATION ENGINEERING DESIGN SYMPOSIUM (SIEDS), 2011, : 170 - 175
  • [22] Breaking a smart card based secure password authentication scheme
    Yoon, Eun-Jun
    Yoo, Kee-Young
    PROCEEDINGS OF THE SECOND INTERNATIONAL CONFERENCE ON INFORMATION SECURITY AND ASSURANCE, 2008, : 83 - +
  • [23] SECURE TERMINAL INTERFACE MODULE FOR SMART CARD APPLICATIONS.
    Anon
    IBM technical disclosure bulletin, 1985, 28 (04): : 1488 - 1489
  • [24] Probabilistic black-box reachability checking (extended version)
    Bernhard K. Aichernig
    Martin Tappler
    Formal Methods in System Design, 2019, 54 : 416 - 448
  • [25] Secure Cryptosystem from Palm Vein Biometrics in Smart Card
    Prasanalakshmi, B.
    Kannammal, A.
    2010 2ND INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING (ICCAE 2010), VOL 1, 2010, : 653 - 657
  • [26] Network smart card - A new paradigm of secure Online transactions
    Ali, A
    Lu, K
    Montgomery, M
    Security and Privacy in the Age of Ubiquitous Computing, 2005, 181 : 267 - 280
  • [27] Smart card technology for deploying a secure information management framework
    Lambrinoudakis, C
    LIBRARY COMPUTING, 2000, 19 (3-4): : 147 - 158
  • [28] Smart card technology for deploying a secure information management framework
    Lambrinoudakis, Costas
    Information Management and Computer Security, 2000, 8 (04): : 173 - 183
  • [29] Control synthesis for a smart card personalization system using symbolic model checking
    Gebremichael, B
    Vaandrager, F
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2003, 2791 : 189 - 203
  • [30] The case for a secure multi-application smart card operating system
    Markantonakis, C
    INFORMATION SECURITY, 1998, 1396 : 188 - 197
12345