位置：成果数据库 > 期刊 > 期刊详情页
Static Extracting Method of Software Intended Behavior Based on API Functions Invoking
  • 期刊名称：Wuhan University Journal of Nature Science
  • 时间：0
  • 页码：615-620
  • 语言：英文
  • 分类：TP309[自动化与计算机技术—计算机系统结构;自动化与计算机技术—计算机科学与技术]
  • 作者机构：[1]School of Computer, Wuhan University, Wuhan 430072,Hubei, China
  • 相关基金：Supported by the National Natural Science Foundation of China （60673071, 60743003, 90718005, 90718006） and the National High Technology Research and Development Program of China （863 Program） （2006AA01 Z442, 2007AA01 Z411 ）
  • 相关项目：面向威胁的软件可信性分析模型
作者： FU Jianming|PENG Guojun|PAN Xuanchen|ZHANG Huanguo|
关键词： API, 功能调节, 软件, 计算机技术, API functions invoking, software intended behavior, trusted behavior
中文摘要：

PENG Guojun （1979-）, male, Ph. D. candidate, Lecturer, research direction： trusted software, network security. E-mail： guojpeng@whu, edu.cn t to whom correspondence shoud he addressed. E-mail：liss@whu.edu.cn

同期刊论文项目
面向威胁的软件可信性分析模型
期刊论文 21 会议论文 9
基于复杂网络的Internet可生存性分析方法研究
期刊论文 18
密码部件的设计自动化研究
期刊论文 50 会议论文 4
软件的可信计算环境的构造、建模和算法研究
期刊论文 30
同项目期刊论文
网络环境下一种基于概率密度的信任博弈模型
基于Bayesian信任网络的P2P访问控制
基于关联挖掘的软件错误定位方法
面向虚拟化平台的透明加密系统设计与实现
软件结构属性分析与恶意软件检测
Novel encryption model for multimedia data
基于负荷-容量模型的网络相继故障研究
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
一种面向Web服务的拜占庭错误容忍算法
Oracle数据库备份软件设计与实现
一种改进的可信计算平台密码机制
盲环境下的数字图像可信性评估模型研究
一种基于无监督学习的MB1隐写分析方法
一种基于网络行为特征的分布式LDoS攻击
基于图论的网络鲁棒性增强算法
一种基于信任理论的路由安全接入与选路模型
SMS4算法在嵌入式系统中的硬件实现方法
一种基于服务器组的SAR信号优化处理算法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
基于中国邮递员问题的可信平台模块测试序列生成优化研究
针对RED脆弱性的分布式LDoS攻击构造
GF（2^n）^m上的线性正形置换
针对动态群组及应用的扩展非对称群密钥协商协议(英文)
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
基于运动物体识别的三维动态验证码设计
植入城市计算综述
基于Bayesian信任网络的P2P访问控制
可信计算平台测评理论与关键技术研究
软件结构属性分析与恶意软件检测
基于系统调用的软件行为模型
基于对象的软件行为模型
一种基于签名和属性的可执行文件比较
基于数据场的网络安全风险融合模型
FINDING THE SAME SOURCE PROGRAMS BASED ON THE STRUCTURAL FINGERPRINT DISTANCE OF CALL GRAPH
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
物联网环境下的敏感信息保护方法
一种改进的可信计算平台密码机制
SMS4算法在嵌入式系统中的硬件实现方法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
A Trustworthiness-based Distribution Model for Data Leakage Prevention
一种密钥协商协议的自动化设计方法
基于中国邮递员问题的可信平台模块测试序列生成优化研究
GF（2^n）^m上的线性正形置换
基于模型检测的可信软件栈测试
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
基于Bayesian信任网络的P2P访问控制
可信平台模块自动化测试研究
一种改进的可信计算平台密码机制
一种密钥协商协议的自动化设计方法
一种基于无监督学习的MB1隐写分析方法
一种基于网络行为特征的分布式LDoS攻击
一种基于信任理论的路由安全接入与选路模型
SMS4算法在嵌入式系统中的硬件实现方法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
GF（2^n）^m上的线性正形置换
基于模型检测的可信软件栈测试
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
面向容侵系统可生存性量化的随机博弈模型研究
基于层次赋时CPN的网络系统建模与可生存性优化
基于演化计算的组合模型序列密码分析
计算机取证的时间分析方法
多变量代数理论及其在密码学中的应用
信息安全学科体系结构研究
基于Bayesian信任网络的P2P访问控制
可信网络连接研究
可信计算平台信任链安全性分析
可信PDA计算平台系统结构与安全机制
多变元Hash函数的构造与分析
分组密码的硬件实现
SHA-2(512)热噪声随机数发生器
一种面向应用的FPGA互连资源故障检测方法
Analysis of affinely equivalent Boolean functions
On the degree of homogeneous bent functions
可信平台模块自动化测试研究
基于标记变迁系统的可信计算平台信任链测试
一种安全性更高的正形置换发生器
Hybrid Strategy of Particle Swarm Optimization and Simulated Annealing for Optimizing Orthomorphisms
容忍入侵的自适应安全通信系统模型与设计
关于正形置换多项式的注记
6轮数据加密标准的演化分析
基于径向小波变换的图像特征提取算法
XEN虚拟机分析
一种改进的可信计算平台密码机制
SMS4算法在嵌入式系统中的硬件实现方法
基于状态机理论的可信平台模块测试研究
基于结构码的安全数字水印方案
基于中国邮递员问题的可信平台模块测试序列生成优化研究
GF（2^n）^m上的线性正形置换
基于模型检测的可信软件栈测试
A Peer-to-Peer Resource Sharing Scheme Using Trusted Computing Technology
基于1-MOMSDH假设的短群签名DAA方案
轮换矩阵密码学性质
可信网络连接中一种基于可信度的细粒度授权模型
Static Analysis-Based Behavior Model Building for Trusted Computing Dynamic Verification
Generation Algorithm of a Sort of P-Permutations
A Fast Pseudorandom Number Generator with BLAKE Hash Function
一种改进的指针安全分析算法
基于演化计算的组合模型序列密码分析
一种动态随机数发生器
基于保形迭代深度问题的公钥密码体制
A Communication Security Protocol of Mobile Agent System
抗中文主动干扰的柔性中文串匹配算法
基于模糊理论的Ad Hoc网络可信性研究
一种新的可信平台模块
改进的素数域椭圆曲线密码处理器
A Note on Characteristic Generators of a Free Cyclic Code and Its Dual
A New Chaotic Function and Its Cryptographic Usage
Self-Dual Permutation Codes over Finite Chain Rings
一种基于彩票内容保护的电子彩票方案
实验教学与信息安全本科生实践创新能力培养