Planning attacks to security protocols: Case studies in logic programming

DOI10.1007/3-540-45628-7_20MaRDI QIDQ4707750zbMATH OpenFDO

Authors Luigia Carlucci Aiello, Fabio Massacci

Publication date 11 June 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2407/24070533.htm

Mathematics Subject Classification ID

Logic programming (68N17) Data encryption (aspects in computer science) (68P25)

Recommendations

• Verifying security protocols as planning in logic programming
• LDYIS: a framework for model checking security protocols
• Logics in Artificial Intelligence
• Model Checking Software
• Logic for verifying public-key cryptographic protocols

Cited in

(10)

• Autoepistemic equilibrium logic and epistemic specifications
• Specifying and debugging security protocols via hereditary Harrop formulas and Prolog -- a case-study
• A program logic for verifying secure routing protocols
• SPVT-II: An Efficient Security Protocol Verifier Based on Logic Programming
• A General Approach to the Verification of Cryptographic Protocols Using Answer Set Programming
• Simulation of security protocols based on scenarios of attacks
• Logics in Artificial Intelligence
• An integrative framework to protocol analysis and repair: Bellare-Rogaway model + planning + model checker
• LDYIS: a framework for model checking security protocols
• Verifying security protocols as planning in logic programming

Describes a project that uses

Uses Software

• Casper
• Smodels

This page was built for publication: Planning attacks to security protocols: Case studies in logic programming

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