Witness-functions versus interpretation-functions for secrecy in cryptographic protocols: What to choose? | IEEE Conference Publication | IEEE Xplore