526 search results - page 68 / 106 » A Z Based Approach to Verifying Security Protocols |
ADHOCNOW
2004
Springer
14 years 1 months ago
2004
Springer
Many ad hoc routing algorithms rely on broadcast flooding for location discovery or more generally for secure routing applications, particularly when dealing with Byzantine threat...
JCIT
2007
13 years 7 months ago
2007
A Mobile Ad Hoc Network (MANET) is an infrastructureless network of wireless mobile nodes that cooperate among each other to maintain connectivity of the network. In comparison to...
P2P
2009
IEEE
14 years 2 months ago
2009
IEEE
Peer-to-peer content dissemination applications suffer immensely from freeriders, i.e., nodes that do not provide their fair share. The Tit-for-Tat (TfT) incentives have received ...
SPW
2000
Springer
13 years 11 months ago
2000
Springer
The underlying belief and knowledge models assumed by various kinds of authentication protocols have been studied for well over 10 years now. On the other hand, the related questio...
CSFW
2010
IEEE
13 years 11 months ago
2010
IEEE
Coercion-resistance is one of the most important and intricate security requirements for voting protocols. Several definitions of coercion-resistance have posed in the literature,...