2162 search results - page 33 / 433 » A Meta-Notation for Protocol Analysis |
IJNSEC
2010
13 years 3 months ago
2010
The three-party password-based key exchange protocols using Weil pairing proposed by Wen is vulnerable to impersonation attack. By introducing hard artificial intelligence problem...
ADHOC
2005
13 years 8 months ago
2005
This paper presents a systematic analysis of insider attacks against mobile ad-hoc routing protocols, using the Ad hoc On-Demand Distance Vector (AODV) protocol as an example. It ...
CSFW
1997
IEEE
14 years 27 days ago
1997
IEEE
This paper presents a general approach for analysis and veri cation of authentication properties in the language of Communicating Sequential Processes (CSP). It is illustrated by ...
IPL
2010
13 years 7 months ago
2010
Protocol narrations are widely used in security as semi-formal notations to specify conversations between roles. We define a translation from a protocol narration to the sequence...
SIGCOMM
1998
ACM
14 years 27 days ago
1998
ACM
Abstract—The sharing of caches among Web proxies is an important technique to reduce Web traffic and alleviate network bottlenecks. Nevertheless it is not widely deployed due to ...