###
DOI:
Journal of Software:2007.18(7):1746-1755

一种改进的密码协议形式化模型
张畅,王亚弟,韩继红,郭渊博
(解放军信息工程大学,电子技术学院,河南,郑州,450004)
An Improved Formal Model of Cryptographic Protocol
ZHANG Chang,WANG Ya-Di,HAN Ji-Hong,GUO Yuan-Bo
()
Abstract
Chart / table
Reference
Similar Articles
Article :Browse 2976   Download 3299
Received:December 20, 2005    Revised:April 27, 2006
> 中文摘要: 多重集重写MSR(multiset rewriting)模型是一种基于多重集重写的协议形式化建模方法.从目前的研究成果来看,该模型并不完善.针对其攻击者模型验证协议存在的不足,对MSR模型进行了改进,并给出了基于MSR模型的秘密性和认证性描述.实践表明,对模型的改进进一步完善了原模型.
中文关键词: 密码协议  秘密性  认证性  形式化验证
Abstract:MSR (multiset rewriting) model is a technique of protocol modeling based on multiset rewriting. According to the results of the current study, this model is not perfect. Since the intruder model of MSR model is not suitable for the verification of the protocol, it was improved. Using this model, the secrecy and authentication of the cryptographic protocols are described. The practice proves the improvement of the former model.
文章编号:     中图分类号:    文献标志码:
基金项目:Supported by the National Natural Science Foundation of China under Grant Nos.60503012, 90104005, 90204012 (国家自然科学基金) Supported by the National Natural Science Foundation of China under Grant Nos.60503012, 90104005, 90204012 (国家自然科学基金)
Foundation items:
Reference text:

张畅,王亚弟,韩继红,郭渊博.一种改进的密码协议形式化模型.软件学报,2007,18(7):1746-1755

ZHANG Chang,WANG Ya-Di,HAN Ji-Hong,GUO Yuan-Bo.An Improved Formal Model of Cryptographic Protocol.Journal of Software,2007,18(7):1746-1755