IT Security Analysis Best Practices and Formal Approaches

DOI10.1007/978-3-540-74810-6_3zbMATH Open1195.68040OpenAlexW1522359820MaRDI QIDQ3184792FDOQ3184792

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

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

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Information Security and Privacy
• Static analysis for proactive security
• Formal methods for web security

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)