Knowledge structure approach to verification of authentication protocols

MaRDI QIDQ866176zbMATH OpenFDO

Authors Kaile Su, Guanfeng Lü, Qingliang Chen

Publication date 20 February 2007

Published in Science in China. Series F (Search for Journal in Brave)

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Network protocols (68M12)

Recommendations

• A quantifier-free first-order knowledge logic of authentication
• A logic of authentication
• An epistemic foundation for authentication logics (extended abstract)
• To know or not to know: Epistemic approaches to security protocol verification
• Formal semantics for authentication logics

Cited in

(3)

• scientific article; zbMATH DE number 1962755 (Why is no real title available?)
• Formal verification technique for grid service chain model and its application
• To know or not to know: Epistemic approaches to security protocol verification

Describes a project that uses

Uses Software

• Chaff

This page was built for publication: Knowledge structure approach to verification of authentication protocols

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