3 Einträge gefunden

1. Static confidentiality enforcement for distributed programs

   1. Sabelfeld, Andrei
   2. Mantel, Heiko

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

   1. Mantel, Heiko
   2. Sabelfeld, Andrei

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

   1. Mantel, Heiko
   2. Sabelfeld, Andrei

   2001 - TUHH Open Research