Non-interference proof techniques for the analysis of cryptographic protocols.

Published in: J. Comput. Secur. (2005)

Keyphrases