609 search results - page 24 / 122 » Modelling and Checking Timed Authentication of Security Prot... |
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we introduce a framework composed of a syntax and its compositional Petri net semantics, for the specification and verification of properties (like authent...
SIGMETRICS
2006
ACM
14 years 1 months ago
2006
ACM
Despite the existence of several secure BGP routing protocols, there has been little progress to date on actual adoption. Although feasibility for widespread adoption remains the ...
ISCC
2003
IEEE
14 years 1 months ago
2003
IEEE
Hierarchical Mobile IPv6 (HMIPv6) is a protocol that enhances Mobile IPv6 (MIPv6) with faster handovers. Neither HMIPv6 nor MIPv6 provides ways to authenticate roaming mobile node...
APNOMS
2007
Springer
2007
Springer
On a Low Security Overhead Mechanism for Secure Multi-path Routing Protocol in Wireless Mesh Network
14 years 2 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...
ISW
2010
Springer
13 years 5 months ago
2010
Springer
We analyze the Extended Access Control (EAC) protocol for authenticated key agreement, recently proposed by the German Federal Office for Information Security (BSI) for the deploym...