• DocumentCode
    127707
  • 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
  • fYear
    2014
  • fDate
    June 27 2014-July 2 2014
  • Firstpage
    857
  • Lastpage
    858
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Services Computing (SCC), 2014 IEEE International Conference on
  • Conference_Location
    Anchorage, AK
  • Print_ISBN
    978-1-4799-5065-2
  • Type

    conf

  • DOI
    10.1109/SCC.2014.123
  • Filename
    6930625
    • Link To Document
    https://search.isc.ac/dl/search/defaultta.aspx?DTC=49&DC=127707