Sound Security Protocol Transformations

DOI10.1007/978-3-642-36830-1_5MaRDI QIDQ5326755zbMATH OpenOpenAlexFDO

Authors B.-T. Nguyen, Christoph Sprenger

Publication date 6 August 2013

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-36830-1_5

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Authentication, digital signatures and secret sharing (94A62)

Recommendations

• Secure protocol transformations
• Security goals and protocol transformations
• Transformations between Cryptographic Protocols
• Secure composition of protocols
• Secure protocol composition
• scientific article; zbMATH DE number 1956551
• On the secure implementation of security protocols
• Safely composing security protocols

Cited in

(5)

• Safe abstractions of data encodings in formal security protocol models
• Proof-based design of security protocols
• Towards the correctness of security protocols
• Transformations between Cryptographic Protocols
• Security goals and protocol transformations

This page was built for publication: Sound Security Protocol Transformations

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