Jump to content

Protocol composition logic

Add links
From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Yobot (talk | contribs) at 07:42, 24 August 2016 (clean up / fix section header naming (WP:ASL) using AWB). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

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.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Protocol_composition_logic&oldid=735965678"