A model-based approach to automated testing of access control policies.

Dianxiang Xu Lijo Thomas Michael Kent Tejeddine Mouelhi Yves Le Traon

Published in: SACMAT (2012)

Keyphrases

access control policies
access control
conflict resolution
access control systems
distributed environment
security policies
extended logic programs
fine grained
logic programming
security mechanisms
trust negotiation
security issues
loosely coupled