scientific article; zbMATH DE number 1424193

MaRDI QIDQ4945393zbMATH OpenFDO

Authors Michiharu Kudo, Anish Mathuria

Publication date 8 April 2002

zbMATH Keywords

cryptographic modal logicpublic key protocolstime-dependent confidentiality

Mathematics Subject Classification ID

Other applications of logic (03B80) Data encryption (aspects in computer science) (68P25) Cryptography (94A60)

Recommendations

• Logic for verifying public-key cryptographic protocols
• scientific article; zbMATH DE number 4195145
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
• A logic of authentication
• Protocol analysis with time

Cited in

(3)

• Time-dependent cryptographic protocol logic and its formal semantics
• Foundations of Software Science and Computation Structures
• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography

This page was built for publication:

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