3751 search results - page 185 / 751 » Events in security protocols |
140
click to vote
CSFW
2000
IEEE
15 years 7 months ago
2000
IEEE
Schneider's work on rank functions [14] provides a formal approach to verification of certain properties of a security protocol. However, he illustrates the approach only wit...
149
click to vote
CCS
2010
ACM
15 years 4 months ago
2010
ACM
In this paper, we outline a privacy-preserving matching protocol for OSN (online social network) users to find their potential friends. With the proposed protocol, a logged-in use...
142
click to vote
JCS
2011
14 years 11 months ago
2011
One of the main challenges in pervasive computing is how we can establish secure communication over an untrusted high-bandwidth network without any initial knowledge or a Public K...
153
click to vote
ACSD
2003
IEEE
15 years 7 months ago
2003
IEEE
We present the -Spaces framework, a tool designed to support every step of a security protocol's life cycle. Its Integrated Development Environment (IDE) eases the task of pr...
130
Voted
AINA
2007
IEEE
15 years 10 months ago
2007
IEEE
The random oracle model is an idealized theoretical model that has been successfully used for designing many cryptographic algorithms and protocols. Unfortunately, a series of res...