A Static Analysis Using Tree Automata for XML Access Control.
Isao YagiYoshiaki TakataHiroyuki SekiPublished in: ATVA (2005)
Keyphrases
- tree automata
- static analysis
- regular expressions
- xml access control
- xml databases
- access control
- security policies
- xml schema
- dynamic analysis
- relational dbms
- finite automata
- fine grained
- pattern matching
- xml data
- query language
- query evaluation
- xml documents
- tree languages
- finite state
- source code
- context free grammars
- semi structured
- integrity constraints
- matching algorithm
- xml queries
- database management systems
- object oriented
- data model
- relational data
- test suite
- distributed systems
- databases