4690 search results - page 262 / 938 » An operational semantics for Scheme |
191
click to vote
ASIACRYPT
2008
Springer
15 years 8 months ago
2008
Springer
Every public-key encryption scheme has to incorporate a certain amount of randomness into its ciphertexts to provide semantic security against chosen ciphertext attacks (IND-CCA). ...
234
click to vote
EUROCRYPT
2012
Springer
13 years 9 months ago
2012
Springer
We describe a compression technique that reduces the public key size of van Dijk, Gentry, Halevi and Vaikuntanathan’s (DGHV) fully homomorphic scheme over the integers from ˜O(...
168
click to vote
SIGMETRICS
2008
ACM
15 years 6 months ago
2008
ACM
Two schemes proposed to cope with unrecoverable or latent media errors and enhance the reliability of RAID systems are examined. The first scheme is the established, widely used d...
139
click to vote
IEEEARES
2006
IEEE
16 years 22 days ago
2006
IEEE
In highly open systems like the Internet, attribute-based access control (ABAC) has proven its appropriateness. The specification and maintenance of ABAC policies however has tur...
153
click to vote
APSEC
2001
IEEE
15 years 10 months ago
2001
IEEE
This paper investigates model checking Object-Z classes via their translation to the input notation of the CSP model checker FDR. Such a translation must not only be concerned wit...