Volume 4 Number 1 (Feb. 2009)
Home > Archive > 2009 > Volume 4 Number 1 (Feb. 2009) >
JSW 2009 Vol.4(1): 90-97 ISSN: 1796-217X
doi: 10.4304/jsw.4.1.90-97

Analysis for Real-time Intransitive Information Flow Security Properties

Yong Huang, Lingdi Ping, Shanping Li, and Xuezeng Pan
College of Computer Science and Technology, Zhejiang University, China

Abstract—Real-time information flow security properties such as timed noninterference provide assurances that some time dependent information flows may not become possible. However, with transitive noninterference formulation, it is difficult to deal with intransitive flow policies like channel control and secure downgrading of information with time constraints. In this paper, we introduce the notion of trust domain into Timed Secure Process Algebra (tSPA), extending intransitive noninterference to real-time systems. Based on weak timed bisimulation equivalence, some security properties for intransitive flow are reformulated in a realtime setting, in particular one property which is persistent, meaning that if a system is secure then all of its reachable states are secure too. Furthermore, we prove that such persistent intransitive timed property is compositional, which is thus possible to alleviate the state space explosion problem caused by the interleaving of all the possible executions of parallel processes. Finally, we provide one case study showing that it is possible to model and analyze the real-time system through our approach.

Index Terms—real-time information flow, trust domain, intransitive noninterference, timed bisimulation equivalence, timing covert channels


Cite: Lingdi Ping, Shanping Li, Xuezeng Pan, "Analysis for Real-time Intransitive Information Flow Security Properties," Journal of Software vol. 4, no. 1, pp. 90-97, 2009.

General Information

ISSN: 1796-217X (Online)
Frequency: Monthly (2006-2019); Bimonthly (Since 2020)
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, ProQuest, INSPEC, ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsw@iap.org
  • Dec 06, 2019 News!

    Vol 14, No 1- Vol 14, No 4 has been indexed by EI (Inspec)   [Click]

  • Mar 17, 2020 News!

    Papers published in JSW Vol 14, No 1- Vol 14 No 12 have been indexed by DBLP     [Click]

  • Mar 31, 2020 News!

    Vol 15, No 2 has been published with online version   [Click]

  • Aug 01, 2018 News!

    [CFP] 2020 the annual meeting of JSW Editorial Board, ICCSM 2020, will be held in Rome, Italy, July 17-19, 2020   [Click]

  • Jun 25, 2019 News!

    Vol.13, No.9 has been indexed by EI (Inspec).   [Click]