123 search results - page 2 / 25 » Modelling the relative strength of security protocols |
153
Voted
MOBIWAC
2006
ACM
15 years 9 months ago
2006
ACM
In this work we present a calibration-free system for locating wireless local area network devices, based on the radio frequency characteristics of such networks. Calibration proc...
141
Voted
CCS
1998
ACM
15 years 7 months ago
1998
ACM
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
119
Voted
CSFW
1999
IEEE
15 years 8 months ago
1999
IEEE
The combination of two security protocols, a simple shared-key communication protocol and the Di e-Hellman key distribution protocol, is modeled formally and proved correct. The m...
99
Voted
ACNS
2008
Springer
15 years 10 months ago
2008
Springer
We propose a light-weight protocol for authentication of low-power devices. Our construction PUF-HB merges the positive qualities of two families of authentication functions. PUF ...
149
Voted
NCA
2008
IEEE
15 years 10 months ago
2008
IEEE
In this paper we consider the frameworks of Process Algebra and I/O Automata and we apply both towards the verification of a distributed leader-election protocol. Based on the tw...