Analysis for Real-time Intransitive Information Flow Security Properties

Yong Huang, Lingdi Ping, Shanping Li, Xuezeng Pan. Analysis for Real-time Intransitive Information Flow Security Properties. JSW, 4(1):90-97, 2009. [doi]

Abstract

Abstract is missing.