Towards the correctness of security protocols

DOI10.1016/S1571-0661(03)50004-4MaRDI QIDQ276469zbMATH OpenOpenAlexWikidataFDO

Authors M. Debbabi, Mohamed Mejri

Publication date 3 May 2016

Full work available at URL https://doi.org/10.1016/s1571-0661(03)50004-4

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• scientific article; zbMATH DE number 1832233
• Type-based automated verification of authenticity in asymmetric cryptographic protocols
• scientific article; zbMATH DE number 1927556
• Type-Based Automated Verification of Authenticity in Cryptographic Protocols
• Sound Security Protocol Transformations

Cited in

(10)

• Update semantics of security protocols
• scientific article; zbMATH DE number 1832233 (Why is no real title available?)
• scientific article; zbMATH DE number 1863380 (Why is no real title available?)
• scientific article; zbMATH DE number 1857525 (Why is no real title available?)
• On the secure implementation of security protocols
• scientific article; zbMATH DE number 2090117 (Why is no real title available?)
• scientific article; zbMATH DE number 2112333 (Why is no real title available?)
• scientific article; zbMATH DE number 7361813 (Why is no real title available?)
• On the correctness of an intrusion-tolerant group communication protocol
• Validating Security Protocols under the General Attacker

This page was built for publication: Towards the correctness of security protocols

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