5488 search results - page 287 / 1098 » On the Secure Implementation of Security Protocols |
179
click to vote
CSFW
2000
IEEE
15 years 10 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...
190
click to vote
CCS
2010
ACM
15 years 6 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...
183
click to vote
JCS
2011
15 years 1 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...
183
click to vote
AINA
2007
IEEE
16 years 1 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...
173
click to vote
IPL
2006
15 years 6 months ago
2006
The Secure Electronic Transaction (SET) protocol has been developed by the major credit card companies in association with some of the top software corporations to secure e-commer...