@ARTICLE {8959,
author={P. Adão and P. Mateus and L. Viganò},
doi={10.1016/j.tcs.2013.09.015},
journal={Theoretical Computer Science},
title={Protocol Insecurity with a Finite Number of Sessions and a Cost-Sensitive Guessing Intruder is NP-Complete.},
year={2014},
month={June},
volume={538},
number={1},
pages={2-15},
ISSN={0304-3975}
}