Witness-Functions versus Interpretation-Functions for Secrecy in Cryptographic Protocols: What to Choose?

Published in: CoRR (2017)

Keyphrases