串空间方法分析协议公平性的研究

• 作者: 姚松涛 王涛 郭荷清
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 安全协议 公平性 串空间 形式化描述
• 年，卷（期）: 2004,（35）
• 所属期刊栏目: 博士论坛
• 页码范围: 17-21,52
• 页数: 6页
• 分类号: TP309
• 字数: 9115字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2004.35.007

摘要

探讨了将串空间模型应用于描述安全协议公平性的方法,并提出串空间模型描述公平协议的一些问题.分析了在描述公平协议时,串空间模型需要进行的几个扩展,包括:描述协议步骤在什么情况可以执行的扩展;描述协议执行过程中角色动态分配的扩展;描述协议步骤同步执行的扩展.应用扩展后的串空间模型对KM协议进行了形式化描述.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王涛	华南理工大学计算机科学与工程学院	32	258	7.0	15.0
2	郭荷清	华南理工大学计算机科学与工程学院	97	1247	18.0	32.0
3	姚松涛	华南理工大学计算机科学与工程学院	7	59	3.0	7.0