P.J.: Proving security protocols with model checkers by data independence techniques (1999)

by A W Roscoe, Broadfoot
Venue:Journal of Computer Security