A Typed Language for Events

dc.contributor.author	Sandra Alves	en
dc.contributor.author	Broda,S	en
dc.contributor.author	Fernandez,M	en
dc.date.accessioned	2018-01-02T15:34:26Z
dc.date.available	2018-01-02T15:34:26Z
dc.date.issued	2015	en
dc.description.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.	en
dc.identifier.uri	http://repositorio.inesctec.pt/handle/123456789/5223
dc.identifier.uri	http://dx.doi.org/10.1007/978-3-319-27436-2_7	en
dc.language	eng	en
dc.relation	6448	en
dc.rights	info:eu-repo/semantics/openAccess	en
dc.title	A Typed Language for Events	en
dc.type	conferenceObject	en
dc.type	Publication	en

Now showing 1 - 1 of 1