Combining robust declassification and intransitive noninterference

Li Jiang, Lingdi Ping, Xuezeng Pan. Combining robust declassification and intransitive noninterference. In Proceeding of the Second International Multi-Symposium of Computer and Computational Sciences (IMSCCS 2007), August 13-15, 2007, The University of Iowa, Iowa City, Iowa, USA. pages 465-471, IEEE, 2007. [doi]

Authors

Li Jiang

This author has not been identified. Look up 'Li Jiang' in Google

Lingdi Ping

This author has not been identified. Look up 'Lingdi Ping' in Google

Xuezeng Pan

This author has not been identified. Look up 'Xuezeng Pan' in Google