Sciweavers

Share
CADE
2008
Springer

Challenges in the Automated Verification of Security Protocols

9 years 10 months ago
Challenges in the Automated Verification of Security Protocols
Abstract. The application area of security protocols raises several problems that are relevant to automated deduction. We describe in this note some of these challenges.
Hubert Comon-Lundh
Added 03 Dec 2009
Updated 03 Dec 2009
Type Conference
Year 2008
Where CADE
Authors Hubert Comon-Lundh
Comments (0)
books