565 search results - page 49 / 113 » A logic for authorization provenance |
PET
2012
Springer
11 years 11 months ago
2012
Springer
Real-time statistics on smart meter consumption data must preserve consumer privacy and tolerate smart meter failures. Existing protocols for this private distributed aggregation m...
DBSEC
2003
13 years 10 months ago
2003
As a platform-independent solution, XML is going to be used in many environments such as application integration and Web Services. Security of XML instance is a basic problem, esp...
ICLP
2009
Springer
14 years 1 months ago
2009
Springer
Abstract. Abductive Logic Programming (ALP) and Constraint Logic Programming (CLP) share the feature to constrain the set of possible solutions to a program via integrity or CLP co...
BMCBI
2010
13 years 9 months ago
2010
Background: This paper compares the most common digital signal processing methods of exon prediction in eukaryotes, and also proposes a technique for noise suppression in exon pre...
CCS
2009
ACM
14 years 9 months ago
2009
ACM
In a proxy re-encryption (PRE) scheme [4], a proxy, authorized by Alice, transforms messages encrypted under Alice's public key into encryptions under Bob's public key w...