XML access control using static analysis.
Makoto MurataAkihiko TozawaMichiharu KudoSatoshi HadaPublished in: ACM Trans. Inf. Syst. Secur. (2006)
Keyphrases
- static analysis
- xml access control
- access control
- xml databases
- security policies
- relational dbms
- dynamic analysis
- fine grained
- source code
- xml data
- symbolic execution
- abstract interpretation
- java card
- design principles
- data centric
- native xml
- artificial intelligence
- xml documents
- test suite
- query execution
- database
- regular expressions
- data exchange
- distributed systems