Knowledge structure approach to verification of authentication protocols

zbMATH Open1161.68323MaRDI QIDQ866176FDOQ866176

Authors: Kaile Su, Guanfeng Lü, Qingliang Chen 

Publication date: 20 February 2007

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

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

Mathematics Subject Classification ID

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

Cited In (3)

• Title not available (Why is that?)
• Formal verification technique for grid service chain model and its application
• To know or not to know: Epistemic approaches to security protocol verification

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)