1653 search results - page 20 / 331 » Timed analysis of security protocols |
IANDC
2007
13 years 7 months ago
2007
Cryptographic protocols can be divided into (1) protocols where the protocol steps are simple from a computational point of view and can thus be modeled by simple means, for insta...
ESAS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. In this paper, we propose a framework for the security analysis of on-demand, distance vector routing protocols for ad hoc networks, such as AODV, SAODV, and ARAN. The pr...
CAV
2008
Springer
13 years 9 months ago
2008
Springer
A Tool: Causality-based Abstraction for Security Protocol Analysis (Tool Paper) Michael Backes1,2 , Stefan Lorenz1 , Matteo Maffei1 , and Kim Pecina1 1 Saarland University, Saarbr
CSREASAM
2006
13 years 9 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 ...
APNOMS
2007
Springer
2007
Springer
On a Low Security Overhead Mechanism for Secure Multi-path Routing Protocol in Wireless Mesh Network
14 years 1 months ago
Secure multi-path routing is a critical issue in security management of WMNs due to its multi-hop nature as each node takes part in routing mechanism making it prone to routing att...