Sciweavers

CSFW
2006
IEEE

Verified Interoperable Implementations of Security Protocols

14 years 3 months ago
Verified Interoperable Implementations of Security Protocols
Karthikeyan Bhargavan, Cédric Fournet, Andr
Added 22 Aug 2010
Updated 22 Aug 2010
Type Conference
Year 2006
Where CSFW
Authors Karthikeyan Bhargavan, Cédric Fournet, Andrew D. Gordon, Stephen Tse
Comments (0)