-
题名基于抽象解释理论抽取多态恶意程序特征码
被引量：1
- 1
-
-
作者
罗文华
-
机构
中国刑事警察学院
-
出处
《信息网络安全》
2013年第1期16-18,共3页
-
文摘
抽象解释理论是Cousot.P和Cousot.R于1977年提出的程序静态分析时构造和逼近程序不动点语义的理论。文章将该理论应用于恶意程序特征码抽取,通过详细描述抽取过程的各个步骤,提出了一种专门针对多态恶意程序的检测方法,从而为恶意程序检测开辟了新的思路。实践证明所述方法准确、高效。
-
关键词
抽象解释
多态恶意程序
特征码
变形器
解码器
程序逻辑
-
Keywords
abstract interpretation
Polymorphic Malware
Signature
Mutation Engine
Decryptor
Program logic
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
-
题名一个基于抽象解释的部分演绎过程
- 2
-
-
作者
刘椿年
-
机构
北京工业大学计算机科学系
-
出处
《软件学报》
EI
CSCD
北大核心
1994年第11期31-37,共7页
-
基金
国家自然科学基金
-
文摘
本文提出一种新的基于抽象解释的逻辑程序部分演绎方法．在一遍预处理里，针对给定的程序Ｐ和目标Ｇ，同时进行Ｐ∪｛Ｇ｝的部分演绎和抽象解释，以抽象解释控制部分演绎的展开过程．只要抽象论域是有穷的，部分演绎必定终止，而且Ｐ＇带有抽象解释估算出的关于其运行性质的信息，便于对Ｐ作进一步优化．
-
关键词
逻辑程序
部分演绎
抽象解释
程序设计
-
Keywords
logic programming, partial deduction, abstract interpretation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名模式推理在归纳程序综合中的应用
- 3
-
-
作者
王志坚
-
机构
南京大学计算机软件研究所
-
出处
《计算机学报》
EI
CSCD
北大核心
1992年第9期712-716,共5页
-
基金
国家863高科技项目资助
-
文摘
本文给出了利用模式推理技术检查归纳假设合理性的若干判定条件.由于这种检查属于语法范畴,故能由系统自动完成,从而降低了假设相容性测试的开销,提高了逻辑程序归纳综合的效率.
-
关键词
模式推理
归纳程序综合
-
Keywords
mode inference, inductive program synthesis, consistency test, logic programming.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名逻辑程序的自动模式推导
- 4
-
-
作者
童梅
刘椿年
-
机构
北京工业大学计算机科学与工程系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第2期81-92,共12页
-
基金
国家自然科学基金
国家"863"高技术项目
-
文摘
本文给出了在逻辑程序抽象解释的理论框架下进行模式推导的方法，并就其中的别名处理问题和定点计算问题进行了详细的讨论，提出了一种正确、有效的别名处理方法以及基于“扩展表”的定点求解算法。该方案已用Ｐｒｏｌｏｇ语言实现。
-
关键词
抽象解释
模式推导
逻辑程序
PROLOG语言
-
Keywords
logic programming, abstract interpretation, mode inference.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名逻辑程序模式识别的双向全局流分析
- 5
-
-
作者
曹鹏
胡守仁
-
机构
国防科技大学计算机系
-
出处
《计算机学报》
EI
CSCD
北大核心
1992年第2期87-94,共8页
-
文摘
在逻辑程序AND并行性的开发中,模式识别有着极为重要的作用.为了克服单向模式分析的缺点和不足,本文提出了模式识别的双向全局流分析方案,并用PROLOG语言实现.本文中对该方案进行详细的探讨,并给出相应的算法.
-
关键词
逻辑程序
AND并行性
模式识别
-
Keywords
AND Parallelism, abstract interpretation, mode inference.
-
分类号
TP31
[自动化与计算机技术—计算机软件与理论]
-
-
题名CLP（R）程序部分演绎的研究
- 6
-
-
作者
张秀珍
刘椿年
-
机构
北京工业大学计算机科学系
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
1996年第5期347-354,共8页
-
基金
国家"863"高科技项目
-
文摘
本文从实例分析总结了在宽度优先语义下对ＣＬＰ（Ｒ）程序进行部分演绎的基本规则和两条特殊规则，首次提出了将抽象解释技术应用于ＣＬＰ（Ｒ）程序的部分演绎的新课题。本文的结果虽然是初步的，但它是在ＣＬＰ（Ｒ）程序的部分演绎这一研究方向上的首次尝试。
-
关键词
程序设计
部分演绎
抽象解释
CLP(R)程序
-
Keywords
Constraint logic programming,partial deduction,abstract interpretation.
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名模式信息在Prolog解释系统中的应用
- 7
-
-
作者
童梅
-
机构
北京工业大学计算机科学系
-
出处
《北京工业大学学报》
CAS
CSCD
1994年第2期57-61,共5页
-
文摘
给出了一种适用于变量分离型程序的简化合一算法，并就该算法在一个采用结构共享技术实现的Ｐｒｏｌｏｇ解释器中的应用进行了详细的探讨。
-
关键词
解释系统
模式信息
PROLOG程序
-
Keywords
logic programming,abstract interpretation,interpreter
-
分类号
TP314
[自动化与计算机技术—计算机软件与理论]
-
-
题名逻辑程序综合中的模式推导
- 8
-
-
作者
王志坚
张家重
-
机构
南京大学计算机软件新技术实验室
-
出处
《高技术通讯》
EI
CAS
CSCD
1991年第7期5-7,共3页
-
-
关键词
逻辑程序
程序设计
模式
计算机
-
Keywords
Program synthesis
mode inference
logic programming
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
