554 search results - page 23 / 111 » Verifying Security Protocols Modelled by Networks of Automat... |
NDSS
2000
IEEE
14 years 2 days ago
2000
IEEE
The Border Gateway Protocol (BGP), which is used to distribute routing information between autonomous systems, is an important component of the Internet’s routing infrastructure...
APNOMS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. A wireless sensor network is a collection of devices limited in lowpowered batteries, processing, communication bandwidth capabilities and low memory availability. Due to...
PERCOM
2005
ACM
14 years 7 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...
ASWEC
2006
IEEE
14 years 1 months ago
2006
IEEE
The Kerberos-One-Time protocol is a key distribution protocol promoted for use with Javacards to provide secure communication over the GSM mobile phone network. From inspection we...
IEEEARES
2008
IEEE
14 years 2 months ago
2008
IEEE
We consider scheduling real-time tasks in the presence of message loss and Byzantine node failures in unreliable networks. We present scheduling algorithms called RTQG and RTQG-B....