LDYIS

swMATH1359MaRDI QIDQ14099FDOQ14099

Author name not available (Why is that?)

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)

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

This page was built for software: LDYIS