1653 search results - page 265 / 331 » Timed analysis of security protocols |
HPDC
2005
IEEE
14 years 2 months ago
2005
IEEE
In this paper we present 411, a password distribution system for high performance environments that provides security and scalability. We show that existing solutions such as NIS ...
ICWS
2009
IEEE
14 years 6 months ago
2009
IEEE
Mashup is a web technology that combines information from more than one source into a single web application. This technique provides a new platform for different data providers t...
TPHOL
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract. We consider a formalisation of a notion of observer (or intruder) theories, commonly used in symbolic analysis of security protocols. An observer theory describes the kno...
ICC
2007
IEEE
14 years 3 months ago
2007
IEEE
— Colluding malicious insider nodes with no special hardware capability can use packet encapsulation and tunnelling to create bogus short-cuts (in-band wormholes) in routing path...
SECON
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract— Mobile ad hoc networks often support sensitive applications. These applications may require that users’ identity, location, and correspondents be kept secret. This is...