[1]董军 杨秀娟 赵艳芹.基于串空间模型安全协议形式化分析方法的研究[J].计算机技术与发展,2008,(04):151-154.
　DONG Jun,YANG Xiu-juan,ZHAO Yan-qin.Research on Formalisms Analysis Method Based on Strand Space Model Security Protocol[J].,2008,(04):151-154.
点击复制

基于串空间模型安全协议形式化分析方法的研究()
分享到：

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:
期数:
2008年04期
页码:
151-154
栏目:
安全与防范
出版日期:
1900-01-01

文章信息/Info

Title:
Research on Formalisms Analysis Method Based on Strand Space Model Security Protocol
文章编号:
1673-629X（2008）04-0151-04
作者:
董军 杨秀娟 赵艳芹
黑龙江科技学院计算机与信息工程学院
Author(s):
DONG Jun;  YANG Xiu-juan;  ZHAO Yan-qin
Department of Computer ＆ Information Engineefing,Heilongjiang Institute of Science and Technology
关键词:
串空间; 安全协议; 认证测试
Keywords:
strand space; security protocol;  authentication test
分类号:
TP309
文献标志码:
A
摘要:
从串空间模型理论人手，提出了三种典型的串空间形式化方法（基于极小元理论的串空间方法、基于理想与诚实理论的串空间方法、基于认证测试理论的串空间方法），并对每一种方法的证明步骤及优缺点进行了分析。在此基础上，应用提出的串空间方法对Yahalom协议的秘密性和认证性进行了分析。分析结果表明利用不同方法的优点，能更好地保证安全协议形式化分析的准确性
Abstract:
Starting with the theory of strand space model,presents three typical formalisms based on strand space model ,including the strand space method based on the minimal theory, the strand space method based on the honest ideal theory and the strand space meth

相似文献/References:

[1]王燕飞 金瓯 贺建飚.嵌入式系统的安全技术研究[J].计算机技术与发展,2008,(08):152.
　WANG Yan-fei,JIN Ou,HE Jian-biao.Study of Technology of Security in Embedded System[J].,2008,(04):152.
[2]周星,刘军,董春冻,等.基于身份的卫星网络密钥管理方案[J].计算机技术与发展,2013,(11):148.
　ZHOU Xing[],LIU Jun[],DONG Chun-dong[],et al.A Scheme of Identity-based Satellite Network Key Management[J].,2013,(04):148.
[3]魏浩,解争龙,弋改珍.基于串空间理论的Kerberos协议分析[J].计算机技术与发展,2013,(12):109.
　WEI Hao,XIE Zheng-long,YI Gai-zhen.Analysis of Kerberos Protocol Based on Strand Space Theory[J].,2013,(04):109.
[4]陈艺琳,罗娇燕,胡逸芳,等.一种适用于园区微电网的安全控制协议[J].计算机技术与发展,2022,32(03):120.[doi:10. 3969 / j. issn. 1673-629X. 2022. 03. 020]
　CHEN Yi-lin,LUO Jiao-yan,HU Yi-fang,et al.A Security Control Protocol for Microgrid in Park[J].,2022,32(04):120.[doi:10. 3969 / j. issn. 1673-629X. 2022. 03. 020]

备注/Memo

备注/Memo:
黑龙江省自然科学基金（CF2005-05）董军（1976-），男，黑龙江肇东人，讲师，硕士，研究领域为计算机网络与信息安全
更新日期/Last Update: 1900-01-01