DMCA

Extending Formal Security Protocol Specification Languages for use with New Verifications Techniques

Cached

Download Links

by Liang Tian , Reiner Dojen , Tom Coffey