2162 search results - page 219 / 433 » A Meta-Notation for Protocol Analysis |
171
click to vote
ECBS
2009
IEEE
16 years 1 months ago
2009
IEEE
Probabilistic models are useful for analyzing systems which operate under the presence of uncertainty. In this paper, we present a technique for verifying safety and liveness prop...
176
click to vote
GI
2001
Springer
15 years 11 months ago
2001
Springer
We present the verification of a protocol designed to ensure self-stabilization in a ring of processors. The proof is organized as a series of refinements; it is mechanized base...
194
click to vote
INFOCOM
2005
IEEE
16 years 6 days ago
2005
IEEE
Abstract— Protocols for distributed hash tables (DHTs) incorporate features to achieve low latency for lookup requests in the face of churn, continuous changes in membership. The...
196
click to vote
CCS
2009
ACM
16 years 1 months ago
2009
ACM
In mobile networks, authentication is a required primitive of the majority of security protocols. However, an adversary can track the location of mobile nodes by monitoring pseudo...
165
click to vote
ICC
2008
IEEE
16 years 1 months ago
2008
IEEE
— Accurate simulation and analysis of wireless protocols and systems is inherently dependent on an accurate model of the underlying channel. In this paper, we show that residual ...