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]
@inproceedings{JiangPP07a,
title = {Combining robust declassification and intransitive noninterference},
author = {Li Jiang and Lingdi Ping and Xuezeng Pan},
year = {2007},
doi = {10.1109/IMSCCS.2007.54},
url = {http://dx.doi.org/10.1109/IMSCCS.2007.54},
researchr = {https://researchr.org/publication/JiangPP07a},
cites = {0},
citedby = {0},
pages = {465-471},
booktitle = {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},
publisher = {IEEE},
}