A logic-based calculus of events
New Generation Computing
A unified framework for enforcing multiple access control policies
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Flexible support for multiple access control policies
ACM Transactions on Database Systems (TODS)
Reasoning agents in dynamic domains
Logic-based artificial intelligence
Knowledge Representation, Reasoning, and Declarative Problem Solving
Knowledge Representation, Reasoning, and Declarative Problem Solving
A Logical Language for Expressing Authorizations
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Analyzing web access control policies
Proceedings of the 16th international conference on World Wide Web
Efficient policy analysis for administrative role based access control
Proceedings of the 14th ACM conference on Computer and communications security
Obligations and their interaction with programs
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
Process compliance analysis based on behavioural profiles
Information Systems
Refinement of history-based policies
Logic programming, knowledge representation, and nonmonotonic reasoning
Logical approaches to authorization policies
Logic Programs, Norms and Action
Hi-index | 0.00 |
The paper defines a language for specifying authorization and obligation policies of an intelligent agent acting in a changing environment and presents several ASP based algorithms for checking compliance of an event with a policy specified in this language. The language allows representation of defeasible policies and is based on theory of action and change.