A symbolic decision procedure for cryptographic protocols with time stamps

DOI10.1016/J.JLAP.2004.09.007MaRDI QIDQ2568115zbMATH OpenOpenAlexFDO

Authors Liana Bozga, Cristian Ene, Yassine Lakhnech

Publication date 7 October 2005

Published in The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jlap.2004.09.007

zbMATH Keywords

cryptographic protocolssecuritytimed modelsverification

Mathematics Subject Classification ID

Network protocols (68M12) Data encryption (aspects in computer science) (68P25)

Recommendations

• CONCUR 2004 - Concurrency Theory
• Tools and Algorithms for the Construction and Analysis of Systems
• Protocol analysis with time
• Constraints Solution for Time Sensitive Security Protocols
• Deciding security properties for cryptographic protocols. application to key cycles

Cites work

• A theory of timed automata
• Computer aided verification. 10th international conference, CAV'98, Vancouver, BC, Canada, June 28 -- July 2, 1998. Proceedings
• scientific article; zbMATH DE number 1670808 (Why is no real title available?)
• scientific article; zbMATH DE number 4089320 (Why is no real title available?)
• scientific article; zbMATH DE number 599028 (Why is no real title available?)
• scientific article; zbMATH DE number 2043527 (Why is no real title available?)
• scientific article; zbMATH DE number 1754628 (Why is no real title available?)
• scientific article; zbMATH DE number 1759624 (Why is no real title available?)
• On the security of public key protocols
• Symbolic model checking for real-time systems
• The benefits of relaxing punctuality

Cited in

(3)

• Tools and Algorithms for the Construction and Analysis of Systems
• CONCUR 2004 - Concurrency Theory
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

Describes a project that uses

Uses Software

• TAPS

This page was built for publication: A symbolic decision procedure for cryptographic protocols with time stamps

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