Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
On the specification and evolution of access control policies
SACMAT '01 Proceedings of the sixth ACM symposium on Access control models and technologies
An algebra for composing access control policies
ACM Transactions on Information and System Security (TISSEC)
Distributed and Parallel Databases
A Content-Based Authorization Model for Digital Libraries
IEEE Transactions on Knowledge and Data Engineering
Semantic and schematic similarities between database objects: a context-based approach
The VLDB Journal — The International Journal on Very Large Data Bases
Graph-based specification of access control policies
Journal of Computer and System Sciences
Policy-based dissemination of partial web-ontologies
Proceedings of the 2005 workshop on Secure web services
Modality conflicts in semantics aware access control
ICWE '06 Proceedings of the 6th international conference on Web engineering
Towards a digital library theory: a formal digital library ontology
International Journal on Digital Libraries
Semantics-aware security policy specification for the semantic web data
International Journal of Information and Computer Security
A framework for flexible access control in digital library systems
DBSEC'06 Proceedings of the 20th IFIP WG 11.3 working conference on Data and Applications Security
A formal access control model for XML databases
SDM'05 Proceedings of the Second VDLB international conference on Secure Data Management
| Hi-index | 0.00 |
This paper presents a graph-based formalism for an Ontology Based Access Control (OBAC) system applied to Digital Library (DL) ontology. It uses graph transformations, a graphical specification technique based on a generalization of classical string grammars to nonlinear structures. The proposed formalism provides an executable specification that exploits existing tools of graph grammar to verify the properties of a graph-based access control mechanism applicable to a digital library ontology description. It also provides a uniform specification for controlling access not only at the concept level but also at the level of the documents covered by the concepts including node obfuscation, if required.