Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky. Two Formal Approaches for Approximating Noninterference Properties. In Riccardo Focardi, Roberto Gorrieri, editors, Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures. Volume 2946 of Lecture Notes in Computer Science, pages 1-43, Springer, 2002. [doi]
No references recorded for this publication.
No citations of this publication recorded.