An operational semantics of the Java Card firewall

DOI10.1007/3-540-45418-7_9MaRDI QIDQ4785549zbMATH OpenFDO

Authors Marc Éluard, Thomas Jensen, Ewen Denney

Publication date 5 January 2003

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2140/21400095

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Semantics in the theory of computing (68Q55) Computing methodologies and applications (68U99)

Recommendations

• Operational semantics of the Java Card Virtual Machine
• A formal executable semantics of the JavaCard platform
• Jakarta: A toolset for reasoning about JavaCard
• Algebraic Methodology and Software Technology
• Towards a full formal specification of the JavaCard API

Cited in

(1)

• Operational semantics of the Java Card Virtual Machine

This page was built for publication: An operational semantics of the Java Card firewall

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