• Login
  • Sign-Up



Authors: Carlo Combi 1 ; Roberto Posenato 1 ; Luca Viganò 2 and Matteo Zavatteri 1

Affiliations: 1 University of Verona, Italy ; 2 King's College London, United Kingdom

ISBN: 978-989-758-220-2

Keyword(s): Access Control, Temporal Networks, Temporal Authorization, Dynamic Controllability, UPPAAL-TIGA.

Related Ontology Subjects/Areas/Topics: Artificial Intelligence ; Constraint Satisfaction ; Formal Methods ; Informatics in Control, Automation and Robotics ; Intelligent Control Systems and Optimization ; Knowledge Representation and Reasoning ; Planning and Scheduling ; Simulation and Modeling ; Symbolic Systems ; Uncertainty in AI

Abstract: We define Access-Controlled Temporal Networks (ACTNs) as an extension of Conditional Simple Temporal Networks with Uncertainty (CSTNUs). CSTNUs are able to handle features such as contingent durations and conditional constraints, and have thus been used to model the temporal constraints of workflows underlying business processes. However, CSTNUs are unable to model users and authorization constraints, and thus cannot model “who can do what, when”. ACTNs solve this problem by adding users and authorization constraints that must be considered together with temporal constraints. Dynamic controllability (DC) of ACTNs ensures the existence of an execution strategy, able to assign tasks to authorized users dynamically, satisfying all the relevant authorization constraints no matter what contingent durations turn out to be or what conditional constraints have to be considered. We show that the DC checking can be done via Timed Game Automata and provide experimental results using UPPAAL-TIGA on a concrete real-world case study. (More)

PDF ImageFull Text

Sign In Guest: Register as new SCITEPRESS user or Join INSTICC now for free.

Sign In SCITEPRESS user: please login.

Sign In INSTICC Members: please login. If not a member yet, Join INSTICC now for free.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address INSTICC members have higher download limits (free membership now)

In the current month:
Recent papers: 1 available of 1 total
2+ years older papers: 2 available of 2 total

Paper citation in several formats:
Combi C., Posenato R., Viganò L. and Zavatteri M. (2017). Access Controlled Temporal Networks.In Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-220-2, pages 118-131. DOI: 10.5220/0006185701180131

author={Carlo Combi and Roberto Posenato and Luca Viganò and Matteo Zavatteri},
title={Access Controlled Temporal Networks},
booktitle={Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},


JO - Proceedings of the 9th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Access Controlled Temporal Networks
SN - 978-989-758-220-2
AU - Combi C.
AU - Posenato R.
AU - Viganò L.
AU - Zavatteri M.
PY - 2017
SP - 118
EP - 131
DO - 10.5220/0006185701180131

Sorted by: Show papers

Note: The preferred Subjects/Areas/Topics, listed below for each paper, are those that match the selected paper topics and their ontology superclasses.

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.

Show authors

Note: The preferred Subjects/Areas/Topics, listed below for each author, are those that more frequently used in the author's papers.