lógica de composición de protocolos

La lógica de composición de protocolos (PCL ) es un método formal que se puede utilizar para probar las propiedades de seguridad de los protocolos criptográficos que utilizan criptografía de clave simétrica y de clave pública . PCL está diseñado en torno a un cálculo de procesos con acciones para varios pasos posibles del protocolo (por ejemplo, generar números aleatorios, realizar operaciones de cifrado, descifrado y firma digital , así como enviar y recibir mensajes). ^{[ 1 ]}

Se han encontrado algunos problemas con la lógica, lo que implica que algunos resultados actualmente afirmados no pueden probarse dentro de la lógica. ^{[ 2 ]}