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]
@inproceedings{AldiniBPGHW02,
title = {Two Formal Approaches for Approximating Noninterference Properties},
author = {Alessandro Aldini and Mario Bravetti and Alessandra Di Pierro and Roberto Gorrieri and Chris Hankin and Herbert Wiklicky},
year = {2002},
url = {http://springerlink.metapress.com/openurl.asp?genre=article&issn=0302-9743&volume=2946&spage=1},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/AldiniBPGHW02},
cites = {0},
citedby = {0},
pages = {1-43},
booktitle = {Foundations of Security Analysis and Design II, FOSAD 2001/2002 Tutorial Lectures},
editor = {Riccardo Focardi and Roberto Gorrieri},
volume = {2946},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-20955-7},
}