Sciweavers

CAV
2009
Springer

Models and Proofs of Protocol Security: A Progress Report

15 years 2 days ago
Models and Proofs of Protocol Security: A Progress Report
Bruno Blanchet, Hubert Comon-Lundh, Martín
Added 25 Nov 2009
Updated 25 Nov 2009
Type Conference
Year 2009
Where CAV
Authors Bruno Blanchet, Hubert Comon-Lundh, Martín Abadi
Comments (0)