The use of the B formal method for the design and the validation of the transaction mechanism for smart card applications

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1708, Issue , 1999, Pages 348-368

  Sabatier, Denis ^a   Lartigue, Pierre ^b  

^a Steria Méditerranée   (France)

^b GEMPLUS   (France)

Author keywords

[No Author keywords available]

Indexed keywords

PROM; SMART CARDS; TRANSPORTATION;

DATA MODIFICATION; EEPROM MEMORY; HIGH CONFIDENCE; MATHEMATICAL PROOF; SECURITY REQUIREMENTS; SMART-CARD APPLICATION; TRANSACTION MECHANISM; UNSTABLE STATE;

FORMAL METHODS;

EID: 84958057954     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48119-2_21     Document Type: Conference Paper

References (3)

1. Abrial J-R, The B-Book: Assigning programs to meanings. Edited by Cambridge University Press (1996)
2. Abrial J-R and Mussat L, Introducing Dynamic Constraints in B. D. Bert (Editor): Proceedings of the Second International B Conference B’98: Recent Advances in the Development and Use of the B Method, April 1998, Springer.
3. Abrial J-R. and Mussat L, Specification and Design of a Transmission Protocol by Successive Refinements Using B. in Mathematical Methods in Program Development, Edited by M. Broy and B. Schieder, Springer Verlag (1997)