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
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
P-00J-ZR6.pdf
Size:
341.37 KB
Format:
Adobe Portable Document Format
Description: