Protocol insecurity with finite number of sessions is NP-complete | IEEE Conference Publication | IEEE Xplore