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

cryptographic protocolformal semanticspredicate modal logictime-dependent

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Data encryption (aspects in computer science) (68P25) 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
• An extended logic for analyzing timed-release public-key protocols
• Simulation and analysis of cryptographic protocols

Cited in

(2)

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

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)