A temporal description logic based access control model for expressing history constrained policies in semantic web

Proceedings - 2009 IEEE International Symposium on Policies for Distributed Systems and Networks, POLICY 2009

Volumn , Issue , 2009, Pages 142-149

  Faghih, Fathieh ^a   Amini, Morteza ^a   Jalili, Rasool ^a  

^a SHARIF UNIVERSITY OF TECHNOLOGY   (Iran)

Author keywords

[No Author keywords available]

Indexed keywords

ACCESS CONTROL MODELS; DESCRIPTION LOGIC; DYNAMIC PROPERTY; LOGIC-BASED MODELS; SEMANTIC MODEL; SEMANTIC RELATIONSHIPS;

DATA DESCRIPTION; ONTOLOGY; SECURITY SYSTEMS; SEMANTIC WEB; SEMANTICS; TEMPORAL LOGIC; THERMOLUMINESCENCE;

ACCESS CONTROL;

EID: 71049147241     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/POLICY.2009.15     Document Type: Conference Paper

References (21)

1. S. Javanmardi, M. Amini, R. Jalili, and Y. Ganjisaffar, "SBAC: Semantic Based Access Control", in Proceedings of the 11th Nordic Workshop on Secure IT-systems, Ltnkping, Sweden, 2006, pp. 157-168.
2. A.N. Ravari, M. Amini, and R. Jalili, "A Semantic Aware Access Control Model with Real Time Constraints on History of Accesses , Computer Science and Information Technology, 2008. IMCSIT 2008. International Multiconference on, pp. 827-836, 2008.
3. Z. Iranmanesh, M. Amini, and R. Jalili, "A Logic for Multi-domain Authorization Considering Administrators", in IEEE Workshop on Policies for Distributed Systems and Networks, 2008. POLICY 2008, 2008, pp. 189-196.
4. G. Kolaczek, "Application of Deontic Logic in Role-Based Access Control", Int. J. Appl. Math. Comput. Sci, vol.12, no.2, pp. 269-275, 2002.
5. J. Chae, "Towards Modal Logic Formalization of Role-Based Access Control with Object Classes", Lecture Notes in Computer Science, vol.4574, pp. 97, 2007.
6. E Baader, I. Horrocks, and U. Sattler, "Description logics as ontology languages for the semantic web", Festschrift in honor of Jorg Siekmann, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2003.
7. F. Baader, The description logic handbook: theory, implementation, and applications, Cambridge University Press, 2003.
8. A. Artale and E. Franconi, "A survey of temporal extensions of description logics", Annals of Mathematics and Artificial Intelligence, vol.30, no.1, pp. 171-210, 2000.
9. [9] A. Artale and E. Franconi, "A temporal description logic for reasoning about actions and plans", Journal of Artificial Intelligence Research, vol.9, no.2, pp. 463-506, 1998. (Pubitemid 128636210)
10. A. Artale and E. Franconi, "Representing a robotic domain using temporal description logics", AI EDAM, vol.13, no.02, pp. 105-117, 1999.
11. F. Cuppens and R. Demolombe, "A deontic logic for reasoning about confidentiality", Deontic Logic, Agency and Normative Systems, Workshops in Computing. Springer, 1996.
12. E. Bertino, "Temporal authorization bases: From specification to integration", Journal of Computer Security, vol.8, no.4, pp. 309-353, 2000.
13. E. Bertino, P.A. Bonatti, and E. Ferrari, "TRBAC: A temporal role-based access control model", ACM Transactions on Information and System Security (TISSEC), vol.4, no.3, pp. 191-233, 2001.
14. L. Qin and V. Atluri, "Concept-level access control for the semantic web", in Proceedings of the 2003 ACM workshop on XML security. ACM New York, NY, USA, 2003, pp. 94-103.
15. D.F.C. Brewer and M.J. Nash, "The Chinese wall security policy", in Proceedings of the 1989 IEEE Symposium on Security and Privacy. IEEE Computer Society Press, 1989, pp. 206-214.
16. P. Dias, C. Ribeiro, and P. Ferreira, "Enforcing history-based security policies in mobile agent systems", in IEEE 4th International Workshop on Policies for Distributed Systems and Networks, 2003. Proceedings. POLICY 2003, 2003, pp. 231-234.
17. G. Edjlali, A. Acharya, and V. Chaudhary, "History-based access control for mobile code", in Proceedings of the 5th ACM Conference on Computer and Communications Security. ACM New York, NY, USA, 1998, pp. 38-48.
18. J.F. Allen, "Temporal reasoning and planning", Morgan-Kaufmann Series In Representation And Reasoning, pp. 1-67, 1991.
19. L. Serafini and A. Tamilin, "Distributed instance retrieval in heterogeneous ontologies", in Proceedings of SWAP 2005, CEUR Workshop Vol, 2005, vol.166.
20. C. Lutz, "PSpace reasoning with the description logic ALCF (D)", Subscription Information, p. 535.
21. A. Artale and C. Lutz, "A correspondence between temporal description logics", JOURNAL OF APPLIED NONCLASSICAL LOGICS, vol. 14, no. 1/2, pp. 209-233, 2004.