论文部分内容阅读
在分析程序具体语义的基础上，提出一种信息保密性检测方法。构造具体语义和抽象语义的对应关系，根据待测程序性质构建抽象语义，同时在抽象基础上，采用限界思想来优化检测的效率。通过该方法降低程序检测的复杂性，减少时间和空间的浪费，提高了检测的效率和准确度。
基于抽象解释的C程序信息保密性研究
【摘 要】
：
在分析程序具体语义的基础上，提出一种信息保密性检测方法。构造具体语义和抽象语义的对应关系，根据待测程序性质构建抽象语义，同时在抽象基础上，采用限界思想来优化检测的效率。
【机 构】
：
桂林电子科技大学计算机与控制学院
【出 处】
：
计算机工程
【发表日期】
：
2010年24期
【基金项目】
：
国家自然科学基金资助项目（60663005）,中国博士后基金资助项目（20090450211）,广西高等学校优秀人才资助计划基金资助项目,武汉大学软件工程国家重点实验室开放基金资助项目（SKLSE20080710）
其他文献
以精准扶贫为出发点的旅游扶贫效果参差不齐,一些地区因旅游开发反而变得更贫穷,也有一些地区贫困人员因旅游扶贫实现了经济收入增加.文章以海南省贫困村为研究对象,探讨不同
文章以CNKI和Web of Science所收录的产业集群研究相关的期刊论文为数据来源,采用文献计量分析和文献回顾的方法对国内外产业集群研究的历史、热点和前沿进行对比分析。发现
参军是唐代农民进行社会流动的一条途径,但各个时段又有不同。武德时,反隋参军是贫民实现向上流动的捷径,“太原元从”就是其中的一个典型事例。从贞观到显庆五年,中产以上农
为解决全局查询无法直接查询异构数据源问题,提出将全局查询分解为针对异构数据源子查询的解决方案。设计面向多数据源异构数据的全局查询分解算法和子查询重构算法。全局查
为解决桥梁结构健康监测系统中数据丢失问题,引入格兰杰因果关系分析各传感器变量数据间的关系,选择与传感器丢失数据格兰杰因果关系大的变量作为极限学习机的输入向量,实现
近年来,伴随着中国经济的崛起和向制造业的高端进军,非正规经济组织的合法性以及知识产权保护成为了对外贸易纠纷中的重要问题。本文将运用交易费用与合约理论,对知识产权的
本文研究带双扩散过程的风险模型的最优投资比例问题.假设保险公司在时刻t的盈余为Rt ,保险公司按比例(设比例为b∈[0,1])将bR t数量的资金投入到Black-Scholes风险市场,(1 ?
随着经济全球化的不断发展,国际间资本流动日益频繁。理论上,作为国际间要素转移的载体,FDI在转移大量资本的同时,也给东道国企业带来先进的技术、管理经验等无形资本。随着
企业信息资源的有效协同是维护其一致性、完整性及高效利用的必然要求，同时也是解决信息资源内容与结构日益多元化与复杂化的主要手段。实现高效信息协同的有效手段就是对信息