Paper Info
Title
A Verifiable Conformance Relationship between Smart Card Applets and B Security Models
Abstract
We propose a formal framework based on the B method, that supports the development of secured smart card applications. Accordingly to the Common Criteria methodology, we start from a formal definition and modelling of security policies, as access control policies. At the end of the development process, smart card applications are implemented in a standardized way, based on both the life cycle of smart card applets and the APDU protocol. In this paper, we define a conformance relationship that aims at establishing how smart card applications can be related to security requirement models. This embraces both the notions of security conformance as well as traceability allowing to relate basic events appearing at the level of applications with abstract security policies. This approach has been developed in the RNTL POSÉ project, involving a smart card issuer, Gemalto.
Year
DOI
Venue
2008
10.1007/978-3-540-87603-8_19
ABZ
Keywords
Field
DocType
verifiable conformance relationship,smart card issuer,smart card application,smart card applets,abstract security policy,conformance relationship,secured smart card application,security policy,development process,security conformance,b security models,security requirement model,b method,life cycle,security model,smart card
Computer security,Smart card,Cloud computing security,Engineering,MULTOS,Open Smart Card Development Platform,OpenPGP card,Smart card application protocol data unit,Logical security,Computer security model
Conference
Volume
ISSN
Citations 
5238
0302-9743
2
PageRank 
References 
Authors
0.39
13
4
Name
Order
Citations
PageRank
Frédéric Dadeau114315.86
Julien Lamboley220.39
Thierry Moutet330.77
Marie-Laure Potet419021.34