Sciweavers

Share
DEPCOS
2008
IEEE

Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models

8 years 8 months ago
Soundness Conditions for Cryptographic Algorithms and Parameters Abstractions in Formal Security Protocol Models
Alfredo Pironti, Riccardo Sisto
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where DEPCOS
Authors Alfredo Pironti, Riccardo Sisto
Comments (0)
books