scientific article; zbMATH DE number 1746450

MaRDI QIDQ4532081zbMATH OpenFDO

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

Publication date 28 May 2002

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Computing methodologies and applications (68U99)

Recommendations

• On the role of formal methods in security
• Formal methods: Importance, experience, and comparative analysis
• scientific article; zbMATH DE number 1706328
• IT Security Analysis Best Practices and Formal Approaches
• scientific article; zbMATH DE number 1497771

Cited in

(7)

• Formal to practical security. Papers issued from the 2005--2008 French-Japanese collaboration
• On the role of formal methods in security
• IT Security Analysis Best Practices and Formal Approaches
• Formal methods for web security
• Foreword
• A Survey of Practical Formal Methods for Security
• On integrating confidentiality and functionality in a formal method

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 Q4532081)