4 Einträge gefunden

1. A generic approach to the security of multi-threaded programs

   1. Mantel, Heiko
   2. Sabelfeld, Andrei

   2001 - TUHH Open Research
2. Information flow control and applications - Bridging a gap

   1. Mantel, Heiko

   2001 - TUHH Open Research
3. A unifying approach to the security of distributed and multi-threaded programs

   1. Mantel, Heiko
   2. Sabelfeld, Andrei

   2001 - TUHH Open Research
4. Preserving information flow properties under refinement

   1. Mantel, Heiko

   2001 - TUHH Open Research