4111 search results - page 119 / 823 » Security, Protocols, and Trust |
200
click to vote
ENTCS
2006
15 years 6 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...
162
click to vote
CSE
2009
IEEE
15 years 10 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...
175
click to vote
MOBICOM
2006
ACM
16 years 25 days 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...
174
click to vote
TAICPART
2010
IEEE
15 years 5 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...
207
click to vote
ATAL
2005
Springer
16 years 13 days 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...