QQ客服 官方微博 反馈留言

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     已选(0)清除 条数/页：5101520253035404550556065707580859095100   排序方式：请选择作者升序作者降序题名升序题名降序发表日期升序发表日期降序提交时间升序提交时间降序 Denial-of-service security attack in the continuous-time world 会议论文 34th IFIPWG6.1 International Conference on Formal Techniques for Distributed Objects, Components, and Systems, FORTE 2014 - Held as Part of the 9th International Federated Conference on Distributed Computing Techniques, DisCoTec 2014, Berlin, Germany, June 3, 2014 - June 5, 2014 Wang, Shuling (1); Nielson, Flemming (2); Nielson, Hanne Riis (2) 收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 Hybrid systems  Denial-of-service  Safety verification  Inference system   一种基于攻击图的安全威胁识别和分析方法 期刊论文 计算机学报, 2012, 卷号: 35, 期号: 9, 页码: 1938-1950 吴迪; 连一峰; 陈恺; 刘玉岭 收藏  |  浏览/下载：10/0  |  提交时间：2013/09/17 攻击模型  网络攻击图  子攻击图  颜色Petri网  不确定性推理  D-S证据理论   study on strand space model theory 期刊论文 JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2003, 卷号: 18, 期号: 5, 页码: 553-570 Ji QG; Qing SH; Zhou YB; Feng DG 收藏  |  浏览/下载：11/0  |  提交时间：2011/07/29 constructing attack  formalizing method  network security protocol  generalized strand space model