Proving Security Protocols With Model Checkers By Data Independence Techniques (1999)

Cached

Download Links

by A. W. Roscoe , P. J. Broadfoot
Citations:63 - 10 self