协议组合逻辑系统研究

• 作者: 常青美 王惠斌 祝跃飞
• 来源期刊: 郑州大学学报（理学版）
• 学科: 工学
• 关键词: 协议组合逻辑 安全属性 形式化分析
• 年，卷（期）: 2008,（4）
• 页码范围: 56-59
• 页数: 4页
• 分类号: TP309
• 字数: 3018字
• 语种: 中文

摘要

介绍了PCL协议组合逻辑系统的语法、语义和证明系统,并与其他分析方法进行了比较.详述了PCL证明顺序组合安全协议的认证性和私密性等安全属性的方法步骤.该逻辑系统具有Paulson归纳法的相同安全证明等级,义具有BAN逻辑的易读性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	祝跃飞	信息工程大学信息工程学院	80	379	10.0	14.0
2	王惠斌	信息工程大学信息工程学院	3	9	2.0	3.0
3	常青美	信息工程大学信息工程学院	8	59	4.0	7.0