Backes, Michael ; Pfitzmann, Birgit ; Waidner, Michael (2005)
Justifying a Dolev-Yao Model under Active Attacks.
Conference or Workshop Item, Bibliographie
Item Type: | Conference or Workshop Item |
---|---|
Erschienen: | 2005 |
Creators: | Backes, Michael ; Pfitzmann, Birgit ; Waidner, Michael |
Type of entry: | Bibliographie |
Title: | Justifying a Dolev-Yao Model under Active Attacks |
Language: | German |
Date: | 2005 |
Publisher: | Springer-Verlag, Berlin |
Book Title: | Special Issue of International School of Foundations of Security Analysis and Design (FOSAD) |
Identification Number: | CE44 |
Divisions: | 20 Department of Computer Science > Security in Information Technology LOEWE > LOEWE-Zentren > CASED – Center for Advanced Security Research Darmstadt LOEWE > LOEWE-Zentren 20 Department of Computer Science LOEWE |
Date Deposited: | 31 Dec 2016 11:42 |
Last Modified: | 17 May 2018 13:02 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Send an inquiry |
Options (only for editors)
Show editorial Details |