Static Extracting Method of Software Intended Behavior Based on API Functions Invoking

来源 :武汉大学学报:自然科学英文版 | 被引量 : 0次 | 上传用户:pngegeok
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
The method of extracting and describing the intended behavior of software precisely has become one of the key points in the fields of software behavior's dynamic and trusted authentica-tion. In this paper,the author proposes a specified measure of ex-
其他文献
在连接力量上面的电流控制代码分割的算法多重存取(CDMA ) 时间分割双(TDD ) 系统包含 signal-to-interference-ratio (先生) 和干扰测量,它基于历史信息。然而,一台用户设备(U
采用文献、分析、归纳和综述等方法,以漳州师范学院大学体育课程改革的实践研究为例,探讨部分二本院校在扩招的严峻形势下如何进行大学体育课程改革,提出大学体育要增加项目
本文将文献[3]中关于球面环模的一个结果作了进一步的讨论,得到p〉n时,球面环的p-模
根据分析无线传感器网络(WSN ) 的门面现象,这篇论文建议一个可行方法清楚地说并且改进无线传感器网络(WSN ) 的力量控制效率。为 WSN 的关键问题之一是中等存取控制(MAC ) 的
本文给出矩阵方程XMN—NMX=0(其中M,N为正定自共轭矩阵)的一般自共轭解,并由此得到不同于[2]中给出的加正定权的(3,4)-逆和(2,3,4)-逆的显式.
便于用户存取需要的信息,许多研究奉献了给深网(即网数据库) 集成。我们集中于是深网集成的重要部分的质问翻译。我们的目的是自动地构造印射规则的一套限制以便系统能基于他
在模式耦合理论中,引入迁移数提出了一种新方法.LiPF6,LiCIO4,LiBF4,LiCF3SO3,Li(CF3SO3)2.N,LiC4F9SO3,和LiAsF6在PC(propylene carbonate),γ-GBL(γ-bntyrolactone),PC(propylene carbonat
就带高假的否定的率( FNR )和高假的积极的率( FPR )的传统的颈的癌症察觉方法的问题而言,多光谱的奶头油迹的一个新反常颈的房间察觉方法在这篇论文被建议,在基础上ofmulti光
随机的数字在现代安全计划起一个关键作用。夫妇到密码学的 therapid 开发,安全协议和加密的力量 algorithmsconsumingly 依靠随机的数字的质量。与简单建筑学和更快的速度,线
在这篇论文,在与一些另外的信息,一个信任半的代理能在一样的消息上在属性的另一个集合下面在一套属性下面把密文转变成新密文的地方,我们建议一个新基于属性的代理重新加密计划