Reasoning about delegation and revocation schemes in answer set programming. (English) Zbl 1361.68219

Barker, Steve; Boella, Guido; Gabbay, Dov; Genovese, Valerio

J. Log. Comput. 24, No. 1, 89-116 (2014).

Summary: In this article we show how to model a range of notions in the context of delegation and revocation applied to security scenarios. We demonstrate how a range of delegation-revocation models and policies may be represented in pictorial form and formally represented in terms of reactive Kripke models and a first-order policy specification language. We translate first-order representations of our reactive Kripke models into an equivalent Answer Set Programming form that enables users to apply flexibly well-defined definitions of predicates to represent their requirements in terms of delegation-revocation policy specification.

MSC:

68T27	Logic in artificial intelligence
68N17	Logic programming
94A62	Authentication, digital signatures and secret sharing

Keywords:

delegation; security; answer set programming; policies