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:  Quarterly
Editor-in-Chief: Prof. Antanas Verikas
Executive Editor: Ms. Yoyo Y. Zhou
Abstracting/ Indexing: DBLP, EBSCO, CNKIGoogle Scholar, ProQuest, INSPEC(IET), ULRICH's Periodicals Directory, WorldCat, etc
E-mail: jsweditorialoffice@gmail.com
  • Mar 01, 2024 News!

    Vol 19, No 1 has been published with online version    [Click]

  • Jan 04, 2024 News!

    JSW will adopt Article-by-Article Work Flow

  • Apr 01, 2024 News!

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

  • Apr 01, 2024 News!

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

  • Nov 02, 2023 News!

    Vol 18, No 4 has been published with online version   [Click]