位置：成果数据库 > 期刊 > 期刊详情页
Common program analysis of two-party security protocols using SMV
  • 时间：0
  • 相关项目：网络可生存性研究
同期刊论文项目
网络可生存性研究
期刊论文 36 会议论文 9
同项目期刊论文
P2P声誉系统中GoodRep攻击及其防御机制
网络可生存性定义研究
搜索引擎的一种可生存改造方案
跨域基于口令认证的密钥交换协议的安全模型
TFTP vulnerability finding technique based on fuzzing
Secure AODV Routing Protocol Using SL Multi-signcryption
基于模糊推理的网络可生存性的建模与分析
判断集合包含关系的安全计算协议
即时通实时监控系统的设计与实现
基于网络可生存性的网站保护系统
A new provably secure authentication and key agreement mechanism for SIP using certificateless publ
可生存性及紧急算法分析
A Dynamic Quantitative Analysis Model for Network Survivability
一种可生存性通用突变算法模式及其模拟框架
一种自适应的可生存系统模型
可生存性及紧急算法特征分析
源码审核技术中的词法分析
结构化比对算法研究及软件实现
一种改进的网络可生存需求分析方法
一个具有强安全性的多接收者签密方案
P2P网络的认证方法研究
简易在线证书状态协议研究
辫群的结点矩阵表示法
访问控制框架及其在Linux中的应用研究
可生存性控制系统的有限状态机的设计
事务级数据库入侵检测系统的设计
NESSUS基本原理及其关键技术分析
美国安全漏洞发布机制研究
公平交换协议设计原则
无线传感器网络EMSR协议的安全性分析
构造移动P2P环境下的分布式信任模型
P2P网络信任管理研究综述