Autor/in Mantel, Heiko Hutter, Dieter 1 Kraußer, Tina 1 Schaefer, Ina 1 Schairer, Axel 1 Sudbrock, Henning 1 alle zeigenListe einklappen
Combining different proof techniques for verifying information flow security Mantel, Heiko Sudbrock, Henning Kraußer, Tina 2006 - TUHH Open Research
Security of multi-agent systems: A case study on comparison shopping Hutter, Dieter Mantel, Heiko Schaefer, Ina Schairer, Axel 2006 - TUHH Open Research