A quantitative study of two attacks

MaRDI QIDQ2849572zbMATH OpenFDO

Authors Chiara Bodei, Michele Curti, Pierpaolo Degano, Corrado Priami

Publication date 20 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000253

Mathematics Subject Classification ID

Cryptography (94A60) Network protocols (68M12)

Recommendations

• Performance evaluation of security protocols specified in LySa
• Three systems for cryptographic protocol analysis
• On quantitative analysis of probabilistic protocols
• A survey of symbolic methods in computational analysis of cryptographic systems
• Information leakage of non-terminating processes

Cited in

(6)

• Measuring security in IoT communications
• A Method for Estimation of the Success Probability of an Intrusion Process by Considering the Temporal Aspects of the Attacker Behavior
• Performance evaluation of security protocols specified in LySa
• Discovering, quantifying, and displaying attacks
• There are two sides to every question. Controller versus attacker
• Signal-flow-based analysis of wireless security protocols

This page was built for publication: A quantitative study of two attacks

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