Proving security protocols with model checkers by data independence techniques (1998)

by A W Roscoe
Venue:In Proceedings of the 11th Computer Security Foundations Workshop