不可否认协议分析的增广CSP方法

摘要：

提出一种适用于不可否认协议分析的增广CSP(communicating sequential processes)方法.检验有效性时使用它分析了Zhou等人于1996年提出的公平不可否认协议及其变体的安全性.结果表明该方法不仅能分析一些其他方法无法描述的协议性质,而且还发现了该协议的一个许多其他方法不能发现的已知缺陷;同时还证明协议变体增强了安全性.最后从语义和理论依赖2个角度讨论了方法正确性,并给出与其他方法相比所具备的优势.

关键词：不可否认、增广CSP方法、公平性、时限性、形式化方法

所属期刊栏目：29

分类号：TP393(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目90604004,60703115;江苏省自然科学基金资助项目BK2007708,BK2008030;江苏省"网络与信息安全"重点实验室基金资助项目BM2003201;科技部国际科技合作项目

在线出版日期：2009-01-05（万方平台首次上网日期，不代表论文的发表时间）

页数：共11页

页码：8-18