IT Security Analysis Best Practices and Formal Approaches

DOI10.1007/978-3-540-74810-6_3MaRDI QIDQ3184792zbMATH OpenOpenAlexFDO

Authors Daniel Le Métayer

Publication date 22 October 2009

Published in Foundations of Security Analysis and Design IV (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-74810-6_3

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25)

Recommendations

• scientific article; zbMATH DE number 1746450
• Security Protocols: Principles and Calculi
• Usage formal models for vulnerability analysis
• Formal methods for web security
• Informational analysis of security and integrity

Cited in

(4)

• Static analysis for proactive security
• scientific article; zbMATH DE number 1746450 (Why is no real title available?)
• Formal methods for web security
• Information Security and Privacy

This page was built for publication: IT Security Analysis Best Practices and Formal Approaches

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