Security protocol design via authentication tests | IEEE Conference Publication | IEEE Xplore