Protocols

Foundations for Cryptographic Reductions in CCSA Logics