A quantifier-free first-order knowledge logic of authentication

zbMATH Open1096.03028MaRDI QIDQ5486065FDOQ5486065

Authors: Mirosław Kurkowski, Marian Srebrny 

Publication date: 6 September 2006

Recommendations

• scientific article; zbMATH DE number 2080723
• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• An epistemic foundation for authentication logics (extended abstract)
• A logic of authentication
• Formal semantics for authentication logics

zbMATH Keywords

verificationmodel checkingauthenticationformal methodsknowledgesecurity

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Authentication, digital signatures and secret sharing (94A62)

Cited In (8)

• Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography
• An omniscience-free temporal logic of knowledge for verifying authentication protocols
• A (restricted) quantifier elimination for security protocols
• An epistemic foundation for authentication logics (extended abstract)
• Knowledge structure approach to verification of authentication protocols
• Title not available (Why is that?)
• Formal semantics for authentication logics
• Title not available (Why is that?)

Uses Software

• Casper
• Velev SAT Benchmarks

This page was built for publication: A quantifier-free first-order knowledge logic of authentication

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