首页> 中文期刊> 《网络安全技术与应用》 >安全协议的形式化验证技术与方法

安全协议的形式化验证技术与方法

开具论文收录证明 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文从安全协议形式化验证方法所应用的技术手段、技术特点入手,对安全协议的形式化验证方法进行了总结和分类.并对安全协议形式化验证若干热点研究方向进行了归纳和展望.

著录项

来源
《网络安全技术与应用》 |2007年第11期|16-17|共2页
作者
董军; 杨秀娟; 赵艳芹;
展开▼
作者单位

黑龙江科技学院计算机与信息工程学院;

黑龙江;

150027;

黑龙江科技学院计算机与信息工程学院;

黑龙江;

150027;

黑龙江科技学院计算机与信息工程学院;

黑龙江;

150027;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
安全协议; 形式化分析; 安全目标;

相似文献

中文文献
外文文献
专利

1. 基于强化学习的安全协议形式化验证优化研究 [J] . 杨锦翔 ,熊焰 ,黄文超 . 计算机工程 . 2021,第012期
2. STP安全通信协议设计与形式化验证 [J] . LI Kun ,ZHANG Xuesong . 计算机工程 . 2018,第012期
3. 基于模型检测的无线体域网安全协议形式化验证 [J] . 陈铁明 ,虞震波 ,王婷 . 浙江工业大学学报 . 2015,第005期
4. 基于Spin的安全协议形式化验证技术 [J] . 冉俊轶 ,吴尽昭 . 计算机应用 . 2014,第0z2期
5. 一种基于SPIN的安全协议形式化验证方法 [J] . 刘虹 . 电子技术与软件工程 . 2013,第016期
6. 基于Spin的安全协议形式化验证技术 [C] . RAN Junyi ,冉俊轶 ,WU Jinzhao . 2014年全国开放式分布与并行计算学术年会 . 2014
7. 基于知识理论的安全协议形式化验证方法的应用——验证对称密钥交换协议 [A] . 罗方跃 . 2006

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号