"The complexity of synchronous notions of information flow security."

Franck Cassez, Ron van der Meyden, Chenyi Zhang (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics