5324 search results - page 167 / 1065 » Internet Security Protocols |
135
click to vote
EUROPKI
2009
Springer
15 years 2 months ago
2009
Springer
The Exponential Challenge Response (XRC) and Dual Exponential Challenge Response (DCR) signature schemes are the building blocks of the HMQV protocol. We propose a complementary an...
128
click to vote
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
The increased functionality of EPC Class1 Gen2 (EPCGen2) is making this standard the de facto specification for inexpensive tags in the RFID industry. EPCGen2 supports only very b...
130
click to vote
DCC
2008
IEEE
16 years 3 months ago
2008
IEEE
LaMacchia, Lauter and Mityagin recently presented a strong security definition for authenticated key agreement strengthening the well-known Canetti-Krawczyk definition. They also ...
140
click to vote
CSFW
2009
IEEE
15 years 11 months ago
2009
IEEE
Abstract. We present aspier – the first framework that combines software model checking with a standard protocol security model to analyze authentication and secrecy properties ...
138
click to vote
GECCO
2007
Springer
15 years 10 months ago
2007
Springer
Design, development and evaluation of adaptive, scalable, and power aware Bio/Nature inspired routing protocols has received a significant amount of attention in the recent past....