CLASSIC: a structural data model for objects
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Closed world reasoning in Hybrid systems
Methodologies for intelligent systems, 5
Role-Based Access Control Models
Computer
Time-dependent concepts: representation and reasoning using temporal description logics
Data & Knowledge Engineering
An epistemic operator for description logics
Artificial Intelligence
Protection in operating systems
Communications of the ACM
Proposed NIST standard for role-based access control
ACM Transactions on Information and System Security (TISSEC)
Description logics of minimal knowledge and negation as failure
ACM Transactions on Computational Logic (TOCL)
A survey of temporal extensions of description logics
Annals of Mathematics and Artificial Intelligence
Multi-Dimensional Modal Logic as a Framework for Spatio-Temporal Reasoning
Applied Intelligence
Combining Classification and Nonmonotonic Inheritance Reasoning: A First Step
ISMIS '93 Proceedings of the 7th International Symposium on Methodologies for Intelligent Systems
The Ponder Policy Specification Language
POLICY '01 Proceedings of the International Workshop on Policies for Distributed Systems and Networks
Temporal ER Modeling with Description Logics
ER '99 Proceedings of the 18th International Conference on Conceptual Modeling
IJCAR '01 Proceedings of the First International Joint Conference on Automated Reasoning
Organization based access control
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
A Policy Language for a Pervasive Computing Environment
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Design of a Role-Based Trust-Management Framework
SP '02 Proceedings of the 2002 IEEE Symposium on Security and Privacy
A Logical Language for Expressing Authorizations
SP '97 Proceedings of the 1997 IEEE Symposium on Security and Privacy
Modelling Contexts in the Or-BAC Model
ACSAC '03 Proceedings of the 19th Annual Computer Security Applications Conference
The Description Logic Handbook
The Description Logic Handbook
MyMap: Generating personalized tourist descriptions
Applied Intelligence
Representation and Reasoning on ORBAC: Description Logic with Defaults and Exceptions Approach
ARES '08 Proceedings of the 2008 Third International Conference on Availability, Reliability and Security
ROWLBAC: representing role based access control in OWL
Proceedings of the 13th ACM symposium on Access control models and technologies
A practical mandatory access control model for XML databases
Information Sciences: an International Journal
Requirements-based Access Control Analysis and Policy Specification (ReCAPS)
Information and Software Technology
Rewrite Based Specification of Access Control Policies
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of Rewrite-Based Access Control Policies
Electronic Notes in Theoretical Computer Science (ENTCS)
Realizing Default Logic over Description Logic Knowledge Bases
ECSQARU '09 Proceedings of the 10th European Conference on Symbolic and Quantitative Approaches to Reasoning with Uncertainty
A temporal description logic for reasoning about actions and plans
Journal of Artificial Intelligence Research
A terminological logic with defaults: a definition and an application
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Default inheritance reasoning in hybrid KL-ONE-style logics
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Algebra and logic for access control
Formal Aspects of Computing
A contextual multilevel access control model
International Journal of Internet Technology and Secured Transactions
| Hi-index | 0.00 |
The proposed dynamic access control model is based on description logic (DL) augmented with a default (驴) and an exception (驴) operator to capture context features. Currently, this model has an expressivity almost comparable to OrBAC system (OrBAC (Organization Based Access Control) has been formalized in first order logic), all features needed for real attribution of authorization, i.e., assigning authorization to a user according to its role in an organization in a given context. A notable difference of our model is the allowing of composed context, the addition of new context and the deduction of new authorization depending on context.