程序语义相关论文
为了提高软件的开发效率,目前已出现应用人工智能技术进行智能化开发的趋势,如何理解程序语义是智能化开发中需要重点解决的问题.......
随着计算机网络的不断发展和各种接入互联网终端的广泛使用,网络和人们的生产生活关系日益紧密,因而网络安全也受到更加广泛的关注......
随着科学科技的发展，尤其是信息化进程的不断加快，计算机及互联网在人们日常生活中发挥的作用越来越大，普及率也越来越高。计算机在各......
随着移动互联网技术的飞速发展软件的功能在不断地丰富,但与日俱增的软件体积和复杂程度也对软件质量带来了严重的威胁。软件缺陷......
本文简单介绍了基于程序语义的计算机病毒检测方法的研究意义,并基于程序语义的计算机病毒程序结构特征,针对基于程序语义的计算机......
超稠密计算模型是实时系统的一种抽象模型。该文首先简要介绍一种两维的超稠密时间域及在该域上定义的一种区间逻辑，然后用一个并行......
【摘 要】随着智能手机的日益普及，智能型手机越来越广泛地被应用在各个层面。与此同时，手机病毒以惊人速度蔓延，针对智能手机等无线......
数据迷惑是代码迷惑中重要的一类迷惑变换,在软件保护领域中应用广泛,常被用于防止攻击者对程序进行数据流分析、程序切片等逆向工......
XYZ/E面向对象程序中表示对象概念的语言成分是代理机构:一种由一个数据包块和与之匹配的进程所组成的模块.在时序逻辑框架下给出......
应用一种Petri网扩展CNets，描述程序代码中所隐含着的数据与控制，分别给出了程序代码的数据视图和控制视图．在CNets规范的基础上，研究......
通过分析病毒程序的典型传染行为模式，总结出传染模块的典型语义特征，形成描述其语义特征的语义关系框架，在此基础上提出了一种针对未......
本文主要对约束逻辑程序的语义、分层约束满足的应用、随机约束满足问题的生成模型以及约束求解系统实现等问题进行了研究,拓展了......
近几年计算机病毒以惊人速度蔓延，计算机安全越来越受到人们的重视，计算机反病毒技术也发展的越来越快。当今最新最先进的计算机反病......
如何解决软件知识产权的保护问题,已成为近年来国内外的一个研究热点,具有重要的学术价值和现实意义。目前,研究者们在软件保护方......
恶意代码不再仅是用来炫耀技术而是成为不法分子牟取不正当利益的工具。基于特征匹配的方法忽略了程序行为导致特征没有泛化性,一......
学位
程序语义是计算机技术中一项非常重要的内容,也是计算机程序的核心部分,而通过对程序语义进行检测可以有效的识别出系统中的病毒程......
