ConSpec - A Formal Language for Policy Specification.

Irem Aktug Katsiaryna Naliuka

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

formal language
access control policies
formal semantics
conflict resolution
access control
formal languages
distributed environment
representation language
natural language interface
natural language
security policies
security mechanisms
database
expert systems