Timed protocols insecurity problem is NP-complete | IEEE Conference Publication | IEEE Xplore