Powiadomienia systemowe
- Sesja wygasła!
Tytuł artykułu
Autorzy
Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
Języki publikacji
Abstrakty
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
Wydawca
Czasopismo
Rocznik
Tom
Strony
1--11
Opis fizyczny
bibliogr. 16 poz.
Twórcy
autor
autor
autor
autor
- Dipartimento do Informatica, University of Pisa, Corso Italia 40, 56125 Pisa, Italy, barbuti@di.unipi.it
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BUS2-0004-0019