DMCA

Two Formal Approaches for Approximating Noninterference Properties (2004)

by Allesandro Aldini , Mario Bravetti , Alessandra Di Pierro , Roberto Gorrieri , Chris Hankin , Herbert Wiklicky
Venue:FOUNDATIONS OF SECURITY ANALYSIS AND DESIGN II
Citations:8 - 4 self