4111 search results - page 129 / 823 » Security, Protocols, and Trust |
IANDC
2008
13 years 10 months ago
2008
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysi...
APNOMS
2007
Springer
2007
Springer
On a Low Security Overhead Mechanism for Secure Multi-path Routing Protocol in Wireless Mesh Network
14 years 4 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...
SIGCOMM
2010
ACM
13 years 10 months ago
2010
ACM
In response to high-profile Internet outages, BGP security variants have been proposed to prevent the propagation of bogus routing information. To inform discussions of which vari...
ESOP
2003
Springer
14 years 3 months ago
2003
Springer
We consider the problem of implementing a security protocol in such a manner that secrecy of sensitive data is not jeopardized. Implementation is assumed to take place in the cont...
FC
2005
Springer
14 years 3 months ago
2005
Springer
Abstract. Users are often forced to trust potentially malicious terminals when trying to interact with a remote secure system. This paper presents an approach for ensuring the inte...