Source code verification of a secure payment applet

DOI10.1016/J.JLAP.2003.07.007MaRDI QIDQ1881671zbMATH OpenOpenAlexWikidataFDO

Authors Bart Jacobs, Martijn Oostdijk, Martijn Warnier

Publication date 14 October 2004

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2003.07.007

zbMATH Keywords

JavaSecuritySmart cardApplet verification

Mathematics Subject Classification ID

Network protocols (68M12)

Recommendations

• Algebraic Methodology and Software Technology
• Formal methods for smart cards: an experience report
• FM 2005: Formal Methods
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 1497867

Cites work

• scientific article; zbMATH DE number 1701766 (Why is no real title available?)
• scientific article; zbMATH DE number 1706337 (Why is no real title available?)
• A logic of authentication

Cited in

(10)

• Formal methods for smart cards: an experience report
• Algebraic Methodology and Software Technology
• scientific article; zbMATH DE number 2090143 (Why is no real title available?)
• Fundamental Approaches to Software Engineering
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 2090142 (Why is no real title available?)
• Weakest pre-condition reasoning for Java programs with JML annotations
• FM 2005: Formal Methods
• scientific article; zbMATH DE number 1696610 (Why is no real title available?)
• scientific article; zbMATH DE number 2087509 (Why is no real title available?)

Describes a project that uses

Uses Software

• FDR2
• LOOP
• ESC/Java
• Casper
• JML
• PVS

This page was built for publication: Source code verification of a secure payment applet

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