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

Applet verificationJavaSecuritySmart card

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

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

Cited in

(11)

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

Describes a project that uses

Uses Software

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

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)