2162 search results - page 239 / 433 » A Meta-Notation for Protocol Analysis |
154
click to vote
GBRPR
2009
Springer
16 years 1 months ago
2009
Springer
The collection of behavior protocols is a common practice in human factors research, but the analysis of these large data sets has always been a tedious and time-consuming process....
171
click to vote
AINA
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— Structured peer-to-peer systems have grown enormously because of their scalability, efficiency and reliability. These systems assign a unique identifier to each user ...
163
click to vote
INFOCOM
2007
IEEE
16 years 27 days ago
2007
IEEE
— We introduce a low-complexity distributed slotted MAC protocol that can support all feasible arrival rates in a wireless backhaul network (WBN). For arbitrary wireless networks...
174
click to vote
PROVSEC
2007
Springer
16 years 21 days ago
2007
Springer
In this paper we study security definitions for authenticated key exchange (AKE) protocols. We observe that there are several families of attacks on AKE protocols that lie outsid...
159
click to vote
WDAG
2007
Springer
16 years 21 days ago
2007
Springer
Byzantine-fault-tolerant service protocols like Q/U and FaB Paxos that optimistically order requests can provide increased efficiency and fault scalability. However, these protocol...