scientific article; zbMATH DE number 1497867

MaRDI QIDQ4499298zbMATH OpenFDO

Authors

Publication date 5 March 2001

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Computer system organization (68M99)

Recommendations

• scientific article; zbMATH DE number 1706330
• Fundamental Approaches to Software Engineering
• Source code verification of a secure payment applet
• Formal methods for smart cards: an experience report

Cited in

(5)

• Source code verification of a secure payment applet
• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 2090142 (Why is no real title available?)
• scientific article; zbMATH DE number 1706330 (Why is no real title available?)
• Noninterference for concurrent programs and thread systems

This page was built for publication:

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