LDYIS

swMATH1359MaRDI QIDQ14099FDOQ14099

Author name not available (Why is that?)

Described by source

• LDYIS: a framework for model checking security protocols

Cited In (2)

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

This page was built for software: LDYIS