全文获取类型
| 收费全文 | 90篇 |
| 免费 | 12篇 |
| 国内免费 | 9篇 |
专业分类
| 电工技术 | 2篇 |
| 综合类 | 8篇 |
| 化学工业 | 9篇 |
| 机械仪表 | 7篇 |
| 建筑科学 | 1篇 |
| 能源动力 | 3篇 |
| 轻工业 | 1篇 |
| 石油天然气 | 5篇 |
| 武器工业 | 2篇 |
| 无线电 | 25篇 |
| 冶金工业 | 2篇 |
| 自动化技术 | 46篇 |
出版年
| 2022年 | 3篇 |
| 2021年 | 3篇 |
| 2020年 | 2篇 |
| 2019年 | 2篇 |
| 2015年 | 4篇 |
| 2014年 | 6篇 |
| 2013年 | 12篇 |
| 2012年 | 7篇 |
| 2011年 | 7篇 |
| 2010年 | 11篇 |
| 2009年 | 8篇 |
| 2008年 | 5篇 |
| 2007年 | 2篇 |
| 2006年 | 6篇 |
| 2005年 | 5篇 |
| 2004年 | 11篇 |
| 2002年 | 4篇 |
| 2001年 | 1篇 |
| 2000年 | 2篇 |
| 1999年 | 3篇 |
| 1998年 | 3篇 |
| 1997年 | 2篇 |
| 1974年 | 2篇 |
排序方式： 共有111条查询结果，搜索用时 0 毫秒
111.
基于抽象解释的代码迷惑有效性比较框架 总被引：8，自引：0，他引：8
代码迷惑是一种以增加理解难度为目的的程序变换技术,用来保护软件免遭逆向剖析.代码迷惑是否有效是代码迷惑研究中首要解决的问题.目前对有效性证明的研究大都是基于非语义的方式.文章将语义与有效性证明联系起来,建立了基于语义的代码迷惑有效性比较框架,该框架能够为迷惑算法在静态分析这样的限定环境下提供有效性证明,而且也能严格比较迷惑算法之间的有效性,最后使用实例描述比较框架如何应用到证明代码迷惑的有效性. 相似文献