526 search results - page 68 / 106 » A Z Based Approach to Verifying Security Protocols |
183
Voted
ADHOCNOW
2004
Springer
15 years 9 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...
164
Voted
JCIT
2007
15 years 3 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...
106
Voted
P2P
2009
IEEE
15 years 10 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 ...
131
Voted
SPW
2000
Springer
15 years 7 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...
137
Voted
CSFW
2010
IEEE
15 years 7 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,...