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. 90-97 2009 4 JSW 1 http://www.academypublisher.com/jsw/vol04/no01/jsw04019097.html db/journals/jsw/jsw4.html#HuangPLP09