A Typed Language for Events
A Typed Language for Events
Date
2015
Authors
Sandra Alves
Broda,S
Fernandez,M
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
We define a general typed language to deal with the notion of event in the context of access control systems. We distinguish between generic events, which represent the kind of actions that can occur in a system, and specific events, which represent actual occurrences of those kinds of actions. A relation is given associating specific to generic events, as well as a method for obtaining intervals from a history of events. We describe applications in access control systems with obligations.