프로토콜 구성 논리

Protocol Composition Logic은 대칭키와 공개키 암호화를 사용하는 프로토콜의 보안 속성을 증명하기 위해 사용되는 공식 방법입니다.PCL은 랜덤 번호 생성, 암호화 및 복호화 수행, 메시지 송수신, 디지털 서명 검증 액션과 같은 가능한 프로토콜 단계에 대한 액션으로 프로세스 계산을 중심으로 설계되었습니다.

현재 주장되고 있는 일부 증거가 ^[1]논리 내에서 입증될 수 없다는 것을 암시하는 논리의 일부 문제가 발견되었다.