机构

• 软件研究所 [3]

采集方式

• OAI收割 [3]

内容类型

• 会议论文 [3]

发表日期

• 2013 [2]
• 2011 [1]

学科主题

筛选

浏览/检索结果: 共3条，第1-3条 帮助 限定条件 专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序发表日期升序发表日期降序题名升序题名降序作者升序作者降序 A linear-time complexity algorithm for solving the dyck-cfl reachability problem on bi-directed trees 会议论文  OAI收割 5th International Conference on Machine Vision: Computer Vision, Image Analysis and Processing, ICMV 2012, Wuhan, China, October 20, 2012 - October 21, 2012 Sun, Xiaoshan (1); Zhang, Yang (2); Cheng, Liang (2)   |  收藏  |  浏览/下载：22/0  |  提交时间：2014/12/16 Heuristic path pruning algorithm based on error handling pattern recognition in detecting vulnerability 会议论文  OAI收割 2013 IEEE 37th Annual Computer Software and Applications Conference Workshops, COMPSACW 2013, Kyoto, Japan, July 22, 2013 - July 26, 2013 Chen, Dong (1); Zhang, Yang (1); Cheng, Liang (1); Deng, Yi (1); Sun, Xiaoshan (1)   |  收藏  |  浏览/下载：27/0  |  提交时间：2014/12/16 symbolic execution  path pruning  error handling  binary code  vulnerability detection   a covert timing channel via algorithmic complexity attacks: design and analysis 会议论文  OAI收割 2011 IEEE International Conference on Communications, ICC 2011, Kyoto, Japan, 5-Jun-20 Sun Xiaoshan; Cheng Liang; Zhang Yang   |  收藏  |  浏览/下载：15/0  |  提交时间：2011/10/10 Access control  Algorithms  Computational complexity  Design