"Rule Formats for Non Interference."

Simone Tini (2003)
a service of Schloss Dagstuhl - Leibniz Center for Informatics