Symbolic algorithmic verification of intransitive generalized noninterference. - Conghua Zhou; Zhifeng Liu; Hailing Wu; Song Chen; Shiguang Ju (Sci. China Inf. Sci., 2012)