Toward reasoning about security protocols: a semantic approach

MaRDI QIDQ2848069zbMATH OpenFDO

Authors Arjen Hommersom, Erik de Vink, John-Jules Meyer

Publication date 25 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105000836

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Network protocols (68M12) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

Recommendations

• Update semantics of security protocols
• Information based reasoning about security protocols
• To know or not to know: Epistemic approaches to security protocol verification
• Models and Proofs of Protocol Security: A Progress Report
• Towards an awareness-based semantics for security protocol analysis

Cited in

(14)

• Invariant-based reasoning about parameterized security protocols
• Update semantics of security protocols
• Interaction and causality in digital signature exchange protocols
• Towards an awareness-based semantics for security protocol analysis
• Information based reasoning about security protocols
• Metareasoning about security protocols using distributed temporal logic
• Symmetries and epistemic reasoning
• Modeling adversaries in a logic for security protocol analysis
• Time-dependent cryptographic protocol logic and its formal semantics
• Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
• Towards semantic-aware management of security services in GT4
• scientific article; zbMATH DE number 1538052 (Why is no real title available?)
• A comparison of semantic models for noninterference
• To know or not to know: Epistemic approaches to security protocol verification

This page was built for publication: Toward reasoning about security protocols: a semantic approach

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