手机知网 App
24小时专家级知识服务
打 开
电信技术
安全协议的设计与逻辑分析
随着网络应用的迅速发展,网络安全的问题日益重要.研究下述课题:安全协议的设计原则;安全协议设计中形式化方法的应用;各种形式化分析方法,特别是逻辑分析方法的特点.另外,还探讨了串空间模型在逻辑分析中的应用以及串空间模型指导安全协议形式化设计的可能性.
手机阅读本文
下载APP 手机查看本文
软件学报
2003年07期
相似文献
图书推荐
相关工具书

搜 索