2162 search results - page 167 / 433 » A Meta-Notation for Protocol Analysis |
147
click to vote
PRDC
2008
IEEE
15 years 9 months ago
2008
IEEE
We consider efficient real-time communication mechanisms for applications in unreliable and partitionable networks, where network partitions can occur unpredictably and nodes can ...
231
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
The characteristics of mobile ad hoc networks (MANETs) determine that the authentication approaches to protect routing and data packet transmission in MANETs should be lightweight...
137
click to vote
CADE
2009
Springer
16 years 3 months ago
2009
Springer
In the symbolic analysis of security protocols, two classical notions of knowledge, deducibility and indistinguishability, yield corresponding decision problems. We propose a proce...
108
click to vote
DASFAA
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract. Distributed transactional systems require an atomic commitment protocol to preserve atomicity of the ACID properties. However, the industry leading standard, 2PC, is slow...
115
Voted
ICALP
2004
Springer
15 years 8 months ago
2004
Springer
The analysis of security protocols requires precise formulations of the knowledge of protocol participants and attackers. In formal approaches, this knowledge is often treated in t...