3751 search results - page 44 / 751 » Events in security protocols |
CSFW
1999
IEEE
14 years 1 days ago
1999
IEEE
Belief-logic deductions are used in the analysis of cryptographic protocols. We show a new method to decide such logics. In addition to the familiar BAN logic, it is also applicab...
TIFS
2010
13 years 2 months ago
2010
Buyer
WISTP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We present a protocol that allows servers to securely distribute secrets to trusted platforms. The protocol maintains the confidentiality of secrets in the face of eaves...
ACSAC
1999
IEEE
14 years 1 days ago
1999
IEEE
We propose in this paper a practical and secure electronic voting protocol for large-scale online elections. Our protocol satisfies a large set of important criteria that has neve...
CSFW
2009
IEEE
14 years 2 months ago
2009
IEEE
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...