Project Details
| Status | Finished |
|---|---|
| Effective start/end date | 01/01/2002 → 12/07/2005 |
Funding
- EU-finansieret
Fingerprint
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.
Research output
- 1 Ph.D. thesis
-
Automated Analysis of Security in Networking Systems
Buchholtz, M., 2004, Kgs. Lyngby, Denmark: Informatics and Mathematical Modelling, Technical University of Denmark, DTU. 158 p. (IMM-PHD-2004-141).Research output: Book/Report › Ph.D. thesis
Open AccessFile317 Downloads (Orbit)