A Notion of Non-Interference for Timed Automata

• Autorzy: Barbuti R. , De Francesco N. , Santone A. , Tesei L.
• Języki publikacji: EN

Abstrakty

EN

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.

Słowa kluczowe

EN

Timed Automata; non-interference for timed automata

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2002
• Tom: Vol. 51, nr 1,2
• Strony: 1--11
• Opis fizyczny: bibliogr. 16 poz.

Twórcy

autor

Barbuti R.

autor

De Francesco N.

autor

Santone A.

autor

Tesei L.

• Dipartimento do Informatica, University of Pisa, Corso Italia 40, 56125 Pisa, Italy,