检索结果-维普期刊中文期刊服务平台

期刊文献⁺

任意字段

题名或关键词

题名

关键词

文摘

作者

第一作者

机构

刊名

分类号

参考文献

作者简介

基金资助

栏目信息

共找到1篇文章

< 1 >

每页显示 20 50 100

已选择0条

导出题录引用分析

统计分析

显示方式：

文摘详细列表

相关度排序被引量排序时效性排序

一种混合的安全协议形式化分析技术被引量：1: 1; 作者范红冯登国《中国科学院研究生院学报》 CAS CSCD 2002年第3期240-245,共6页; 分析了模型检测技术和逻辑推证技术的优点与不足,并在此基础上提出了一种混合的形式化分析技术的说明,该技术可提供更为完全的安全协议形式化分析.; 关键词模型检测逻辑推证混合分析技术安全协议形式化分析网络安全; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	一种混合的安全协议形式化分析技术	范红冯登国	《中国科学院研究生院学报》 CAS CSCD	2002	1	在线阅读下载PDF 职称材料

已选择0条

导出题录引用分析

统计分析