Paper Info
Title
A Typed Language for Events.
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.
Year
DOI
Venue
2015
10.1007/978-3-319-27436-2_7
LOPSTR
Keywords
Field
DocType
Event,Event type,Access control,Obligation,Rewriting
Obligation,Event type,Computer science,Algorithm,Rewriting,Access control
Conference
Volume
ISSN
Citations 
9527
0302-9743
0
PageRank 
References 
Authors
0.34
17
3
Name
Order
Citations
PageRank
Sandra Alves112.04
Sabine Broda26413.83
Maribel Fernández331523.44