LDYIS

MaRDI QIDQ14099swMATHFDO

Official website http://www.doc.ic.ac.uk/~alessio/papers/08/FI-AL-WP.pdf

Described by source

• LDYIS: a framework for model checking security protocols

Cited in

(4)

• Automatic verification of temporal-epistemic properties of cryptographic protocols
• Non-axiomatizability for the linear temporal logic of knowledge with concrete observability
• TAPS
• MCMAS-X

This page was built for software: LDYIS