Proving correctness of a multi-party authentication protocol with rank functions
Verhoeven, RHA Rob · TU/e Research Portal · 2007
In this thesis, the correctness of a multi-party authentication protocol is analysed in PVS using Schneider’s rank theorem. In the process, the two current implementations of the rank theorem in PVS are discussed.