= Protocol composition logic
{wiki=Protocol_composition_logic}
Protocol Composition Logic (PCL) is a formal framework used to reason about the security properties of cryptographic protocols, particularly in the context of how different protocols can be composed together. The fundamental idea behind PCL is to assess how the security of individual protocols interacts when they are used together, which is crucial in real-world applications where multiple protocols often run concurrently or in conjunction with each other.
Back to article page
