4111 search results - page 119 / 823 » Security, Protocols, and Trust |
104
Voted
ENTCS
2006
15 years 23 days 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...
85
Voted
CSE
2009
IEEE
15 years 4 months ago
2009
IEEE
Application scenarios for mobile ad-hoc networks (MANETs) impose a variety of non-standard security requirements. furthermore, in many scenarios owner and user of devices do not a...
104
Voted
MOBICOM
2006
ACM
15 years 6 months ago
2006
ACM
We present a security framework for Vehicular Ad hoc Networks (VANETs), using identity-based cryptography, to provide authentication, confidentiality, non-repudiation and message...
97
Voted
TAICPART
2010
IEEE
14 years 11 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...
110
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
The aggregation of conflicting preferences is a key issue in multiagent systems. Due to its universality, voting has a central role among preference aggregation mechanisms. Votin...