408 citations · 2.9k across the 87 of their papers we have counts for
1 paper · 2 filters
Sebastian Eggert, Henning Schnoor, Thomas Wilke
We develop a theory for state-based noninterference in a setting where different security policies---we call them local policies---apply in different parts of a given system. Our t…