DMCA

Two Formal Approaches for Approximating Noninterference Properties (2004)

by Alessandro Aldini , Ro Aldini , Alessandra Di Pierro , Mario Bravetti , Ra Di Pierro , Roberto Gorrieri , Chris Hankin , Herbert Wiklicky
Venue:Properties”, Foundations of Security Analysis and Design II
Citations:8 - 4 self