4111 search results - page 317 / 823 » Security, Protocols, and Trust |
216
Voted
CANS
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. In this paper we study Perfectly Secure Message Transmission (PSMT) between a sender S and a receiver R, connected in a directed synchronous network through multiple para...
203
Voted
CSFW
2000
IEEE
15 years 11 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...
205
click to vote
CCS
2010
ACM
15 years 7 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...
203
Voted
JCS
2011
15 years 2 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...
209
Voted
ACSD
2003
IEEE
15 years 11 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...