Reasoning about security policies of services using answer set programming
| Author | Asuncion, Vernon |
| Author | Khan, Khaled M. |
| Author | Erradi, Abdelkarim |
| Author | Alhazbi, Saleh |
| Available date | 2023-04-10T09:10:04Z |
| Publication Date | 2014 |
| Publication Name | Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014 |
| Resource | Scopus |
| 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. 2014 IEEE. |
| Language | en |
| Publisher | Institute of Electrical and Electronics Engineers Inc. |
| Subject | Answer set programming Reasoning policy Security policy Software services |
| Type | Conference Paper |
| Pagination | 857-858 |
Files in this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||
This item appears in the following Collection(s)
-
Computer Science & Engineering [2402 items ]
-
Information Intelligence [93 items ]