1653 search results - page 7 / 331 » Timed analysis of security protocols |
161
Voted
ENTCS
2006
15 years 5 months ago
2006
The AVISPA Tool is a push-button tool for the Automated Validation of Internet Security Protocols and Applications. It provides a modular and expressive formal language for specif...
114
Voted
SACRYPT
2005
Springer
15 years 10 months ago
2005
Springer
Radio frequency identification systems based on low-cost computing devices is the new plaything that every company would like to adopt. Its goal can be either to improve the produ...
169
Voted
JOC
2011
14 years 12 months ago
2011
In light of the growing complexity of cryptographic protocols and applications, it becomes highly desirable to mechanize — and eventually automate — the security analysis of p...
144
Voted
ENTCS
2006
15 years 5 months ago
2006
The application of formal methods to security protocol analysis has been extensively researched during the last 25 years. Several formalisms and (semi-)automatic tools for the ver...
138
Voted
STACS
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. In many security protocols, such as group protocols, principals have to perform iterative or recursive computations. We call such protocols recursive protocols. Recently,...