Mechanised Verification of Distributed State-Space Algorithms for Security Protocols | IEEE Conference Publication | IEEE Xplore