Partial-Order Method for the Verification of Security Protocols

摘要：

At present, the partial-order reduction algorithms used for the verification of security protocols are complicated, and uneasy to carry out, resulting in a limited scope of applicability. To solve the above problem, this paper proposes a reversal order reduction algorithm on the base of partial-order reduction. This algorithms has a clear structure and easy to implement Experiments clearly implies that the reduction method we adopted is effective.

关键词： model checking partial-order reduction reversal order

作者: Yanan Ma Nan Liu Yuefei Zhu Bin Wen

作者单位: Zhengzhou Information Science and Technology Institute P.O.Box 1001-774, Zhengzhou, Henan 450002, China

会议类型: 国际会议

会议名称: 2011 International Conference on Communication and Electronics Information(ICCEI 2011)(2011年通信和电子信息国际会议)

会议地点: 海口

会议语种:英文

页码: 73-75

在线出版日期: 2011-02-22（万方平台首次上网日期，不代表论文的发表时间）