2162 search results - page 47 / 433 » A Meta-Notation for Protocol Analysis |
NDSS
1997
IEEE
14 years 28 days ago
1997
IEEE
The Internet Engineering Task Force (IETF) is in the process of adopting standards for IP-layer encryption and authentication (IPSEC). We describe how “probable plaintext” can...
FORTE
2010
13 years 10 months ago
2010
Abstract. The complexity of distributed algorithms, such as state machine replication, motivates the use of formal methods to assist correctness verification. The design of the for...
COMCOM
2006
13 years 8 months ago
2006
Energy consumption of the medium access control (MAC) algorithm is one of the key performance metrics in today's ubiquitous wireless networks of battery-operated devices. We ...
CORR
2006
Springer
13 years 8 months ago
2006
Springer
Time synchronization is an important aspect of sensor network operation. However, it is well known that synchronization error accumulates over multiple hops. This presents a challe...
JCIT
2010
13 years 3 months ago
2010
An important and fundamental issue in designing structured peer-to-peer networks is the tradeoff between the number of logical links and the number of hops. We present a flexible ...