Two Formal Approaches for Approximating Noninterference Properties - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alessandro Aldini' in GoogleThis author has not been identified. Look up 'Mario Bravetti' in GoogleThis author has not been identified. Look up 'Alessandra Di Pierro' in GoogleThis author has not been identified. Look up 'Roberto Gorrieri' in GoogleThis author has not been identified. Look up 'Chris Hankin' in GoogleThis author has not been identified. Look up 'Herbert Wiklicky' in Google

runs on WebDSL