Automated analysis of security protocols

MaRDI QIDQ2844052zbMATH OpenFDO

Authors Michaël Rusinowitch

Publication date 27 August 2013

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

Mathematics Subject Classification ID

Network protocols (68M12) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 2163007
• scientific article; zbMATH DE number 1927581
• Cryptographic protocol security analysis based on bounded constructing algorithm
• scientific article; zbMATH DE number 1390339
• scientific article; zbMATH DE number 1405638

Cited in

(6)

• Cryptographic protocol security analysis based on bounded constructing algorithm
• On the Automated Correction of Protocols with Improper Message Encoding
• scientific article; zbMATH DE number 1941256 (Why is no real title available?)
• scientific article; zbMATH DE number 2080183 (Why is no real title available?)
• scientific article; zbMATH DE number 2163007 (Why is no real title available?)
• Security Analysis of CPace

This page was built for publication: Automated analysis of security protocols

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