Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

10

CADE
2008
Springer

favoriteEmaildiscussreport

128views Logical Reasoning» more CADE 2008»

Challenges in the Automated Verification of Security Protocols

14 years 4 months ago

Challenges in the Automated Verification of Security Protocols

Download www.lsv.ens-cachan.fr

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

Real-time Traffic

Automated Reasoning | CADE 2008 | Security Protocols |

claim paper

Related Content

» On the automated implementation of modal logics used to verify security protocols

» Automated Formal Analysis of a Protocol for Secure File Sharing on Untrusted Storage

» Automated Verification of Remote Electronic Voting Protocols in the Applied PiCalculus

» Automated verification of selected equivalences for security protocols

» ZeroKnowledge in the Applied Picalculus and Automated Verification of the Direct Anonymous...

» Slede Framework for automatic verification of sensor network security protocol implementat...

» Verifying SecondLevel Security Protocols

» Automatic Verification of Security Properties in Remote Internet Voting Protocol with Appl...

» Compositionality of Security Protocols A Research Agenda

Post Info
More Details (n/a)

Added	03 Dec 2009
Updated	03 Dec 2009
Type	Conference
Year	2008
Where	CADE
Authors	Hubert Comon-Lundh

Comments (0)