Automated Analysis of Equivalence Properties for Security Protocols Using Else Branches.

Ivan Gazeau, Steve Kremer

Browse the full ESORICS paper archive.