Defeating constraint based program analysis with temporal correlation function

来源 :高技术通讯：英文版 | 被引量 : 0次 | 上传用户：cshan225500

【摘要】

：

Constraint based program analysis is widely used in program validation,program vulnerability analysis,etc.This paper proposes a temporal correlation function to

【作者】

：

安靖 Fan Wenqing Yang Yixian

【机构】

：

InformationSecurityCenter,CollegeofSoftwareEngineering

【出处】

：

高技术通讯：英文版

【发表日期】

：

2013年3期

【关键词】

：

【基金项目】

：

Supported by the National Natural Science Foundation of China （No. 61121061 ） and National Key Technology R＆D Program （No.2012BAH38B02, 2012BAH06B00）.

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

Constraint based program analysis is widely used in program validation,program vulnerability analysis,etc.This paper proposes a temporal correlation function to protect programs from analysis.The temporal correlation function can be applied to resist agai

其他文献

深圳传统建筑概说(摘要)

<正>一、深圳传统建筑的发现与保护情况我市在八十年代初期进行的第一次文物普查中,共发现文物古迹500余处,其中除古文化遗址103处和中英街界碑1处外,余者皆属传统建筑范畴。

会议

与时俱进，建立国有资产管理新体制

文章在分析十六大有关国有资产管理体制改革的理论新突破的基础上，指出目前人们在理解十六大有关国有资产管理体制改革新理论上存在的若干误区，并提出建立适应社会主义市场经济

期刊

国有资产管理体制中国国情国有资产管理市场经济

非痫性发作141例临床分析

<正>目的探讨非痫性发作的临床特点,以及心因性癫痫发作的临床特点和脑电图特征及可能误诊的原因。方法纳入于2014年7月至2018年4月因发作性事件于癫痫科住院及进行长程脑电

会议

ORE-BEARING GROUNDWATER MINERALIZATION OF DEVONIAN CARBONATE ROCK-HOSTED Pb-Zn AND Sb DEPOSITS IN NA

InNanlin,alargenumberofPb-ZndcpositsandSbdcpositsincludingtheworldfamousgiantSbdepositcalledXikuangshanmineareDevoniancarbonaterock-liosted,Ourjnvcstigationsugg

期刊

资源与市场双重约束下的新型工业化道路

新型工业化成为中国经济的新希望，是中国走向现代化的基本前提。新型工业化与传统工业化的分界线在于前者建立在新科技革命与新产业革命的基础上，从而摆脱传统工业化的资源约束

期刊

新型工业化中国资源约束市场约束信息化技术创新能力产业升级国际竞争力

Performance analysis of partial relay selection over Nakagami-m fading channel in cooperative netwo

期刊