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