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]
No references recorded for this publication.
No citations of this publication recorded.