Protocol Derivation System for the Needham-Schroeder family | IEEE Conference Publication | IEEE Xplore