3115 search results - page 15 / 623 » Synthesizing Secure Protocols |
99
Voted
CCS
2009
ACM
15 years 6 months ago
2009
ACM
96
Voted
CSFW
2004
IEEE
15 years 6 months ago
2004
IEEE
125
Voted
ENTCS
2006
15 years 2 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...
107
Voted
TAICPART
2010
IEEE
15 years 1 months ago
2010
IEEE
We introduce a new Syntax-based Security Testing (SST) framework that uses a protocol specification to perform security testing on text-based communication protocols. A protocol sp...
108
Voted
ICUMT
2009
15 years 14 days ago
2009
In the context of multiple security protocols running in the same environment, we propose a syntactical approach for identifying multi-protocol attacks. The proposed approach uses ...