عرض بسيط للتسجيلة

Reasoning about security policies of services using answer set programming

المؤلفAsuncion, Vernon
المؤلفKhan, Khaled M.
المؤلفErradi, Abdelkarim
المؤلفAlhazbi, Saleh
تاريخ الإتاحة2023-04-10T09:10:04Z
تاريخ النشر2014
اسم المنشورProceedings - 2014 IEEE International Conference on Services Computing, SCC 2014
المصدرScopus
معرّف المصادر الموحدhttp://dx.doi.org/10.1109/SCC.2014.123
معرّف المصادر الموحدhttp://hdl.handle.net/10576/41802
الملخص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.
اللغةen
الناشرInstitute of Electrical and Electronics Engineers Inc.
الموضوعAnswer set programming
Reasoning policy
Security policy
Software services
العنوانReasoning about security policies of services using answer set programming
النوعConference Paper
الصفحات857-858


الملفات في هذه التسجيلة

الملفاتالحجمالصيغةالعرض

لا توجد ملفات لها صلة بهذه التسجيلة.

هذه التسجيلة تظهر في المجموعات التالية

عرض بسيط للتسجيلة