Interpretation of Formal Proof for Cryptographic Protocols into Computational Model

Cryptography is the spinal cord for all security measures involved in computing field so a lot of emphasis is required to be given to make it strong enough to deal all the transition of the security industry. The authors present a general method to prove security properties of multiple cryptographic protocols in an execution model where clients exchange messages using multiple protocols against active adversaries. The method discussed here allows to interpret the logical formal proofs of cryptographic systems into their computational equivalent.

Provided by: International Journal of Computer Technology and Applications Topic: Security Date Added: Mar 2012 Format: PDF

Find By Topic