DMCA

Assumptions and Guarantees for Compositional Noninterference

by Heiko Mantel , David S , Henning Sudbrock
Citations:13 - 6 self