History
1
an:70132452
1


Please fill in your query. A complete syntax description you will find on the General Help page.
Certified security proofs of cryptographic protocols in the computational model: an application to intrusion resilience (English)
CPP, 378-393 (2011).
WorldCat.org
PDF XML AMS-TeX TEXT BIBTeX DOI
Valid XHTML 1.0 Transitional Valid CSS!