461 search results - page 80 / 93 » Developing security protocols by refinement |
ISCC
2005
IEEE
14 years 1 months ago
2005
IEEE
— The main characterisrics of ad hoc networks are the lack of predefined infrastructure and the dynamic topology. These characteristics present some new security vulnerabilities...
CCS
2005
ACM
14 years 1 months ago
2005
ACM
Indirection-based overlay networks (IONs) are a promising approach for countering distributed denial of service (DDoS) attacks. Such mechanisms are based on the assumption that at...
VIZSEC
2005
Springer
14 years 1 months ago
2005
Springer
We have designed an interactive visualization framework for the automated trust negotiation (ATN) protocol and we have implemented a prototype of the visualizer in Java. This fram...
AGENTS
1997
Springer
14 years 3 days ago
1997
Springer
The information access and retrieval capabilities provided by several conventional search engines, while improving upon traditional techniques, are lacking in supporting conceptua...
CARDIS
2010
Springer
13 years 11 months ago
2010
Springer
This paper establishes a novel model for RFID schemes where readers are not continuously connected to the back office, but only periodically. Furthermore, adversaries are not only ...