Formal verification of security properties of smart card embedded source code

DOI10.1007/11526841_21MaRDI QIDQ5716885zbMATH OpenOpenAlexFDO

Authors June Andronick, Boutheina Chetali, Christine Paulin-Mohring

Publication date 10 January 2006

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

Full work available at URL https://doi.org/10.1007/b27882

zbMATH Keywords

Formal MethodsSecuritySmart CardSource code verificationTheorem Proving

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Source code verification of a secure payment applet
• Formal verification of a commercial smart card applet with multiple tools
• Formalisation and verification of Java Card security properties in dynamic logic
• A dynamic logic for the formal verification of Java card programs
• Formal methods for smart cards: an experience report

Cited in

(3)

• Source code verification of a secure payment applet
• Specification of a smart card operating system
• Formal verification of a commercial smart card applet with multiple tools

Describes a project that uses

Uses Software

• Caduceus
• KeY

This page was built for publication: Formal verification of security properties of smart card embedded source code

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