DMCA

Abstractions for Security Protocol Verification

by Binh Thanh Nguyen , Christoph Sprenger