| | |
Summary: Security Analysis of Cryptographically Controlled Access
to XML Documents
Mart´in Abadi
Computer Science Department
University of California at Santa Cruz
abadi@cs.ucsc.edu
Bogdan Warinschi
Computer Science Department
Stanford University
bogdan@theory.stanford.edu
ABSTRACT
Some promising recent schemes for XML access control em-
ploy encryption for implementing security policies on pub-
lished data, avoiding data duplication. In this paper we
study one such scheme, due to Miklau and Suciu. That
scheme was introduced with some intuitive explanations and
goals, but without precise definitions and guarantees for the
use of cryptography (specifically, symmetric encryption and
secret sharing). We bridge this gap in the present work. We
|