4098 search results - page 16 / 820 » Sound mobility models |
DPD
2010
15 years 3 months ago
2010
106
Voted
JVCA
2006
15 years 3 months ago
2006
67
Voted
JCNS
2010
15 years 1 months ago
2010
97
Voted
JOTA
2010
14 years 10 months ago
2010
117
Voted
TGC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. We study the link between formal and cryptographic models for security protocols in the presence of passive and adaptive adversaries. We first describe the seminal resul...