Source code verification of a secure payment applet

DOI10.1016/J.JLAP.2003.07.007zbMath1066.68005OpenAlexW2052075846WikidataQ110512513 ScholiaQ110512513MaRDI QIDQ1881671

Bart Jacobs, Martijn Warnier, Martijn Oostdijk

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

Smart cardJavaSecurityApplet verification

Mathematics Subject Classification ID

Network protocols (68M12)

Related Items (1)

Weakest pre-condition reasoning for Java programs with JML annotations

Uses Software

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

Cites Work

• A logic of authentication
• Unnamed Item
• Unnamed Item

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