Logics for cryptographic protocols-virtues and limitations | IEEE Conference Publication | IEEE Xplore