Sign in

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

Pedro AdãoPaulo MateusLuca Viganò
Published in: Theor. Comput. Sci. (2014)
Keyphrases