A Notion of Non-Interference for Timed Automata

Issue title: Concurrency Specification and Programming Workshop (CS&P'2001)

Article type: Research Article

Authors: Barbuti, Roberto | De Francesco, Nocoletta | Santone, Antonella | Tesei, Luca

Affiliations: Dipartimento di Informatica, Università di Pisa, Corso Italia, 40 - 56125 Pisa - Italy | Dipartimento di Ingegneria dell'Informazione, Università di Pisa, Via Diotisalvi, 2 - 56126 Pisa - Italy

Abstract: The non-interference property of concurrent systems is a security property concerning the flow of information among different levels of security of the system. In this paper we introduce a notion of timed non-interference for real-time systems specified by timed automata. The notion is presented using an automata based approach and then it is characterized also by operations and equivalence between timed languages. The definition is applied to an example of a time-critical system modeling a simplified control of an airplane.

Keywords:

Journal: Fundamenta Informaticae, vol. 51, no. 1-2, pp. 1-11, 2002