Show simple item record

AuthorAsuncion, Vernon
AuthorKhan, Khaled M.
AuthorErradi, Abdelkarim
AuthorAlhazbi, Saleh
Available date2023-04-10T09:10:04Z
Publication Date2014
Publication NameProceedings - 2014 IEEE International Conference on Services Computing, SCC 2014
ResourceScopus
URIhttp://dx.doi.org/10.1109/SCC.2014.123
URIhttp://hdl.handle.net/10576/41802
AbstractIn 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. 2014 IEEE.
Languageen
PublisherInstitute of Electrical and Electronics Engineers Inc.
SubjectAnswer set programming
Reasoning policy
Security policy
Software services
TitleReasoning about security policies of services using answer set programming
TypeConference Paper
Pagination857-858


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record