Static evidences for attack reconstruction

DOI10.1007/978-3-319-25527-9_12MaRDI QIDQ3460869zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Chiara Bodei, Linda Brodo, Riccardo Focardi

Publication date 8 January 2016

Published in Programming Languages with Applications to Biology and Security (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-25527-9_12

Mathematics Subject Classification ID

Cryptography (94A60)

Recommendations

• Verification, Model Checking, and Abstract Interpretation
• An extension of formal analysis method with reasoning: a case study of flaw detection for non-repudiation and fairness
• Searching for Shapes in Cryptographic Protocols
• A static analysis of cryptographic processes: the denotational approach
• An attack-finding algorithm for security protocols.

Cites work

• A calculus for cryptographic protocols: The spi calculus
• A calculus of mobile processes. I
• A Formal Analysis of Complex Type Flaw Attacks on Security Protocols
• A logic of authentication
• Foundations of Security Analysis and Design II
• scientific article; zbMATH DE number 1324833 (Why is no real title available?)
• Non-interleaving semantics for mobile processes
• On the security of public key protocols
• Performance evaluation of security protocols specified in LySa

Cited in

(2)

• A process algebraic approach to reaction systems
• \textsf{BackFlow}: backward context-sensitive flow reconstruction of taint analysis results

This page was built for publication: Static evidences for attack reconstruction

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