Title :
Reasoning about Security Policies of Services Using Answer Set Programming
Author :
Asuncion, Vernon ; Khan, Khaled M. ; Erradi, Abdelkarim ; Alhazbi, Saleh
Author_Institution :
Dept. of Comput. Sci. & Eng., Qatar Univ., Doha, Qatar
fDate :
June 27 2014-July 2 2014
Abstract :
In this paper, we propose a formal framework for checking the consistency of security policies of services using Answer Set Programming (ASP). We illustrate that the formalisation of security policies of the service providers and the service consumers in ASP is an effective way for reasoning about the compatibility of policies to enable the dynamic discovery and invocation of services.
Keywords :
inference mechanisms; logic programming; security of data; ASP; answer set programming; dynamic service discovery; formal framework; reasoning; service consumers; service invocation; service security policies; Abstracts; Aggregates; Cognition; Conferences; Programming; Search problems; Security; Software services; answer set programming; reasoning policy; security policy;
Conference_Titel :
Services Computing (SCC), 2014 IEEE International Conference on
Conference_Location :
Anchorage, AK
Print_ISBN :
978-1-4799-5065-2
DOI :
10.1109/SCC.2014.123
