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

Cached

Download Links

by A. W. Roscoe , P. J. Broadfoot
Citations:59 - 9 self