TU Darmstadt / ULB / TUbiblio

Soundness limits of Dolev-Yao models

Backes, Michael ; Pfitzmann, Birgit ; Waidner, Michael (2006)
Soundness limits of Dolev-Yao models.
Report, Bibliographie

Item Type: Report
Erschienen: 2006
Creators: Backes, Michael ; Pfitzmann, Birgit ; Waidner, Michael
Type of entry: Bibliographie
Title: Soundness limits of Dolev-Yao models
Language: German
Date: 2006
Identification Number: R39
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 Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details