1757 search results - page 136 / 352 » Secure Content Validation |
100
click to vote
CCS
2005
ACM
15 years 5 months ago
2005
ACM
We describe a new encryption technique that is secure in the standard model against adaptive chosen ciphertext (CCA2) attacks. We base our method on two very efficient Identity-Ba...
118
click to vote
APLAS
2010
ACM
15 years 3 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
CISC
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. The Trusted Computing Group (TCG) defines the specifications for the Trusted Platform Module (TPM) and corresponding trust mechanisms that allow a TPM-enabled platform ...
123
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
Security of multimedia files attracts more and more attention and many encryption methods have been proposed in literature. However most cryptographic systems deal with multimedia...
SIGADA
2004
Springer
15 years 5 months ago
2004
Springer
Existing security models require that information of a given security level be prevented from “leaking” into lower-security information. High-security applications must be dem...