@INPROCEEDINGS {14635,
author={A. Matos and G. Boudol and I. Castellani},
doi={0},
booktitle={Workshop on Foundations of Computer Security},
title={Typing Noninterference for Reactive Programs},
year={2004},
month={June},
volume={31},
pages={205-222} 
}
Create and download bib file