115 search results - page 6 / 23 » Verifying authentication protocols with CSP |
ICDCSW
2003
IEEE
14 years 3 months ago
2003
IEEE
Most ad hoc networks do not implement any network access control, leaving these networks vulnerable to resource consumption attacks where a malicious node injects packets into the...
CONEXT
2008
ACM
13 years 11 months ago
2008
ACM
Wireless multi-hop networks are particularly susceptible to attacks based on flooding and the interception, tampering with, and forging of packets. Thus, reliable communication in...
ESOP
2009
Springer
14 years 1 months ago
2009
Springer
Gordon and Jeffrey have proposed a type and effect system for checking authenticity in cryptographic protocols. The type system reduces the protocol verification problem to the typ...
FSEN
2007
Springer
14 years 4 months ago
2007
Springer
Abstract. In this paper we offer a novel methodology for verifying correctness of (timed) security protocols. The idea consists in computing the time of a correct execution of a s...
AINA
2006
IEEE
14 years 1 months ago
2006
IEEE
Ad hoc networks are dynamic networks formed "on the fly" by a set of nodes. Achieving secure routing in such networks is a big challenge. Asymmetric signature schemes pr...