Protocol composition logic
 | This article has multiple issues. Please help improve it or discuss these issues on the talk page. (Learn how and when to remove these messages)
No issues specified. Please specify issues, or remove this template. |
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.
 | This article has not been added to any content categories. Please help out by adding categories to it so that it can be listed with similar articles. (October 2009) |