12 citations · 21 across the 8 of their papers we have counts for
1 paper · 1 filter
Andrea Esposito, Alessandro Aldini, Marco Bernardo
The theory of noninterference supports the analysis of secure computations in multi-level security systems. Classical equivalence-based approaches to noninterference mainly rely on…