5324 search results - page 362 / 1065 » Internet Security Protocols |
144
click to vote
AINA
2006
IEEE
16 years 24 days ago
2006
IEEE
This paper proposes a semi-reliable multicast protocol that evaluates the necessity of retransmitting lost packets, taking into account the priority associated to each lost packet...
134
click to vote
EUROPKI
2004
Springer
16 years 3 days 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...
194
click to vote
CSFW
2006
IEEE
16 years 23 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...
209
click to vote
STOC
2002
ACM
16 years 7 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...
178
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 ...