144 search results - page 16 / 29 » The faithfulness of abstract protocol analysis: message auth... |
PAM
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Techniques for authenticating BGP protocol objects entail the inspection of additional information in the form of authentication credentials that can be used to validate ...
CONCUR
2005
Springer
14 years 1 months ago
2005
Springer
Research on the automatic analysis of cryptographic protocols has so far mainly concentrated on reachability properties, such as secrecy and authentication. Only recently it was sh...
VMCAI
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Implementations of cryptographic protocols, such as OpenSSL for example, contain bugs affecting security, which cannot be detected by just analyzing abstract protocols (e...
INFOCOM
2007
IEEE
14 years 1 months ago
2007
IEEE
Abstract— This paper investigates the dissemination of multiple pieces of information in large networks where users contact each other in a random uncoordinated manner, and users...
WS
2005
ACM
14 years 1 months ago
2005
ACM
In this paper, we analyze attacks on existing time synchronization protocols for wireless sensor networks. We propose a secure time synchronization toolbox to counter these attack...