Reasoning about delegation and revocation schemes in answer set programming

DOI10.1093/logcom/exs014zbMath1361.68219OpenAlexW2027237863MaRDI QIDQ5406124

Guido Boella, Steve Barker, Valerio Genovese, Dov M. Gabbay

Publication date: 1 April 2014

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://orbilu.uni.lu/handle/10993/26074

zbMATH Keywords

securitydelegationanswer set programmingpolicies

Mathematics Subject Classification ID

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

Related Items (2)

Postulates for Revocation Schemes ⋮ Principles Of Talmudic Logic

This page was built for publication: Reasoning about delegation and revocation schemes in answer set programming