Security policies enforcement using finite and pushdown edit automata.
Danièle BeauquierJoëlle CohenRuggero LanottePublished in: Int. J. Inf. Sec. (2013)
Keyphrases
- security policies
- access control
- finite automata
- xml access control
- access control policies
- mandatory access control
- fine grained
- security concerns
- security management
- security requirements
- data security
- network security
- distributed systems
- cellular automata
- access control mechanism
- regular expressions
- access control systems
- role based access control
- unauthorized access
- model checking
- multilevel secure
- intrusion detection
- conflict resolution