Mechanised Verification of Distributed State-Space Algorithms for Security Protocols.

Frdric Gava, Arthur Hidalgo, Jean Fortin

Browse the full PDCAT paper archive.