Specification of a smart card operating system

DOI10.1007/3-540-44557-9_5MaRDI QIDQ2766801zbMATH OpenFDO

Authors Gustavo Betarte, Cristina Cornes, Nora Szasz, Álvaro Tasistro

Publication date 22 July 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44557-9_5

Mathematics Subject Classification ID

Theory of operating systems (68N25) Computing methodologies and applications (68U99)

Recommendations

• A formal executable semantics of the JavaCard platform
• Formal methods for smart cards: an experience report
• FM 2005: Formal Methods
• Source code verification of a secure payment applet
• Fundamental Approaches to Software Engineering

Cited in

(1)

• Logical formalisation and analysis of the Mifare Classic card in PVS

Describes a project that uses

Uses Software

• Coq

This page was built for publication: Specification of a smart card operating system

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2766801)