Computing Publications

Publications Home » Two formal approaches for approxi...

Two formal approaches for approximating noninterference properties

Alessandro Aldini, Mario Bravetti, Alessandra Di Pierro, Roberto Gorrieri, Chris Hankin, Herbert Wiklicky

Book Chapter
International school on foundations of security analysis and design, Bertinoro, ITALY, 2002
Volume 2946
Springer Verlag
ISBN 3-5402-0955-7
BibTEX file for the publication built & maintained by Ashok Argent-Katwala.