QQ客服 官方微博 反馈留言

浏览/检索结果: 共6条，第1-6条 帮助 已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 基于HCPN模型检测方法的DNP3-SA协议形式化安全评估与改进 学位论文 2018 作者:  鲁晔 收藏  |  浏览/下载：12/0  |  提交时间：2020/11/05 ICS  DNP3-SA  CPN  形式化建模  安全评估  安全改进   基于抽象解释的不变式验证 会议论文 第八届信息安全漏洞分析与风险评估大会论文集中国信息安全测评中心, 北京, 2015-10-23 作者:  张;  钱俊彦;  李舟军;  马殿富 收藏  |  浏览/下载：1/0  |  提交时间：2019/12/30 抽象解释 不动点 不变式验证 可达性 模拟   基于随机实验的蠕虫传播预测研究 期刊论文 2010, 2010 刘烃; 郑庆华; 管晓宏; 屈宇; 王娜; LIU Ting; ZHENG Qin-hua; GUAN Xiao-hong; QU Yu; WANG Na 收藏  |  浏览/下载：4/0 基于ActiveX漏洞模拟机制的网页木马检测方法 其他 2010-01-01 郑聪; 诸葛建伟 收藏  |  浏览/下载：1/0  |  提交时间：2015/11/10 计算机网络安全  网页木马  ActiveX漏洞  漏洞模拟   非接触式IC卡门锁监测技术研究 学位论文 : 兰州理工大学, 2009 作者:  杨维满 收藏  |  浏览/下载：22/0  |  提交时间：2020/11/05 ID卡  IC卡  非接触式  卡控门锁  数据监听  门锁监测   分布式系统形式化建模技术研究 学位论文 博士, 中国科学院软件研究所: 中国科学院软件研究所, 2003 郑红 收藏  |  浏览/下载：14/0  |  提交时间：2011/03/17 分布式系统  CORBA规范