Conceptual structures: information processing in mind and machine
Conceptual structures: information processing in mind and machine
Role-Based Access Control Models
Computer
MDA Explained: The Model Driven Architecture: Practice and Promise
MDA Explained: The Model Driven Architecture: Practice and Promise
A Framework for Multiple Authorization Types in a Healthcare Application System
ACSAC '01 Proceedings of the 17th Annual Computer Security Applications Conference
A Modular Access Control Service for Supporting Application-Specific Policies
IEEE Distributed Systems Online
WI-IATW '06 Proceedings of the 2006 IEEE/WIC/ACM international conference on Web Intelligence and Intelligent Agent Technology
The Description Logic Handbook
The Description Logic Handbook
An Adaptive Security Model for Multi-agent Systems and Application to a Clinical Trials Environment
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Hierarchical knowledge integration using layered conceptual graphs
ICCS'05 Proceedings of the 13th international conference on Conceptual Structures: common Semantics for Sharing Knowledge
Graphical norms via conceptual graphs
Knowledge-Based Systems
Executing SQL queries over encrypted character strings in the Database-As-Service model
Knowledge-Based Systems
Hi-index | 0.00 |
A method must be provided to support the analysis of security policy rules interdependencies in a (possibly distributed) environment. We propose a Conceptual Graphs based language that will allow us to represent the structure of information and to employ reasoning for consistency checking. We motivate our choice of language by the gained expressivity, the potential for depicting policy associations rigourously and by associated reasoning capabilities. We explain our approach in the context of security requirements for medical systems. We evaluate our work theoretically, by means of an example of a real world policy rule.