Eintrag weiter verarbeiten
Verfügbar über Online-Ressource

Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols

Gespeichert in:

Bibliographische Detailangaben
Zeitschriftentitel: Journal of Computer Security
Personen und Körperschaften: Mödersheim, Sebastian, Viganò, Luca, Basin, David
In: Journal of Computer Security, 18, 2010, 4, S. 575-618
Format: E-Article
Sprache: Unbestimmt
veröffentlicht:
IOS Press
Schlagwörter: