Protocol composition logic
Background
Protocol Composition Logic is a formal method that is used for proving security properties of protocols that use symmetric key and Public key cryptography. PCL is designed around a process calculi with actions for possible protocol steps like generating some random number, perform encryption and decryption, send and receive messages and digital signature verification actions.
External Links
This article is issued from Wikipedia - version of the Monday, November 17, 2014. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.