Sciweavers

CORR
2007
Springer

Deciding security properties for cryptographic protocols. Application to key cycles

14 years 10 months ago
Deciding security properties for cryptographic protocols. Application to key cycles
Hubert Comon-Lundh, Véronique Cortier, Euge
Added 13 Dec 2010
Updated 13 Dec 2010
Type Journal
Year 2007
Where CORR
Authors Hubert Comon-Lundh, Véronique Cortier, Eugen Zalinescu
Comments (0)