Formal methods in context: security and Java card

DOI10.1007/3-540-45165-X_1MaRDI QIDQ2771738zbMATH OpenFDO

Authors Dominique Bolignano, Daniel Le Métayer, C. Loiseaux

Publication date 18 February 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2041/20410001

Mathematics Subject Classification ID

Theory of programming languages (68N15) Data encryption (aspects in computer science) (68P25) Computing methodologies and applications (68U99)

Review text

Summay:The benefits of formal methods for software engineering have been described at length in many research papers. They include among others: Better understanding and improved communication through unambiguous descriptions. Early bug detection thanks to the formalisation of specifications. Possibility of formal verifications of properties of software components and systems. Systematic testing from formal specifications. For the entire collection see [Zbl 0968.68557].

Recommendations

• Fundamental Approaches to Software Engineering
• scientific article; zbMATH DE number 2090143
• scientific article; zbMATH DE number 1848384
• A dynamic logic for the formal verification of Java card programs
• Formally sound implementations of security protocols with JavaSPI
• A formal executable semantics of the JavaCard platform

Cited in

(12)

• On the role of formal methods in security
• scientific article; zbMATH DE number 1693426 (Why is no real title available?)
• scientific article; zbMATH DE number 1706329 (Why is no real title available?)
• Role of formal methods in the automobile industry
• scientific article; zbMATH DE number 139995 (Why is no real title available?)
• scientific article; zbMATH DE number 1304369 (Why is no real title available?)
• scientific article; zbMATH DE number 1951207 (Why is no real title available?)
• scientific article; zbMATH DE number 1517029 (Why is no real title available?)
• scientific article; zbMATH DE number 1746450 (Why is no real title available?)
• scientific article; zbMATH DE number 2090139 (Why is no real title available?)
• scientific article; zbMATH DE number 2090143 (Why is no real title available?)
• scientific article; zbMATH DE number 4187092 (Why is no real title available?)

This page was built for publication: Formal methods in context: security and Java card

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