2 Einträge gefunden

1. Assumptions and guarantees for compositional noninterference

   1. Mantel, Heiko
   2. Sands, David
   3. Sudbrock, Henning

   2011 - TUHH Open Research
2. Controlled declassification based on intransitive noninterference

   1. Mantel, Heiko
   2. Sands, David

   2004 - TUHH Open Research