具有计算可靠性的符号模型

• 作者: 张超 朱玉娜 王亚弟 范钰丹 赵娟 韩继红
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 符号模型 计算模型 计算可靠性
• 年，卷（期）: 2009,（13）
• 所属期刊栏目: 安全技术
• 页码范围: 144-146
• 页数: 3页
• 分类号: TP309
• 字数: 4888字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2009.13.050

摘要

MW方法仅考虑使用公钥加密原语,不包含[{m}k}k类型消息的双方协议.针对该问题,使用公钥加密和对称加密,建立扩展标记符号模型与扩展计算模型,论证扩展标记符号模型的计算可靠性,实现对MW方法的扩展.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王亚弟	解放军信息工程大学电子技术学院	68	257	9.0	11.0
2	韩继红	解放军信息工程大学电子技术学院	59	243	9.0	11.0
3	张超	解放军信息工程大学电子技术学院	16	63	4.0	7.0
4	朱玉娜	解放军信息工程大学电子技术学院	9	17	2.0	3.0
5	赵娟	解放军信息工程大学电子技术学院	2	2	1.0	1.0
6	范钰丹	解放军信息工程大学电子技术学院	12	24	2.0	4.0