Dynamic intransitive noninterference revisited

Sebastian Eggert, Ron van der Meyden. Dynamic intransitive noninterference revisited. Formal Asp. Comput., 29(6):1087-1120, 2017. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: