A notion of non-interference for timed automata

被引：0
|
作者：
Barbuti, R
De Francesco, N
Santone, A
Tesei, L
机构：
[1] Univ Pisa, Dipartimento Informat, I-56125 Pisa, Italy
[2] Univ Pisa, Dipartimento Ingn Informaz, I-56126 Pisa, Italy
[3] Univ Sannio, Fac Ingn, I-82100 Benevento, Italy
来源：
FUNDAMENTA INFORMATICAE | 2002年 / 51卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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 automat 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.
引用
收藏
页码：1 / 11
页数：11
相关论文
共 50 条
  • [1] A decidable notion of timed non-interference
    Barbuti, R
    Tesei, L
    FUNDAMENTA INFORMATICAE, 2003, 54 (2-3) : 137 - 150
  • [2] Parametric non-interference in timed automata
    Andre, Etienne
    Kryukov, Aleksander
    2020 25TH INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS (ICECCS 2020), 2020, : 37 - 42
  • [3] Non-Interference Control Synthesis for Security Timed Automata
    Gardey, Guillaume
    Mullins, John
    Roux, Olivier H.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2007, 180 (01) : 35 - 53
  • [4] Timed abstract non-interference
    Giacobazzi, R
    Mastroeni, I
    FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2005, 3829 : 289 - 303
  • [5] A Generalized Notion of Non-interference for Flow Security of Sequential and Concurrent Programs
    Ghosal, Sandip
    Shyamasundar, R. K.
    2020 27TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2020), 2020, : 51 - 60
  • [6] Abstract non-interference - Parameterizing non-interference by abstract interpretation
    Giacobazzi, R
    Mastroeni, I
    ACM SIGPLAN NOTICES, 2004, 39 (01) : 186 - 197
  • [7] NON-INTERFERENCE
    VELASCO, LMA
    COLUMBIA JOURNALISM REVIEW, 1977, 15 (05) : 62 - 62
  • [8] On interference and non-interference in the SMEFT
    Andreas Helset
    Michael Trott
    Journal of High Energy Physics, 2018
  • [9] On interference and non-interference in the SMEFT
    Helset, Andreas
    Trott, Michael
    JOURNAL OF HIGH ENERGY PHYSICS, 2018, (04):
  • [10] Approximate non-interference
    Di Pierro, A
    Hankin, C
    Wiklicky, H
    15TH IEEE COMPUTER SECURITY FOUNDATION WORKSHOP, PROCEEDINGS, 2002, : 3 - 17
12345