%0 Conference Proceedings
%T A Graph-Based Formalism for Controlling Access to a Digital Library Ontology
%+ Indian Statistical Institute [New Delhi]
%A Dasgupta, Subhasis
%A Bagchi, Aditya
%Z Part 2: Security, Access Control and Intrusion Detection
%< avec comité de lecture
%( Lecture Notes in Computer Science
%B 11th International Conference on Computer Information Systems and Industrial Management (CISIM)
%C Venice, Italy
%Y Agostino Cortesi
%Y Nabendu Chaki
%Y Khalid Saeed
%Y Sławomir Wierzchoń
%I Springer
%3 Computer Information Systems and Industrial Management
%V LNCS-7564
%P 111-122
%8 2012-09-26
%D 2012
%R 10.1007/978-3-642-33260-9_9
%K Ontology
%K Digital Library
%K Multiple Inheritance
%K OBAC
%Z Computer Science [cs]
%Z Humanities and Social Sciences/Library and information sciencesConference papers
%X 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.
%G English
%Z TC 8
%2 https://inria.hal.science/hal-01551744/document
%2 https://inria.hal.science/hal-01551744/file/978-3-642-33260-9_9_Chapter.pdf
%L hal-01551744
%U https://inria.hal.science/hal-01551744
%~ SHS
%~ IFIP-LNCS
%~ IFIP
%~ IFIP-TC
%~ IFIP-TC8
%~ IFIP-CISIM
%~ IFIP-LNCS-7564