An Algebraic Characterization of Security of Cryptographic Protocols

Manas K Patra, Yan Zhang

Several of the basic cryptographic constructs have associated algebraic structures. Formal models proposed by Dolev and Yao to study the (unconditional) security of public key prot…