An Algebraic Characterization of Security of Cryptographic Protocols

Re-assign community