426 search results - page 78 / 86 » Specification, Abduction, and Proof |
CANS
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Predicate encryption is a new powerful cryptographic primitive which allows for fine-grained access control for encrypted data: the owner of the secret key can release pa...
ECOOP
2009
Springer
14 years 10 months ago
2009
Springer
The primary goal of exception mechanisms is to help ensure that when an operation fails, code that depends on the operation's successful completion is not executed (a property...
TCC
2009
Springer
14 years 10 months ago
2009
Springer
We initiate the study of one-wayness under correlated products. We are interested in identifying necessary and sufficient conditions for a function f and a distribution on inputs ...
KDD
2005
ACM
14 years 10 months ago
2005
ACM
Protection of privacy has become an important problem in data mining. In particular, individuals have become increasingly unwilling to share their data, frequently resulting in in...
POPL
2005
ACM
14 years 10 months ago
2005
ACM
A lightweight logical approach to race-free sharing of heap storage between concurrent threads is described, based on the notion of permission to access. Transfer of permission be...