The complexity of synchronous notions of information flow security

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 reviews for this publication, yet.