Sciweavers

10 search results - page 1 / 2
» A Static Analysis Using Tree Automata for XML Access Control
Sort
View
ATVA
2005
Springer
93views Hardware» more  ATVA 2005»
13 years 10 months ago
A Static Analysis Using Tree Automata for XML Access Control
Isao Yagi, Yoshiaki Takata, Hiroyuki Seki
CCS
2003
ACM
13 years 10 months ago
XML access control using static analysis
Makoto Murata, Akihiko Tozawa, Michiharu Kudo, Sat...
JAPLL
2010
124views more  JAPLL 2010»
13 years 3 months ago
Reasoning about XML with temporal logics and automata
We show that problems arising in static analysis of XML specifications and transformations can be dealt with using techniques similar to those developed for static analysis of pr...
Leonid Libkin, Cristina Sirangelo
ACJ
2006
85views more  ACJ 2006»
13 years 5 months ago
Tree Automata for Schema-Level Filtering of XML Associations
In this paper we present query filtering techniques based on bottom-up tree automata for XML access control. In our authorization model (RXACL), RDF statements are used to represen...
Vaibhav Gowadia, Csilla Farkas
SDMW
2009
Springer
13 years 11 months ago
Controlling Access to XML Documents over XML Native and Relational Databases
In this paper we investigate the feasibility and efficiency of mapping XML data and access control policies onto relational and native XML databases for storage and querying. We de...
Lazaros Koromilas, George Chinis, Irini Fundulaki,...