机构

• 软件研究所 [14]

采集方式

• OAI收割 [14]

内容类型

• 期刊论文 [14]

发表日期

• 2016 [2]
• 2015 [1]
• 2014 [1]
• 2013 [2]
• 2012 [2]
• 2011 [1]
• 更多

学科主题

• Computer S... [2]
• Artificial... [1]
• Automation... [1]
• Computer S... [1]
• Interdisci... [1]

筛选

浏览/检索结果: 共14条，第1-10条 帮助 限定条件 内容类型：期刊论文    专题：软件研究所    第一署名单位    第一作者单位    通讯作者单位     条数/页： 5101520253035404550556065707580859095100 排序方式： 请选择提交时间升序提交时间降序题名升序题名降序作者升序作者降序发表日期升序发表日期降序 Random table and hash coding-based binary code obfuscation against stack trace analysis 期刊论文  OAI收割 IET INFORMATION SECURITY, 2016, 卷号: 10, 期号: 1, 页码: 18-27 作者:  Xie, X;  Lu, B;  Gong, DF;  Luo, XY;  Liu, FL   |  收藏  |  浏览/下载：29/0  |  提交时间：2016/12/13 program diagnostics  reverse engineering  cryptography  hash coding-based binary code obfuscation method  stack trace analysis  random table  thwart reverse engineering  call chains  stack tracing  reverse program analysis  ret instructions  call instructions   Multiphase until formulas over Markov reward models: An algebraic approach 期刊论文  OAI收割 THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 611, 页码: 116-135 Xu, M; Zhang, LJ; Jansen, DN; Zhu, HB; Yang, ZY   |  收藏  |  浏览/下载：12/0  |  提交时间：2016/12/13 Probabilistic model checking  Markov reward model  Continuous stochastic logic  Cylindrical algebraic decomposition  Transcendental number   Transient Reward Approximation for Continuous-Time Markov Chains 期刊论文  OAI收割 IEEE TRANSACTIONS ON RELIABILITY, 2015, 卷号: 64, 期号: 4, 页码: 1254-1275 Hahn, EM; Hermanns, H; Wimmer, R; Becker, B   |  收藏  |  浏览/下载：20/0  |  提交时间：2016/12/13 Continuous-time Markov chains  continuous-time Markov decision processes  abstraction  symbolic methods  ordered binary decision diagrams   压缩图像码流的分组丢失顽健可伸缩认证算法 期刊论文  OAI收割 通信学报, 2014, 卷号: 35, 期号: 4, 页码: 174-181 易小伟; 马恒太; 郑刚; 郑昌文   |  收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16 图像认证  顽健性  图像编码  流认证  端到端质量   model checking conditional csl for continuous-time markov chains 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50 Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun   |  收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17 Automata theory  Formal methods  Stochastic systems   A tighter bound for the self-stabilization time in Herman's algorithm 期刊论文  OAI收割 Information Processing Letters, 2013, 卷号: 113, 期号: 13, 页码: 486-488 Feng, Yuan (1); Zhang, Lijun (2)   |  收藏  |  浏览/下载：11/0  |  提交时间：2014/12/16 Formal methods  Self-stabilization algorithm  Herman's algorithm  Markov chains   双向安全的群签名方案 期刊论文  OAI收割 Journal of Beijing University of Technology, 2012, 卷号: 38, 期号: 5, 页码: 736-739 周由胜; 辛阳; 卿斯汉; 杨义先   |  收藏  |  浏览/下载：20/0  |  提交时间：2012/11/12 cryptography  group signature  forward-secure  backward-secure   a general noise-reduction framework for fault localization of java programs 期刊论文  OAI收割 Information and Software Technology, 2012, 页码: - Xu Jian; Zhang Zhenyu; Chan W.K.; Tse T.H.; Li Shanping   |  收藏  |  浏览/下载：7/0  |  提交时间：2012/11/12 可信计算技术研究 期刊论文  OAI收割 计算机研究与发展, 2011, 卷号: 48, 期号: 8, 页码: 1332-1349 冯登国; 秦宇; 汪丹; 初晓博   |  收藏  |  浏览/下载：13/0  |  提交时间：2011/10/10 可信计算  可信平台模块  可信密码模块  信任链  远程证明  可信计算测评Automatic test pattern generation  Industry  Network security  Research  Societies and institutions  Specifications   基于马尔可夫链的轨迹预测 期刊论文  OAI收割 计算机科学, 2010, 卷号: 37, 期号: 8, 页码: 189-193 彭曲; 丁治明; 郭黎敏   |  收藏  |  浏览/下载：11/0  |  提交时间：2011/05/23 移动对象  交通网络  轨迹预测  马尔可夫链Moving objects  Traffic networks  Trajectory prediction  Markov chains