DMCA

Formalization of Security Proofs Using PVS in the Dolev-Yao Model

Cached

Download Links

by Rodrigo B. Nogueira , Mauricio Ayala-rincón , Anderson C. Do , Flávio L. C. De Moura