LDYIS: a framework for model checking security protocols

MaRDI QIDQ5506380zbMATH OpenFDO

Authors Alessio Lomuscio, Wojciech Penczek

Publication date 28 January 2009

zbMATH Keywords

automatic verification of security protocolsmulti-agent systems semanticstemporal-epistemic security-specialised logic

Mathematics Subject Classification ID

Cryptography (94A60) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model Checking Software
• Verifying security protocols modelled by networks of automata
• Analysis of security protocols as open systems
• scientific article; zbMATH DE number 1927581
• scientific article; zbMATH DE number 1926618

Cited in

(12)

• LTL model checking for security protocols
• Information based reasoning about security protocols
• scientific article; zbMATH DE number 1926618 (Why is no real title available?)
• scientific article; zbMATH DE number 1538052 (Why is no real title available?)
• LDYIS
• Model Checking Software
• An integrative framework to protocol analysis and repair: Bellare-Rogaway model + planning + model checker
• The Open-Source Fixed-Point Model Checker for Symbolic Analysis of Security Protocols
• Logic Programming
• scientific article; zbMATH DE number 1692895 (Why is no real title available?)
• Formally sound implementations of security protocols with JavaSPI
• Verifying security protocols as planning in logic programming

Describes a project that uses

Uses Software

• MCMAS-X

This page was built for publication: LDYIS: a framework for model checking security protocols

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