3088 search results - page 240 / 618 » Multichannel Security Protocols |
145
click to vote
HPCC
2005
Springer
15 years 11 months ago
2005
Springer
— In an increasingly hostile environment, the need for security in network infrastructure is stronger than ever, especially for Multi-Protocol Label Switching (MPLS), widely used...
117
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...
159
click to vote
CSFW
2006
IEEE
15 years 11 months 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...
183
click to vote
STOC
2002
ACM
16 years 5 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...
160
click to vote
SP
2009
IEEE
16 years 7 days 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 ...