2162 search results - page 268 / 433 » A Meta-Notation for Protocol Analysis |
160
click to vote
RTSS
2007
IEEE
16 years 25 days ago
2007
IEEE
We propose a wireless medium access control (MAC) protocol that provides static-priority scheduling of messages in a guaranteed collision-free manner. Our protocol supports multip...
180
click to vote
ICNP
2005
IEEE
16 years 4 days ago
2005
IEEE
In pricing-based congestion control protocols it is common to assume that the rate of congestion feedback from the network is limited to a single bit per packet. To obtain a preci...
193
click to vote
ICNP
2005
IEEE
16 years 4 days ago
2005
IEEE
The convergence time of the interdomain routing protocol, BGP, can last as long as 30 minutes [14,15]. Yet, routing behavior during BGP route convergence is poorly understood. BGP...
167
click to vote
SENSYS
2005
ACM
16 years 3 days ago
2005
ACM
Wireless sensor networks based on highly resource-constrained devices require symmetric cryptography in order to make them secure. Integral to this is the exchange of unique symme...
165
click to vote
ACNS
2005
Springer
16 years 3 days ago
2005
Springer
Recently, several public key exchange protocols based on symbolic computation in non-commutative (semi)groups were proposed as a more efficient alternative to well established prot...