Cited By
View all- Zhang FZhang CXu MLiu XHu FChao H(2018)Automated Verification of Noninterference PropertyInformation and Communications Security10.1007/978-3-030-01950-1_37(629-646)Online publication date: 26-Oct-2018
- Eggert Svan der Meyden R(2017)Dynamic intransitive noninterference revisitedFormal Aspects of Computing10.1007/s00165-017-0430-629:6(1087-1120)Online publication date: 1-Nov-2017
- Woizekowski Ovan der Meyden R(2016)On Reductions from Multi-Domain Noninterference to the Two-Level CaseComputer Security – ESORICS 201610.1007/978-3-319-45744-4_26(520-537)Online publication date: 15-Sep-2016
- Show More Cited By