Haykal Tej (Dipl.-Inform.)Haykal Tej FB 3 - Informatik Universität Bremen Bremer Institut für Sichere Systeme Postfach 330440, FB 3 D-28334 Bremen Germany Room: MZH 8190 Phone: +49 421 218-21 00 Fax: +49 421 218-30 54 E-mail: ht@Informatik.Uni-Bremen.DE