scientific article; zbMATH DE number 1497867

zbMATH Open0959.68506MaRDI QIDQ4499298FDOQ4499298

Authors:

Publication date: 5 March 2001

Title of this publication is not available (Why is that?)

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

Mathematics Subject Classification ID

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

Cited In (5)

• Source code verification of a secure payment applet
• Fundamental Approaches to Software Engineering
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)