800 search results - page 4 / 160 » XML access control using static analysis |
192
click to vote
CASSIS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
156
Voted
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
XPath [16] was introduced by the W3C as a standard language for specifying node selection, matching conditions, and for computing values from an XML document. XPath is now used in...
141
Voted
ACSAC
2007
IEEE
16 years 21 days ago
2007
IEEE
160
click to vote
DOCENG
2004
ACM
15 years 11 months ago
2004
ACM
We show that an XML DTD (Document Type Definition) can be viewed as the fixed point of a parametric content model. We then use natural transformations from the source content mo...
185
click to vote
CSFW
2003
IEEE
15 years 11 months ago
2003
IEEE
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...