2162 search results - page 167 / 433 » A Meta-Notation for Protocol Analysis |
PRDC
2008
IEEE
14 years 4 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 ...
ITCC
2005
IEEE
14 years 3 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...
CADE
2009
Springer
14 years 10 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...
DASFAA
2007
IEEE
14 years 4 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...
ICALP
2004
Springer
14 years 3 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...