Protocol composition logic とは

プロトコル合成論理は、対称鍵と公開鍵暗号を使用するプロトコルのセキュリティプロパティを証明するために使用される正式な方法です。 PCLは、乱数の生成、暗号化と復号化の実行、メッセージの送受信、およびデジタル署名の検証処理など、可能なプロトコル手順のアクションを含むプロセス計算を中心に設計されています。
論理に関するいくつかの問題は、現在主張されているいくつかの証明が論理内で証明できないことを暗示している。