Time-dependent cryptographic protocol logic and its formal semantics

DOI10.3724/SP.J.1001.2011.03732MaRDI QIDQ3109146zbMATH OpenFDO

Authors Xinfeng Lei, Jun Liu, Junmo Xiao

Publication date 27 January 2012

Published in Journal of Software (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3724/SP.J.1001.2011.03732

zbMATH Keywords

time-dependentformal semanticscryptographic protocolpredicate modal logic

Mathematics Subject Classification ID

Data encryption (aspects in computer science) (68P25) Logics of knowledge and belief (including belief change) (03B42) Semantics in the theory of computing (68Q55)

Recommendations

• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
• scientific article; zbMATH DE number 1956549
• Toward reasoning about security protocols: a semantic approach
• scientific article; zbMATH DE number 1424193
• Simulation and analysis of cryptographic protocols

Cited in

(2)

• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
• Foundations of Software Science and Computation Structures

This page was built for publication: Time-dependent cryptographic protocol logic and its formal semantics

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