Franck Cassez, Ron van der Meyden, Chenyi Zhang. The complexity of synchronous notions of information flow security. Theoretical Computer Science, 631:16-42, 2016. [doi]
@article{CassezMZ16,
title = {The complexity of synchronous notions of information flow security},
author = {Franck Cassez and Ron van der Meyden and Chenyi Zhang},
year = {2016},
doi = {10.1016/j.tcs.2016.03.011},
url = {http://dx.doi.org/10.1016/j.tcs.2016.03.011},
researchr = {https://researchr.org/publication/CassezMZ16},
cites = {0},
citedby = {0},
journal = {Theoretical Computer Science},
volume = {631},
pages = {16-42},
}