757 search results - page 50 / 152 » How secure are secure interdomain routing protocols |
CSFW
1998
IEEE
14 years 2 days ago
1998
IEEE
Model checkers such as FDR have been extremely e ective in checking for, and nding, attacks on cryptographic protocols { see, for example 11, 12, 14] and many of the papers in 3]....
SCN
2011
Springer
13 years 2 months ago
2011
Springer
Model checking cryptographic protocols have evolved to a valuable method for discovering counterintuitive security flaws, which make possible for a hostile agent to subvert the go...
ISCC
2006
IEEE
14 years 1 months ago
2006
IEEE
Multipath routing protocols have proved to be able to enhance the performance of MANET in terms of reliability, load balancing, multimedia streaming, security, etc. However, deplo...
ESORICS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Different security notions and settings for identification protocols have been proposed so far, considering different powerful adversaries that can play "man-in-the-...
CIA
2001
Springer
14 years 9 days ago
2001
Springer
In recent years auctions have become more and more important in the field of multiagent systems as useful mechanisms for resource allocation, task assignment and last but not leas...