安全协议及其形式化分析研究

• 作者: 古天龙 常亮
• 来源期刊: 桂林电子工业学院学报
• 学科: 工学
• 关键词: 安全协议 安全性质 形式化方法 协议工程
• 年，卷（期）: 2006,（4）
• 所属期刊栏目: 学术论文
• 页码范围: 239-245
• 页数: 7页
• 分类号: TP309
• 字数: 9299字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2006.04.001

摘要

安全协议是网络安全的重要基础,形式化分析是保证安全协议具备相应安全性质的有效途径.通过对安全协议进行分类,阐述了各类协议所应具备的安全性质;并基于安全协议进行形式化分析时所作的各种假设,综述和分析了三类典型的安全协议形式化方法,给出了安全协议形式化分析研究的发展趋势.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机系	207	1546	18.0	30.0
2	常亮	桂林电子科技大学计算机系	77	450	12.0	17.0