HI，欢迎来到学术之家，发表咨询：400-888-7501  订阅咨询：400-888-7502  股权代码  102064
经营许可 杂志订阅 支付方式
首页 期刊 杂志 SCI 发表 出版社
0
首页 论文大全 安全性质论文 列表
期刊分类
不限
期刊收录
不限
出版地区
不限
对几类重要网络安全协议形式模型的分析第1071-1083页
关键词: 安全协议  形式模型  抽象体系  安全性质  形式系统  
2005年第07期 《计算机学报》
AKC攻击研究：攻击方式、转换算法和实例分析第18-26页
关键词: 安全协议  akc攻击  安全性质  协议转换  
2016年第10期 《计算机系统应用》
安全协议及其形式化分析研究第239-245页
关键词: 安全协议  安全性质  形式化方法  协议工程  
2006年第04期 《桂林电子科技大学学报》
信息安全等级的计算模型第109-112页
关键词: 信息安全  安全技术矩阵  风险威胁  安全性质  
2011年第01期 《海军工程大学学报》
用模型检验产生安全性质的测试第529-536页
关键词: 安全性质  模型检验  测试生成  危险迹  
2011年第05期 《应用科学学报》
植入式安全性质监控技术第60-62页
关键词: 安全性质  监控  对象约束语言  面向方面编程  
2008年第B09期 《计算机工程》
安全协议分析中参与者个数上确界的论证第79-84页
关键词: 安全协议  安全性质  逻辑程序  映射  
2009年第01期 《武汉大学学报·理学版》
期刊导航