2162 search results - page 55 / 433 » A Meta-Notation for Protocol Analysis |
FMICS
2010
Springer
13 years 6 months ago
2010
Springer
Mutual exclusion protocols are an essential building block of concurrent systems: indeed, such a protocol is required whenever a shared resource has to be protected against concurr...
NGC
2000
Springer
14 years 9 days ago
2000
Springer
Several architectures have been recently proposed to support IP mobility. Most studies, however, show that current protocols, in general, fall short from satisfying the performanc...
SECON
2010
IEEE
13 years 6 months ago
2010
IEEE
Interference model is the basis of MAC protocol design in wireless networks, and it directly affects the efficiency and predictability of wireless messaging. To exploit the strengt...
USENIX
2003
13 years 10 months ago
2003
Performance was an important issue in the development of X from the initial protocol design and continues to be important in modern application and extension development. That X i...
CSFW
2009
IEEE
14 years 20 days ago
2009
IEEE
ProVerif is one of the most successful tools for cryptographic protocol analysis. However, dealing with algebraic properties of operators such as the exclusive OR (XOR) and Diffie-...