手机知网 App
24小时专家级知识服务
打 开
电信技术
手机知网首页
文献检索
期刊
工具书
图书
我的知网
充值中心
安全协议的设计与逻辑分析
中国科学院信息安全技术工程研究中心 北京100080中国科学院软件研究所信息安全国家重点实验室,北京100080
|
卿斯汉
随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.
机 构:
中国科学院信息安全技术工程研究中心 北京100080中国科学院软件研究所信息安全国家重点实验室,北京100080;
领 域:
电信技术
；
关键词:
安全协议
；
设计
；
逻辑分析
；
BAN类逻辑
；
串空间
；
格 式:
PDF原版；EPUB自适应版
(需下载客户端)
224
1002
下载PDF版
手机阅读本文
下载APP 手机查看本文
软件学报
2003年07期
精选好书
查看更多好书
相似文献
期刊
硕士
博士
会议
报纸
参考文献
引证文献
共引文献
同被引文献
二级参考文献
二级引证文献
图书推荐
相关工具书
搜 索
下载PDF版
