关于协议组合逻辑 PCL
密码学与安全
2008-02-22 v7 计算机科学中的逻辑
摘要
形式化安全协议分析近期的一项进展是协议组合逻辑（Protocol Composition Logic, PCL）。我们指出了该逻辑及其扩展版本（定义见 [DDMP05,HSD+05,He05,Dat05,Der06,DDMR07]）中存在的一些问题。所识别的问题对 PCL 的适用范围构成了严格限制，并表明某些当前声称的 PCL 证明无法在该逻辑内得到证明，或者使用了不可靠的公理。在可能的情况下，我们针对这些问题提出了解决方案。
引用
@article{arxiv.0709.1080,
title = {On the Protocol Composition Logic PCL},
author = {Cas Cremers},
journal= {arXiv preprint arXiv:0709.1080},
year = {2008}
}