2162 search results - page 77 / 433 » A Meta-Notation for Protocol Analysis |
169
click to vote
TWC
2008
15 years 4 months ago
2008
This paper considers a multi-hop network in which relay nodes cooperate to minimize the total energy consumed in transmitting a (unicast) packet from a source to a destination. We...
129
click to vote
ESOP
2004
Springer
15 years 10 months ago
2004
Springer
ESOP 2004, LNCS 2986, pages 140–154, 2004. c Springer–Verlag, Berlin Heildelberg 2003. We propose a new method for the static analysis of entity authentication protocols. We d...
148
click to vote
INFOCOM
2006
IEEE
15 years 10 months ago
2006
IEEE
—This paper studies the performance of contention based medium access control (MAC) protocols. In particular, a simple and accurate technique for estimating the throughput of the...
180
click to vote
FORTE
2011
14 years 8 months ago
2011
Analyzing Border Gateway Protocol (BGP) instances is a crucial step in the design and implementation of safe BGP systems. Today, the analysis is a manual and tedious process. Resea...
202
click to vote
PODC
2012
ACM
13 years 7 months ago
2012
ACM
The BGP (Border Gateway Protocol) is the single inter-domain routing protocol that enables network operators within each autonomous system (AS) to influence routing decisions by ...