Types and Effects for Non-Interfering Program Monitors (2002)

by Lujo Bauer , Jarred Ligatti , David Walker
Venue:SOFTWARE SECURITY—THEORIES AND SYSTEMS. MEXT-NSF-JSPS INTERNATIONAL SYMPOSIUM, ISSS 2002
Citations:13 - 7 self