1 Einträge gefunden

1. Combining different proof techniques for verifying information flow security

   1. Mantel, Heiko
   2. Sudbrock, Henning
   3. Kraußer, Tina

   2006 - TUHH Open Research