718 search results - page 27 / 144 » Security protocols, properties, and their monitoring |
IPL
2010
15 years 11 days 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...
98
Voted
CSREASAM
2006
15 years 3 months ago
2006
- This paper analyzes the secure protocols in the digital transmission copy protection (DTCP) specification. The full authentication protocol in the specification is a combination ...
140
click to vote
IJNSEC
2008
15 years 1 months ago
2008
The ASW protocol is one of the prominent optimistic fair exchange protocols that is used for contract signing between two participants, the originator and the responder, with the ...
105
Voted
CCS
2006
ACM
15 years 5 months ago
2006
ACM
We present a process algebraic intruder model for verifying a class of liveness properties of security protocols. For this class, the proposed intruder model is proved to be equiv...
124
click to vote
WONS
2005
IEEE
15 years 7 months ago
2005
IEEE
Multipath routing minimizes the consequences of security attacks deriving from collaborating malicious nodes in MANET, by maximizing the number of nodes that an adversary must com...