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 条
  • [1] Checking secure interactions of smart card applets
    Bieber, P
    Cazin, J
    Girard, P
    Lanet, JL
    Wiels, V
    Zanon, G
    COMPUTER SECURITY - ESORICS 2000, PROCEEDINGS, 2000, 1895 : 1 - 16
  • [2] 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
  • [3] Developing a Trojan applets in a smart card
    Iguchi-Cartigny, Julien
    Lanet, Jean-Louis
    JOURNAL OF COMPUTER VIROLOGY AND HACKING TECHNIQUES, 2010, 6 (04): : 343 - 351
  • [4] Formal proof of smart card applets correctness
    Lanet, JL
    Requet, A
    SMART CARD RESEARCH AND APPLICATIONS, PROCEEDINGS, 2000, 1820 : 85 - 97
  • [5] A secure PLAN (Extended version)
    Hicks, M
    Keromytis, AD
    Smith, JM
    DARPA ACTIVE NETWORKS CONFERENCE AND EXPOSITION, PROCEEDINGS, 2002, : 224 - 237
  • [6] Secure smart card reader design
    Martinez-Pelaez, Rafael
    Rico-Novella, Francisco
    Satizabal, Cristina
    2008 IEEE INTERNATIONAL SYMPOSIUM ON CONSUMER ELECTRONICS, VOLS 1 AND 2, 2008, : 276 - +
  • [7] A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
    Dadeatu, Frederic
    Lamboley, Julien
    Moutet, Thierry
    Potet, Marie-Laure
    ABSTRACT STATE MACHINES, B AND Z, PROCEEDINGS, 2008, 5238 : 237 - +
  • [8] Towards a secure and practical multifunctional smart card
    Bakdi, I
    SMART CARD RESEARCH AND ADVANCED APPLICATIONS, PROCEEDINGS, 2006, 3928 : 16 - 31
  • [9] A Comprehensively Secure Smart card access controls
    Alazmi, Sulaiman
    Khan, Ahmad Raza
    Yu, Qian
    2018 21ST SAUDI COMPUTER SOCIETY NATIONAL COMPUTER CONFERENCE (NCC), 2018,
  • [10] Secure network card - Implementation of a standard network stack in a smart card
    Montgomery, M
    Ali, A
    Lu, K
    SMART CARD RESEARCH AND ADVANCED APPLICATIONS VI, 2004, 153 : 193 - 208
12345