526 search results - page 9 / 106 » A Z Based Approach to Verifying Security Protocols |
109
Voted
ESORICS
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we propose a novel ID-based secure distance bounding protocol. Unlike traditional secure distance measurement protocols, our protocol is based on standard insecure d...
134
click to vote
CSFW
1999
IEEE
15 years 6 months ago
1999
IEEE
Most formal approaches to security protocol analysis are based on a set of assumptions commonly referred to as the "Dolev-Yao model." In this paper, we use a multiset re...
137
click to vote
NCA
2008
IEEE
15 years 8 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...
128
Voted
PERCOM
2005
ACM
16 years 1 months ago
2005
ACM
Numerous schemes have been proposed for secure routing protocols, and Intrusion Detection and Response Systems, for ad hoc networks. In this paper, we present a proof-of-concept i...
114
click to vote
SAC
2006
ACM
15 years 7 months ago
2006
ACM
Increasingly pervasive computing throws up scenarios where users may wish to achieve some degree of security in their interaction with other people or equipment, in contexts where...