检索结果-南通市图书馆

软件学报 2003年第3期14卷 356-361页

作者：郭亮唐稚松中国科学院软件研究所计算机科学重点实验室北京100080

XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出了面向对象程序及其包含的各种语言成分的语义,并提供了几个用于证明这些语言成分之间的语义一致性的定理.

关键词： XYZ/E 面向对象程序语义程序设计语言时序逻辑语言代理机构语义一致性

在线全文

学校读者我要写书评

暂无评论

基于轨迹的程序语义之一: 轨迹与语义对象

软件学报 1998年第5期9卷 366-370页

作者：王岩冰陆汝占上海交通大学计算机系

本文提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理．本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正... 详细信息

本文提出一种基于轨迹的指称语义框架，该框架结合了操作语义和代数语义的特征，避免使用专门的数学理论，将静态语义和动态语义结合在一起统一处理．本文及其续篇将通过一个中等规模的过程式模型语言来说明上述语义框架更适合描述真正的程序设计语言．本文首先引入轨迹概念和模型语言，然后讨论该语言的各句法成分所对应的语义论域。

关键词：轨迹程序语义语义对象程序设计语言

在线全文

学校读者我要写书评

暂无评论

两维时间域上的实时程序语义

计算机学报 1999年第9期22卷 958-962页

作者：裘宗燕北京大学数学学院信息科学系北京100871

超稠密计算模型是实时系统的一种重要抽象模型．该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行模型语言（类Ｏｃｃａｍ语言）讨论用这种逻辑定义并行语言（在超稠密模型中）的时间语义的问题。

关键词：区间逻辑两维时间程序语义实时系统

在线全文

学校读者我要写书评

暂无评论

基于程序语义的嵌入式软件安全分析研究

基于程序语义的嵌入式软件安全分析研究

作者：刘圆庆西安电子科技大学

学位级别：硕士

嵌入式系统每天都在改变我们的生活,并且它们的复杂性随着应用程序的多样性和处理器架构的改进而增加。在各种嵌入式平台的应用程序中,有大量来自不可信第三方的应用程序,未经验证的第三方应用程序会造成系统或用户隐私泄露等安全问题... 详细信息

嵌入式系统每天都在改变我们的生活,并且它们的复杂性随着应用程序的多样性和处理器架构的改进而增加。在各种嵌入式平台的应用程序中,有大量来自不可信第三方的应用程序,未经验证的第三方应用程序会造成系统或用户隐私泄露等安全问题。污点分析是检测嵌入式平台应用程序信息泄露的常用方法之一,通过对污点源的追踪以及污点传播分析,能够有效追踪嵌入式程序中的数据流,保证用户信息的安全性。传统的污点分析方法,忽略了程序语义,导致精度损失。此外,污点分析还依赖于人工配置的污点源和污点汇聚点,需要耗费大量的精力。因此需要提出高精确度的方法,实现对污点源和污点汇聚点的自动分类。针对嵌入式系统污点分析中精度损失和人工成本较大的问题,本文利用自然语言处理技术,研究基于语义信息的嵌入式程序污点分析方法,设计并实现了面向嵌入式系统语义安全分析原型系统,具体贡献如下:1)第三章在深入分析现有解决方案的基础上,针对嵌入式系统应用程序中的隐私泄露等安全问题,本文将自然语言处理技术融入到污点分析过程中,提出并设计了基于浅层语义的嵌入式程序污点分析方法。通过实验测试,与传统工具相比,此方法可以利用浅层语义特征有效地提高整体污点分析的准确率。2)第四章在现有的基于浅层语义的嵌入式程序污点分析方法的基础上,为解决语义信息提取不完全以及语义审查计算开销过大的问题,本文提出基于深层语义的嵌入式程序污点分析方法,结合深层语义作为分类特征,对敏感源和敏感汇进行自动分类,简化掉语义审查的步骤,减少相似度计算的开销。实验结果表明,此方法能够更高效,更准确地对嵌入式程序进行污点分析。3)第五章针对实际无人机与机载计算机通信场景,本文实现了嵌入式系统语义安全分析原型系统,并进行了实验测试。结果表明该系统完成了函数解析、句向量嵌入、语义特征提取和敏感源与敏感汇分类以及污点分析等功能,满足嵌入式系统通信场景中对信息泄露检测的基本需求。在以上研究内容及系统实现的基础上,本文研究的内容对我国嵌入式程序的信息流安全性的提高具有推动作用,为其标准制定和应用开发提供支撑。

关键词：嵌入式系统程序语义自然语言处理污点分析

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于程序语义的计算机病毒检测方法

基于程序语义的计算机病毒检测方法

作者：陈月玲青岛大学

学位级别：硕士

近几年计算机病毒以惊人速度蔓延，计算机安全越来越受到人们的重视，计算机反病毒技术也发展的越来越快。当今最新最先进的计算机反病毒技术，有主动内核技术、启发式代码扫描技术、虚拟机技术、基于免疫原理的病毒检测技术等。这些技... 详细信息

近几年计算机病毒以惊人速度蔓延，计算机安全越来越受到人们的重视，计算机反病毒技术也发展的越来越快。当今最新最先进的计算机反病毒技术，有主动内核技术、启发式代码扫描技术、虚拟机技术、基于免疫原理的病毒检测技术等。这些技术各有特点，但是应用起来仍然不够成熟。现有计算机反病毒软件虽然在对抗病毒方面发挥了巨大的作用，但是仍有不尽人意之处，尤其是对付未知病毒缺乏足够有效的方法。本文对Windows操作系统下各种病毒的作用机理及当前病毒采用的各种新技术进行了深入的研究。并提出了基于程序语义的计算机病毒检测方法。首先，深入剖析了不同病毒代码的结构特点，总结出了不同病毒程序传染行为模式的典型语义特征，形成了描述其典型语义特征的语义关系框架。最后，进行了数据结构设计，模式库采用层次化的框架结构。这种存储方法完整、准确地描述了病毒程序传染行为的典型语义特征。具有较好的继承性、可扩展性和知识的一致性。其次，研究了如何抽取蕴涵在程序中的语义，进而形成描述程序语义的语义关系框架。从原程序到语义关系框架转换系统的算法和工作流程进行了详细设计。最后，对病毒检测系统的核心——检测引擎进行了较为详细的设计与分析。最后，进行了病毒检测实验，结果表明该检测方法是一种较为有效的未知病毒检测方法。

关键词：计算机病毒病毒检测程序语义框架抽取

基于程序语义的静态恶意代码检测系统的研究与实现

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

基于程序语义的静态恶意代码检测系统的研究与实现

作者：袁雪冰哈尔滨工业大学

学位级别：硕士

恶意代码不再仅是用来炫耀技术而是成为不法分子牟取不正当利益的工具。基于特征匹配的方法忽略了程序行为导致特征没有泛化性,一个特征只能检测一种变种,而动态检测的死穴在于可观行为局限在一个有限的时间段或程序分支中,而将来的或... 详细信息

恶意代码不再仅是用来炫耀技术而是成为不法分子牟取不正当利益的工具。基于特征匹配的方法忽略了程序行为导致特征没有泛化性,一个特征只能检测一种变种,而动态检测的死穴在于可观行为局限在一个有限的时间段或程序分支中,而将来的或其他分支的行为是不可预期的。因此上述方法在面对暴利刺激下层出不穷的恶意代码变种时显得力不从心。程序语义提供了程序行为的形式化模型,意味着从语义角度可以检查可疑代码所有的执行路径,并能展现在语法层次上被故意隐藏的不同变种间的相似性。但理论上静态分析程序完整语义是不可判定和不可计算的,本文通过系统函数调用观察程序行为,经过两次抽象在两个不同的近似语义层次上将模型检测恶意行为和基于面向目标的关联度(Objective-Oriented Association, OOA)挖掘恶意代码检测统一在程序语义这一共同框架之下。模型检测恶意行为实质是检测可疑程序所有可能的执行路径中是否存在一条实现特定恶意行为的路径(恶意行为模板)。参考方法由于没有引入数据流分析,使得恶意行为模板及其繁杂。本文首先反汇编可疑程序并引入控制流和数据流分析构造语义模型,同时恶意行为被统一抽象为有限状态机的形式,并最终转化成对应的计算树逻辑(Computation Tree Logic, CTL)公式,最后由标记算法完成验证工作。实验证明由于数据流分析的引入本文方法可极大地简化恶意行为的描述。基于OOA挖掘的方法检测可疑程序调用的API集合是否存在特定的子集(规则)。本文利用IDA Pro插件提取可执行文件所调用的API集合,采用快速的OOApriori算法挖掘满足特定目标的规则,并由此规则分类。通过改进规则挖掘策略、强化规则选择条件、引入多规则积累和多分类器仲裁机制等措施在显著减少原OOApriori挖掘时间的同时提高了所挖掘规则的质量而且有效解决了参考方法的样本敏感性问题。针对上述两种方法对于加壳和API隐藏技术的局限性,本文基于程序语义的静态恶意代码检测系统引入启发式检测作为有力补充,最终该系统能自动脱壳加壳恶意代码,在不需特征库的情况下就能检测未知恶意代码及其变种,并能在一定准确度上提供恶意代码所属子类别和拥有的恶意行为的信息。

关键词：恶意代码程序语义模型检测面向目标的关联度挖掘启发式

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

论动态数据结构的程序语义

吉林工业大学学报 1995年第3期25卷 37-42页

作者：陈思国李雄飞赵启哲苑森淼

在程序设计语言中，由于语言成份的语义描述不够完整，容易造成动态数据结构的使用混乱与错误，这些问题在编译程序中无法发现，并且在程序执行过程中也很难排除。本文针对这种情况，研究了如何正确刻划动态数据结构的程序语义问题。

关键词：动态数据结构程序语言程序语义数据结构

在线全文

学校读者我要写书评

暂无评论

基于程序语义的计算机病毒检测方法

信息与电脑（理论版） 2015年第20期 149-150页

作者：陈冬冬亳州职业技术学院安徽亳州236800

本文简单介绍了基于程序语义的计算机病毒检测方法的研究意义,并基于程序语义的计算机病毒程序结构特征,针对基于程序语义的计算机病毒具体检测方法进行了深入的探讨和分析。

关键词：计算机病毒程序语义检测方法策略研究

在线全文

学校读者我要写书评

暂无评论

试论程序语义基础下计算机病毒的检测方法

电子测试 2017年第10期28卷 61-62页

作者：李栋四川爱里尔科技有限公司四川成都610015

程序语义是计算机技术中一项非常重要的内容,也是计算机程序的核心部分,而通过对程序语义进行检测可以有效的识别出系统中的病毒程序。因此,本文就程序语义基础下计算机病毒的检测方法展开研究和分析。

关键词：程序语义计算机病毒

在线全文

学校读者我要写书评

暂无评论

基于程序语义的计算机病毒检测方法

青岛大学学报（自然科学版） 2007年第1期20卷 74-77页

作者：陈月玲贾小珠青岛大学信息工程学院青岛266071

通过分析病毒程序的典型传染行为模式,总结出传染模块的典型语义特征,形成描述其语义特征的语义关系框架,在此基础上提出了一种针对未知病毒的检测方法——基于程序语义的病毒检测方法。该方法是通过抽取程序的语义关系框架,将之与病毒... 详细信息

通过分析病毒程序的典型传染行为模式,总结出传染模块的典型语义特征,形成描述其语义特征的语义关系框架,在此基础上提出了一种针对未知病毒的检测方法——基于程序语义的病毒检测方法。该方法是通过抽取程序的语义关系框架,将之与病毒的语义关系框架进行匹配,达到检测未知病毒的目的。模拟实验中选取三种病毒作为样本,检测了20个程序,结果表明,在阈值D=0.9时,检测的准确率为87.5%。

关键词：计算机病毒传染行为程序语义病毒检测