2162 search results - page 164 / 433 » A Meta-Notation for Protocol Analysis |
CORR
2008
Springer
13 years 10 months ago
2008
Springer
Getting agents in the Internet, and in networks in general, to invest in and deploy security features and protocols is a challenge, in particular because of economic reasons arisi...
COMCOM
2004
13 years 10 months ago
2004
The popularity of multimedia streaming on the Internet, combined with the growing deployment of wireless access networks, augurs the converging usage of these two technologies in ...
IMC
2010
ACM
13 years 8 months ago
2010
ACM
Despite many years of work in wireless mesh networks built using 802.11 radios, the performance and behavior of these networks in the wild is not well-understood. This lack of und...
ICSE
2008
IEEE-ACM
14 years 10 months ago
2008
IEEE-ACM
Enforcing compliance to API usage protocols is notoriously hard due to possible aliasing of objects through multiple references. In previous work we proposed a sound, modular appr...
CCS
2001
ACM
14 years 2 months ago
2001
ACM
The events of a security protocol and their causal dependency can play an important role in the analysis of security properties. This insight underlies both strand spaces and the ...