3751 search results - page 275 / 751 » Events in security protocols |
127
click to vote
EUROPKI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A standard tool for secure remote access, the SSH protocol uses publickey cryptography to establish an encrypted and integrity-protected channel with a remote server. How...
174
click to vote
CSFW
2006
IEEE
16 years 9 days ago
2006
IEEE
In this paper we formally study important properties of electronic voting protocols. In particular we are interested in coercion-resistance and receipt-freeness. Intuitively, an e...
191
click to vote
STOC
2002
ACM
16 years 6 months ago
2002
ACM
d Abstract) Ran Canetti Yehuda Lindell Rafail Ostrovsky Amit Sahai? We show how to securely realize any multi-party functionality in a universally composable way, regardless of th...
171
click to vote
SP
2009
IEEE
16 years 1 months ago
2009
IEEE
We present a logic for reasoning about properties of secure systems. The logic is built around a concurrent programming language with constructs for modeling machines with shared ...
144
click to vote
CCR
2005
15 years 6 months ago
2005
In this note, we propose a security mechanism for protecting IPv6 networks from possible abuses caused by the malicious usage of a multihoming protocol. In the presented approach,...