Analyzing cryptographic protocols in a reactive framework

DOI10.1007/3-540-47813-2_4MaRDI QIDQ4736987zbMATH OpenFDO

Authors R. K. Shyamasundar

Publication date 11 August 2004

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

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2294/22940046.htm

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• A simple framework for real-time cryptographic protocol analysis with compositional proof rules
• scientific article; zbMATH DE number 5003467
• scientific article; zbMATH DE number 1497864
• scientific article; zbMATH DE number 3965967
• A framework for the analysis of security protocols

Cited in

(4)

• Cryptographic Protocols Analysis in Event B
• Characterizing the Cryptographic Properties of Reactive 2-Party Functionalities
• The KDM-CCA Security of REACT
• Security analysis model of behavior based on cryptographic protocols implement at source code level

This page was built for publication: Analyzing cryptographic protocols in a reactive framework

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