Jump to content

Protocol composition logic

From Wikipedia, the free encyclopedia
This is an old revision of this page, as edited by Fabrictramp (talk | contribs) at 23:01, 16 October 2009 (Added {{article issues}} with parameters deadend, expand and unreferenced {{uncategorized}} tag to article. using Friendly). 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.