Using formal methods to cultivate trust in smart card operating systems

• 1 July 1997
• journal article
• Published by Elsevier in Future Generation Computer Systems
• Vol. 13  (1) , 39-54
• https://doi.org/10.1016/s0167-739x(97)89110-8

Abstract

Keywords

• SMART CARD OPERATING SYSTEMS
• STRUCTURAL OPERATIONAL SEMANTICS
• SOFTWARE COMPONENTS
• PROOFS
• TOOL SUPPORT