Performance evaluation of security protocols specified in LySa

MaRDI QIDQ2849853zbMATH OpenFDO

Authors Chiara Bodei, Michele Curti, Mikael Buchholtz, Flemming Nielson, Hanne Riis Nielson, Pierpaolo Degano, Corrado Priami

Publication date 20 September 2013

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

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• A quantitative study of two attacks
• Analysis of security protocols as open systems
• Three systems for cryptographic protocol analysis
• scientific article; zbMATH DE number 1929965
• scientific article; zbMATH DE number 1927581

Cited in

(9)

• Pierpaolo Degano
• Non-repudiation analysis using \textsc{LySa} with annotations
• From flow logic to static type systems for coordination languages
• Quantitative aspects of programming languages and systems over the past 2⁴ years and beyond
• Static evidences for attack reconstruction
• A quantitative study of two attacks
• Security metrics at work on the things in IoT systems
• \textsf{CaPiTo}: Protocol stacks for services
• Type Inference for Correspondence Types

This page was built for publication: Performance evaluation of security protocols specified in LySa

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