论文部分内容阅读
程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行。该方法根据检测出的程序不变量,配置程序保护策略。运行环境支持对程序插装保护代码,执行保护策略。实验表明方法是有效的且使用方便,保护带来的性能损失不大。
基于不变量的程序运行保护方法
【摘 要】
：
程序不变量反映了程序在特定点上的安全属性,可以作为运行保护时的监控对象。提出了一种程序运行保护方法,通过动态监控程序不变量,保护程序安全运行。该方法根据检测出的程序不变量,配置程序保护策略。运行环境支持对程序插装保护代码,执行保护策略。实验表明方法是有效的且使用方便,保护带来的性能损失不大。
【机 构】
：
南京大学计算机软件新技术国家重点实验室,南京大学计算机科学与技术系
【出 处】
：
计算机工程与设计
【发表日期】
：
2008年05期
【基金项目】
：
国家自然科学基金项目（60473053）,国家863高技术研究发展计划基金项目（2006AA012432）,江苏省自然科学基金项目（BK2005074）.
其他文献
认知语言学是上世纪80年代逐渐发展形成的国际理论语言学的分支,强调人所拥有的认知能力,认为所有的语言都可以经过人类大脑的加工来对其进行创造与运用。认知语言学结合了语
期刊
本文讨论了关于网络信息资源开发过程中，网络信息资源库的建设问题，提出了建设图书情报网络信息资源库的设想，分析了网络信息资源库的应用前景，对网络信息资源库进行了设计，并提出
目的观察应用空气波压力治疗对腰椎术后卧床患者首次起床体位性低血压的影响。方法便利抽取2014年11月—2015年4月在我院脊柱骨外科行腰椎手术患者137例,术后第1天按照手术顺
我院针对2002～2007年20 000余例手术切口愈合因素进行调查和分析。2002年切口感染发生率9.5%，清洁切口感染发生率2%，经过几年来的调查、整改，同时通过加强围手术期的护理，提高医务人员无菌观念，灌输防止切口感染的理论知识，合理使用抗生素等措施，2007年我院切口感染发生率降低为0.3%，清洁切口感染发生率降低为0。 引起切口感染的因素 内源性因素：①年龄：年龄被认为对切口
I：D3算法是数据挖掘中经典的决策树分类算法。针对ID3算法所存在的属性取值偏向问题及只对较小的数据集有效的缺点提出改进。当训练样本各属性的取值个数相差较大的情况下,在
ASP具有灵活快捷的开发过程和良好的WEB数据库连接功能。本文详细说明了基于WEB的专家咨询系统的设计思想和实现方法，重点讨论了Web开发技术ASP在系统中的应用。
通过对省级电大图书馆电子资源的调查和分析，说明了省级电大图书馆电子资源的现状扣存在的问题，并对电大图书馆今后电子资源建设提出了建议。
研究背景：膝骨关节炎又称膝骨关节病、退行性关节炎,老年性关节炎。是一种常见的慢性关节疾病。膝骨关节炎病程长,反复发作,目前西药的治疗效果欠佳,且副作用较多,花费巨大,这
作为人类社会继农业经济、工业经济之后的社会经济形态的新经济,是一次影响深远的经济转型.新经济时代的到来给大众传播提出了新的要求.面对新经济提出的新课题,我国的大众传