×

zbMATH — the first resource for mathematics

Reasoning about delegation and revocation schemes in answer set programming. (English) Zbl 1361.68219
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
PDF BibTeX XML Cite
Full Text: DOI