Constraint differentiation: A new reduction technique for constraint-based analysis of security protocols

Download
Text (PDF, 273.1Kb)
Thumbnail
Open access
Author
Basin, Davidcc
Mödersheim, Sebastian
Viganò, Luca
Date
2003
Type
    Report
Rights / license
In Copyright - Non-Commercial Use Permitted
Permanent link
https://doi.org/10.3929/ethz-a-006666073
Publication status
published
Journal / series
Technical Report / ETH Zurich, Department of Computer Science
Volume
405
Publisher
ETH, Eidgenössische Technische Hochschule Zürich, Information Security Group
Subject
VERIFICATION (SOFTWARE ENGINEERING); DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS); NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS); NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); VERIFIKATION (SOFTWARE ENGINEERING); DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)
Organisational unit
02150 - Dep. Informatik / Dep. of Computer Science
Notes
Technical Reports D-INFK.
More
Show all metadata
ETH Bibliography
yes
Altmetrics