摘要

Norms and policies are a fundamental component of nowadays open distributed systems operating on the Internet, and a crucial application is the field of Access Control. In such context, policies have been widely used to express data consumer permissions and prohibitions to get access to certain data, whereas obligations have been modelled and applied more infrequently. In this paper, we present a unified semantic model for specifying data consumer and data provider obligations in the context of an exchange of logically formalized information between agents, inside a Multiagent System. We explain how to specify those obligations, in a formal way; we present how to enforce the data provider obligations on the data released by the agent before returning it to the data consumer; we show how to monitor the fulfilment or violation of the specified data consumer obligations; all of that in the context of a complete reasoning-based obligation framework.

  • 出版日期2017

全文