A computational analysis of the Needham-Schroeder-(Lowe) protocol | IEEE Conference Publication | IEEE Xplore