Jakarta: A toolset for reasoning about JavaCard

DOI10.1007/3-540-45418-7_2MaRDI QIDQ4785541zbMATH OpenFDO

Authors Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa

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/21400002

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Recommendations

• A programming and a modelling perspective on the evaluation of Java card implementations
• Algebraic Methodology and Software Technology
• Implementation of Java card virtual machine
• Specification and runtime verification of Java card programs
• scientific article; zbMATH DE number 2088502

Cited in

(14)

• Jakarta
• The KRAKATOA tool for certification of JAVA/JAVACARD programs annotated in JML
• Extracting a data flow analyser in constructive logic
• A programming and a modelling perspective on the evaluation of Java card implementations
• The next smart card nightmare. Logical attacks, combined attacks, mutant applications and other funny things
• scientific article; zbMATH DE number 2088502 (Why is no real title available?)
• Certified Static Analysis by Abstract Interpretation
• JCML: A specification language for the runtime verification of Java card programs
• Java smart ticket demo application scrutinized
• A metamodel of access control for distributed environments: applications and properties
• An operational semantics of the Java Card firewall
• Specification and runtime verification of Java card programs
• Programming Languages and Systems
• Implementation of Java card virtual machine

Describes a project that uses

Uses Software

• LETOS

This page was built for publication: Jakarta: A toolset for reasoning about JavaCard

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