LDYIS: a framework for model checking security protocols

zbMATH Open1160.68443MaRDI QIDQ5506380FDOQ5506380

Authors: Alessio Lomuscio, Wojciech Penczek 

Publication date: 28 January 2009

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

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)

Cited In (12)

• LTL model checking for security protocols
• Information based reasoning about security protocols
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• Verifying security protocols as planning in logic programming
• Formally sound implementations of security protocols with JavaSPI

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)