TRBAC: A temporal role-based access control model
ACM Transactions on Information and System Security (TISSEC)
LUPS---a language for updating logic programs
Artificial Intelligence
Static Analysis of Logical Languages with Deferred Update Semantics
IEEE Transactions on Knowledge and Data Engineering
On Complexity of Updates through Integrity Constraints
CL '00 Proceedings of the First International Conference on Computational Logic
CL '00 Proceedings of the First International Conference on Computational Logic
Declarative semantics for active rules
Theory and Practice of Logic Programming
Ontological scheme for intelligent database
ICCOMP'07 Proceedings of the 11th WSEAS International Conference on Computers
Semantic context aware security policy deployment
Proceedings of the 4th International Symposium on Information, Computer, and Communications Security
A framework for declarative update specifications in logic programs
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Rule-Based Event Processing and Reaction Rules
RuleML '09 Proceedings of the 2009 International Symposium on Rule Interchange and Applications
Formalization and management of group obligations
POLICY'09 Proceedings of the 10th IEEE international conference on Policies for distributed systems and networks
Dynamic deployment of context-aware access control policies for constrained security devices
Journal of Systems and Software
Formal enforcement and management of obligation policies
Data & Knowledge Engineering
An event-condition-action logic programming language
JELIA'06 Proceedings of the 10th European conference on Logics in Artificial Intelligence
An Integrated Approach for the Enforcement of Contextual Permissions and Pre-Obligations
International Journal of Mobile Computing and Multimedia Communications
Formal specification and management of security policies with collective group obligations
Journal of Computer Security
Hi-index | 0.00 |