【作者】 顾永跟； 傅育熙； 朱涵； 吕银华；

【机构】 上海交通大学计算机系； 贵州大学计算机系；

【摘要】 <正> 1 引言安全协议的设计与分析很容易出错,许多发表并使用了很长时间的协议最后被发现是有漏洞的。形式化方法已被证明是一种非常有效的重要手段。近二十年来,世界各国学者对安全协议的设计和分析进行了较为广泛和深入的研究,尤其是欧美的一些国家在这一关键领域投入了大量的研究经费和力量,国内对安全协议的形式化研究也引起了重视。进程演算作为一种描述并发计算的数学模型,更多还原

【Abstract】 Formal research for security protocols is becoming more and more important. It has been proved useful to analyze security protocols based on process algebra. This paper firstly introduces some basic knowledge about security protocols and process calculi, then discusses three main formal analysis methods based on process calculus. At last, it points out the future direction.更多还原