×

网络协议安全分析的概率互模拟和等价性。 (英语) Zbl 1126.68510号

Walukiewicz,Igor(编辑),软件科学和计算结构基础。2004年3月29日至4月2日在西班牙巴塞罗那举行的第七届国际会议FOSSACS 2004,是欧洲软件理论与实践联合会议ETAPS 2004的一部分。议事程序。柏林:施普林格出版社(ISBN 3-540-21298-1/pbk)。计算机科学课堂讲稿2987468-483(2004)。
摘要:使用一种概率多项式时间过程演算,该演算旨在将安全属性指定为观测等价物,我们开发了一种相互模拟形式,证明了等式证明系统的合理性。该证明系统足够强大,可以从Decision Diffie-Hellman(DDH)假设导出El-Gamal加密的语义安全性。证明系统也可以导出相反的结果:如果El Gamal是安全的,那么DDH成立。虽然这些并不是新的密码结果,但这些示例证明表明了概率互模拟和等式推理在协议安全方面的威力。
关于整个系列,请参见[兹比尔1048.68010].

MSC公司:

68问题85 并发和分布式计算的模型和方法(进程代数、互模拟、转换网等)
68个M12 网络协议
94A62型 身份验证、数字签名和秘密共享

软件:

分析
PDF格式BibTeX公司 XML格式引用
全文: 内政部