Synthesising efficient and effective security protocols

MaRDI QIDQ2848033zbMATH OpenFDO

Authors Chen Hao, John A. Clark, Jeremy L. Jacob

Publication date 25 September 2013

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

Mathematics Subject Classification ID

Network protocols (68M12) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Simulation and analysis of cryptographic protocols
• Analyzing security protocols with secrecy types and logic programs
• Automated Technology for Verification and Analysis
• Logics in Artificial Intelligence
• Models and Proofs of Protocol Security: A Progress Report

Cited in

(1)

• On the secure implementation of security protocols

This page was built for publication: Synthesising efficient and effective security protocols

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