Protocol insecurity with a finite number of sessions and a cost-sensitive guessing intruder is NP-complete

Gespeichert in:

Bibliographische Detailangaben

Zeitschriftentitel:	Theoretical Computer Science
Personen und Körperschaften:	Adão, Pedro, Mateus, Paulo, Viganò, Luca
In:	Theoretical Computer Science, 538, 2014, S. 2-15
Format:	E-Article
Sprache:	Englisch
veröffentlicht:	Elsevier BV
Schlagwörter:	General Computer Science Theoretical Computer Science