A Typed Language for Events

• Type: Article in International Conference Proceedings Book
• Date: 2015

Authors

Sandra Alves (Author) FCUP; Broda, S (Author) FCUP; Maribel Fernández (Author) Other

Conference proceedings International

Title: LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION (LOPSTR 2015)

Pages: 107-123

25th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR)

Univ Siena, Siena, ITALY, JUL 13-15, 2015

Indexing

ISI Web of Knowledge - 1 Citation

Scopus - 2 Citations

Other information

Authenticus ID: P-00J-ZR6

DOI: 10.1007/978-3-319-27436-2_7

Abstract (EN): 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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 17