208 search results - page 1 / 42 » Automated Security Protocol Analysis With the AVISPA Tool |
ENTCS
2006
13 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...
CAV
2005
Springer
13 years 11 months ago
2005
Springer
WISTP
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Non-repudiation protocols with session labels have a number of vulnerabilities. Recently Cederquist, Corin and Dashti have proposed an optimistic non-repudiation protocol...
ACSC
2007
IEEE
13 years 9 months ago
2007
IEEE
Security protocols are often specified at the application layer; however, application layer specifications give little detail regarding message data structures at the presentation...
ICIW
2007
IEEE
13 years 5 months ago
2007
IEEE
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...