Skip to main content

Proving security protocols with model checkers by data independence techniques

A. W. Roscoe and P.J. Broadfoot

Journal
Journal of Computer Security
Volume
7
Year
1999