Reasoning about security policies of services using answer set programming

Vernon Asuncion; Khaled Khan; Abdelkarim Erradi; Saleh Alhazbi

doi:10.1109/SCC.2014.123

Reasoning about security policies of services using answer set programming

Vernon Asuncion, Khaled Khan, Abdelkarim Erradi, Saleh Alhazbi

Qatar University

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

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.

Original language	English
Title of host publication	Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014
Editors	Elena Ferrari, Ravindran Kaliappa, Patrick C.K. Hung
Publisher	Institute of Electrical and Electronics Engineers Inc.
Pages	857-858
Number of pages	2
ISBN (Electronic)	9781479950669
DOIs	https://doi.org/10.1109/SCC.2014.123
Publication status	Published - 17 Oct 2014
Externally published	Yes
Event	11th IEEE International Conference on Services Computing, SCC 2014 - Anchorage, United States Duration: 27 Jun 2014 → 2 Jul 2014

Publication series

Name	Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014

Conference

Conference	11th IEEE International Conference on Services Computing, SCC 2014
Country/Territory	United States
City	Anchorage
Period	27/06/14 → 2/07/14

Bibliographical note

Publisher Copyright:
© 2014 IEEE.

Keywords

Answer set programming
Reasoning policy
Security policy
Software services

Access to Document

10.1109/SCC.2014.123

Cite this

Asuncion, V., Khan, K., Erradi, A., & Alhazbi, S. (2014). Reasoning about security policies of services using answer set programming. In E. Ferrari, R. Kaliappa, & P. C. K. Hung (Eds.), Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014 (pp. 857-858). Article 6930625 (Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014). Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/SCC.2014.123

Asuncion, Vernon ; Khan, Khaled ; Erradi, Abdelkarim et al. / Reasoning about security policies of services using answer set programming. Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014. editor / Elena Ferrari ; Ravindran Kaliappa ; Patrick C.K. Hung. Institute of Electrical and Electronics Engineers Inc., 2014. pp. 857-858 (Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014).

@inproceedings{228b8300098d4da8bbf3e0a0eae600b3,

title = "Reasoning about security policies of services using answer set programming",

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 = "Answer set programming, Reasoning policy, Security policy, Software services",

author = "Vernon Asuncion and Khaled Khan and Abdelkarim Erradi and Saleh Alhazbi",

note = "Publisher Copyright: {\textcopyright} 2014 IEEE.; 11th IEEE International Conference on Services Computing, SCC 2014 ; Conference date: 27-06-2014 Through 02-07-2014",

year = "2014",

month = oct,

day = "17",

doi = "10.1109/SCC.2014.123",

language = "English",

series = "Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

pages = "857--858",

editor = "Elena Ferrari and Ravindran Kaliappa and Hung, {Patrick C.K.}",

booktitle = "Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014",

}

Asuncion, V, Khan, K, Erradi, A & Alhazbi, S 2014, Reasoning about security policies of services using answer set programming. in E Ferrari, R Kaliappa & PCK Hung (eds), Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014., 6930625, Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014, Institute of Electrical and Electronics Engineers Inc., pp. 857-858, 11th IEEE International Conference on Services Computing, SCC 2014, Anchorage, United States, 27/06/14. https://doi.org/10.1109/SCC.2014.123

Reasoning about security policies of services using answer set programming. / Asuncion, Vernon; Khan, Khaled; Erradi, Abdelkarim et al.
Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014. ed. / Elena Ferrari; Ravindran Kaliappa; Patrick C.K. Hung. Institute of Electrical and Electronics Engineers Inc., 2014. p. 857-858 6930625 (Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014).

Research output: Chapter in Book / Conference Paper › Conference Paper › peer-review

TY - GEN

T1 - Reasoning about security policies of services using answer set programming

AU - Asuncion, Vernon

AU - Khan, Khaled

AU - Erradi, Abdelkarim

AU - Alhazbi, Saleh

PY - 2014/10/17

Y1 - 2014/10/17

N2 - 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.

AB - 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.

KW - Answer set programming

KW - Reasoning policy

KW - Security policy

KW - Software services

UR - http://www.scopus.com/inward/record.url?scp=84919626044&partnerID=8YFLogxK

U2 - 10.1109/SCC.2014.123

DO - 10.1109/SCC.2014.123

M3 - Conference Paper

AN - SCOPUS:84919626044

T3 - Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014

SP - 857

EP - 858

BT - Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014

A2 - Ferrari, Elena

A2 - Kaliappa, Ravindran

A2 - Hung, Patrick C.K.

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 11th IEEE International Conference on Services Computing, SCC 2014

Y2 - 27 June 2014 through 2 July 2014

ER -

Asuncion V, Khan K, Erradi A, Alhazbi S. Reasoning about security policies of services using answer set programming. In Ferrari E, Kaliappa R, Hung PCK, editors, Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014. Institute of Electrical and Electronics Engineers Inc. 2014. p. 857-858. 6930625. (Proceedings - 2014 IEEE International Conference on Services Computing, SCC 2014). doi: 10.1109/SCC.2014.123

Reasoning about security policies of services using answer set programming

Abstract

Publication series

Conference

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this