A simple logic for authentication protocol design | IEEE Conference Publication | IEEE Xplore