DocumentCode
3405652
Title
An Architecture for Verification of Access Control Policies with Multi Agent System Ontologies
Author
Tekbacak, Fatih ; Tuglular, Tugkan ; Dikenelli, Oguz
Author_Institution
Dept. of Comput. Eng., Izmir Inst. of Technol., Izmir, Turkey
Volume
2
fYear
2009
fDate
20-24 July 2009
Firstpage
52
Lastpage
55
Abstract
Multi-agent systems (MAS) which communicate with intra-domain and inter-domain agent platforms have access control requirements. Instead of a central mechanism, a fine-grained access control mechanism could have been applied to MAS platforms. This paper emphasizes MAS-based domain and security ontologies with XACML-based access control approach for MAS platforms. The domain dependent behaviour and access control parameters in agent ontologies could be combined within a common XACML policy document that is used through different MAS applications. Agent-based access control requirements and common XACML policy documents should be consistent to enforce policies for MAS. To obtain this condition, the translation of organizational policies and platform based policies have to be considered in detail and the verified policy features have to be enforced in MAS to provide access for resources.
Keywords
XML; authorisation; formal verification; multi-agent systems; ontologies (artificial intelligence); software agents; software architecture; MAS; XACML; access control policy verification; extensible access control markup language; multiagent system; organizational policy translation; security ontology; software agent; system architecture; Access control; Communication system software; Computer applications; Information security; Logic; Monitoring; Multiagent systems; OWL; Ontologies; Proposals;
fLanguage
English
Publisher
ieee
Conference_Titel
Computer Software and Applications Conference, 2009. COMPSAC '09. 33rd Annual IEEE International
Conference_Location
Seattle, WA
ISSN
0730-3157
Print_ISBN
978-0-7695-3726-9
Type
conf
DOI
10.1109/COMPSAC.2009.114
Filename
5254149
Link To Document