1490 search results - page 103 / 298 » The Logic of Authentication Protocols |
125
Voted
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
RFID technology increases rapidly its applicability in new areas of interest without guaranteeing security and privacy issues. This paper presents a new architecture of an RFID tr...
117
Voted
TCC
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. A protocol compiler is described, that transforms any provably secure authenticated 2-party key establishment into a provably secure authenticated group key establishment...
124
Voted
GC
2004
Springer
15 years 9 months ago
2004
Springer
The DEGAS project aims at enriching standard UML-centred development environments in such a way that the developers of global applications can exploit automated formal analyses wit...
106
Voted
ESORICS
2000
Springer
15 years 7 months ago
2000
Springer
The IP security protocols (IPsec) may be used via security gateways that apply cryptographic operations to provide security services to datagrams, and this mode of use is supported...
148
Voted
ACSAC
1997
IEEE
15 years 7 months ago
1997
IEEE
We study methods for reducing the cost of secure link state routing. In secure link state routing, routers may need to verify the authenticity of many routing updates, and some ro...