2162 search results - page 133 / 433 » A Meta-Notation for Protocol Analysis |
PSYCHNOLOGY
2007
13 years 8 months ago
2007
This paper investigated how people navigate through early Wireless Application Protocol (WAP) sites using their common-sense knowledge of social structures. The study is based on ...
CCS
2009
ACM
14 years 3 months ago
2009
ACM
Formal analysis of security protocols based on symbolic models has been very successful in finding flaws in published protocols and proving protocols secure, using automated too...
ESORICS
2010
Springer
13 years 10 months ago
2010
Springer
Abstract. We present a framework for modeling adversaries in security protocol analysis, ranging from a Dolev-Yao style adversary to more powerful adversaries who can reveal differ...
ENTCS
2010
13 years 9 months ago
2010
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
PAM
2012
Springer
12 years 4 months ago
2012
Springer
Abstract. We take a close look at Xunlei, an enormously popular download acceleration application in China. Xunlei forms a complex ecosystem, with Xunlei peers extensively interact...