258 search results - page 11 / 52 » Securing Provenance |
CCS
1999
ACM
14 years 2 months ago
1999
ACM
We describe and analyze a new digital signature scheme. The new scheme is quite efficient, does not require the the signer to maintain any state, and can be proven secure against ...
CANS
2009
Springer
14 years 2 months ago
2009
Springer
We extend the well-known Tree-Diffie-Hellman technique used for the design of group key exchange (GKE) protocols with robustness, i.e. with resistance to faults resulting from poss...
EUROCRYPT
2010
Springer
14 years 2 months ago
2010
Springer
In this paper, we present two fully secure functional encryption schemes. Our first result is a fully secure attribute-based encryption (ABE) scheme. Previous constructions of AB...
IEEEARES
2010
IEEE
14 years 4 months ago
2010
IEEE
Formal verification can give more confidence in the security of cryptographic protocols. Application specific security properties like “The service provider does not loose mo...
PROVSEC
2007
Springer
14 years 4 months ago
2007
Springer
Security of a modern block cipher is commonly measured in terms of its resistance to known attacks. While the provable security approach to block ciphers dates back to the first C...