| 2004 |
|---|
| 6 | EE | Paul A. Karger,
Helmut Kurth:
Increased Information Flow Needs for High-Assurance Composite Evaluations.
IWIA 2004: 129-140 |
| 5 | EE | Kittur S. Shankar,
Helmut Kurth:
Certifying Open Source-The Linux Experience.
IEEE Security & Privacy 2(6): 28-33 (2004) |
| 1996 |
|---|
| 4 | | Elisa Bertino,
Helmut Kurth,
Giancarlo Martella,
Emilio Montolivo:
Computer Security - ESORICS 96, 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996, Proceedings
Springer 1996 |
| 3 | EE | Stefano Zatti,
Refik Molva,
Angelo Tosi,
Gene Tsudik,
Helmut Kurth:
Limitations of the Approach of Solving a Network's Security Problem with a Firewall.
ESORICS 1996: 144-145 |
| 2 | | Richard G. Wilsher,
Helmut Kurth:
Security assurance in information systems.
SEC 1996: 74-87 |
| 1991 |
|---|
| 1 | | Helmut Kurth:
Formale Spezifikation und Verifikation - Ein Überblick.
VIS 1991: 45-66 |
