Two Formal Approaches for Approximating Noninterference Properties (2004)

by A Aldini, M Bravetti, A Di Pierro, R Gorrieri, C Hankin, H Wiklicky
Venue:Foundations of Security Analysis and Design II