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
2004
Volume 2946
pp.1–43
Springer Verlag
ISBN 3-5402-0955-7
BibTEX file for the publication
 

pubs.doc.ic.ac.uk: built & maintained by Ashok Argent-Katwala.