947 search results - page 48 / 190 » Provable Implementations of Security Protocols |
CRYPTO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. We propose a new and efficient signature scheme that is provably secure in the plain model. The security of our scheme is based on a discrete-logarithm-based assumption p...
CCS
2003
ACM
15 years 5 months ago
2003
ACM
Informally, a communication protocol is sender k - anonymous if it can guarantee that an adversary, trying to determine the sender of a particular message, can only narrow down it...
EUROPKI
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The private keys used in a PKI are its most important asset. Protect these keys from unauthorised use or disclosure is essential to secure a PKI. Relying parties need ass...
DSN
2009
IEEE
15 years 6 months ago
2009
IEEE
Security protocols are not as secure as we assumed. In this paper, we identified a practical way to launch DoS attacks on security protocols by triggering exceptions. Through exp...
106
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
We present the design, implementation and evaluation of an algorithm that checks audit logs for compliance with privacy and security policies. The algorithm, which we name reduce,...