Constraint differentiation
A new reduction technique for constraint-based analysis of security protocols
Persistenter Link
https://doi.org/10.3929/ethz-a-006666073Publikationsstatus
publishedZeitschrift / Serie
Technical report / [ETH, Department of Computer Science]Band
Verlag
ETH, Eidgenössische Technische Hochschule Zürich, Information Security GroupThema
VERIFICATION (SOFTWARE ENGINEERING); DATA SECURITY + DATA PROTECTION (OPERATING SYSTEMS); NETWORK PROTOCOLS + COMMUNICATION PROTOCOLS (COMPUTER SYSTEMS); NETZWERKPROTOKOLLE + KOMMUNIKATIONSPROTOKOLLE (COMPUTERSYSTEME); VERIFIKATION (SOFTWARE ENGINEERING); DATENSICHERHEIT + DATENSCHUTZ (BETRIEBSSYSTEME)Organisationseinheit
02150 - Dep. Informatik / Dep. of Computer Science
Anmerkungen
Technical Reports D-INFK.ETH Bibliographie
yes
Altmetrics