1059 search results - page 120 / 212 » Modeling Security Protocols as Games |
150
Voted
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
— There is a need for new spectrum access protocols that are opportunistic, flexible and efficient, yet fair. Game theory provides a framework for analyzing spectrum access, a ...
113
Voted
ACSD
2003
IEEE
15 years 9 months ago
2003
IEEE
— We consider the problem of specifying a model of the Zero Copy Secured Protocol for the purpose of LTL verification with the SPIN Model Checker. ZCSP is based on Direct Memory...
157
Voted
ACISP
2006
Springer
15 years 7 months ago
2006
Springer
Efficient authentication is one of important security requirements in mobile ad hoc network (MANET) routing systems. The techniques of digital signatures are generally considered a...
135
Voted
EUROCRYPT
1998
Springer
15 years 8 months ago
1998
Springer
Abstract. Provable security is a very nice property for cryptographic protocols. Unfortunately, in many cases, this is at the cost of a considerable loss in terms of efficiency. Mo...
171
Voted
INFOCOM
2012
IEEE
13 years 6 months ago
2012
IEEE
Cognitive radio gives users the ability to switch channels and make use of dynamic spectral opportunities. However, switching channels takes time, and may disrupt the quality of a...