密码协议主体角色进程表示

• 作者: 张佑生 王焕宝
• 来源期刊: 微电子学与计算机
• 关键词: 密码协议 主体角色进程 串空间图 形式化建模
• 年，卷（期）: 2007,（4）
• 页码范围: 21-24
• 页数: 4页
• 分类号: TP3
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2007.04.007

摘要

密码协议分析与设计的基础是对其进行形式化建模.将主体角色发送和接收消息的行为分别表示为相应的主体角色发送进程和接收进程,定义前缀(串行)和并发运算为主体角色进程演进的算子,并进一步将主体角色进程演进的状态系统描述为密码协议的串空间图.它为密码协议安全属性的验证提供了一个形式化模型.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张佑生	合肥工业大学计算机与信息学院	135	1269	19.0	29.0
2	王焕宝	安徽建筑工业学院数理系	19	48	4.0	6.0