安全协议的形式化方法概述
刘霞1
陈勇2
1.桂林电子工业学院计算机系,桂林,5410042.重庆大学自动化学院,重庆,400044
摘要：介绍了安全协议的形式化分析思路,阐述了安全协议形式化描述、需求、验证及设计四个方面的研究状况和它们的基本原理,并对常用的几种形式化验证技术的优缺点进行了分析,最后针对形式化技术在该领域的发展前景提出了自己的见解.
关键词：安全协议形式化
分类号：TP393.08(计算技术、计算机技术)
论文发表日期：2005-01-01
在线出版日期：2025-08-15（本平台首次上网日期，不代表文献的发表时间）
页数：5( 39-43 )
英文信息