Eintrag weiter verarbeiten
Constraint differentiation: Search-space reduction for the constraint-based analysis of security protocols
Gespeichert in:
Zeitschriftentitel: | Journal of Computer Security |
---|---|
Personen und Körperschaften: | , , |
In: | Journal of Computer Security, 18, 2010, 4, S. 575-618 |
Format: | E-Article |
Sprache: | Unbestimmt |
veröffentlicht: |
IOS Press
|
Schlagwörter: |