5488 search results - page 390 / 1098 » On the Secure Implementation of Security Protocols |
191
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
195
click to vote
NSPW
2004
ACM
16 years 7 days ago
2004
ACM
Digital rights management systems allow copyrighted content to be commercialized in digital format without the risk of revenue loss due to piracy. Making such systems secure is no...
178
click to vote
AGENTS
2001
Springer
15 years 11 months ago
2001
Springer
Real-time control has become increasingly important as technologies are moved from the lab into real world situations. The complexity associated with these systems increases as co...
159
click to vote
CSI
2007
15 years 6 months ago
2007
We propose a generic framework for the development of an off-line peer-to-peer electronic payment system with fixed-value electronic coins. The proposed scheme simulates the issua...
159
click to vote
WISTP
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. In this paper we report on the performance of the RSA variants of Brands protocols for zero-knowledge proof and restrictive blinded issuing [1]. The performance is relati...