XML access control using static analysis.
Makoto MurataAkihiko TozawaMichiharu KudoSatoshi HadaPublished in: CCS (2003)
Keyphrases
- static analysis
- xml access control
- access control
- xml databases
- security policies
- fine grained
- relational dbms
- dynamic analysis
- source code
- xml data
- native xml
- regular expressions
- java card
- design principles
- symbolic execution
- abstract interpretation
- xml documents
- user interface
- database management systems
- database systems
- network security
- test suite
- databases
- distributed systems
- software engineering
- artificial intelligence