位置：成果数据库 > 期刊 > 期刊详情页
Dynamical integrity of codes: Model and method
  • 期刊名称：Computer Research and Development
  • 时间：2012.9.1
  • 页码：1874-1882
  • 相关项目：可信软件构造理论与方法研究
作者： Wu Hao|Wu Guoqing|
同期刊论文项目
可信软件构造理论与方法研究
期刊论文 127 会议论文 62 获奖 8 著作 5
同项目期刊论文
基于程序流敏感的自修改代码混淆方法
面向嵌入式系统的威胁建模与风险评估
Study on detection of covert channel in Flume system
A screening method of security functional components based on fuzzy
Eliciting security requirements method based on safety knowledge base
A threat model-driven security testing approach for web application
一种面向应用需求的代码保护方法
基于模拟关系的编译优化实现正确性验证方法
An efficient method for detecting concurrency errors in object-oriented programs
一种用于类C语言环境的安全的类型化内存模型
A Browser Extension Vulnerability Detecting Approach Based on Behavior Monitoring and Analysis
Compiler Directed Write-Mode Selection for High Performance Low Power Volatile PCM
An Optimization Algorithm of Variable Allocation Based on Block Architecture
Formal Modeling and Analysis of Fairness Characterization of E-Commerce Protocols
Effect: An Operational View Mechanism for Decentralized Information Flow Control
Behavior-oriented modeling and visualization for web service composition
一种基于语义的业务活动推荐方法
一种多核系统可靠性加强的任务调度方法
Robustness analysis of social network based on a dynamic model
Compiler-assisted STT-RAM-based hybrid cache for energy efficient embedded systems
一个机器检测的Micro-Dalvik虚拟机模型
基于动态协同双向映射的相似执行路径生成方法
程序的动态完整性:模型和方法
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
面向总线翻转编码的低能耗指令调度方法
降低寄存器软错误的静态寄存器重分配方法
Characteristic Behavior Sequence Based Attack Detection Method for Browser Extension
面向嵌入式系统绿色需求的数据分配方法
新型非易失性存储器架构的缓存优化方法综述
面向总线的低功耗优化方法探究
物联网环境中数据存储与查询机制研究
Dynamic Measurement Protocol in Infrastructure as a Service
A multi-attribute rating based trust model: improving the personalized trust modeling framework
Effect:An Operational View Mechanism for Decentralized Information Flow Control
基于函数调用图的静态数据分配
基于行为模型的需求可视化研究
面向服务软件异常处理研究综述
Flume系统的隐蔽信道搜索问题研究
基于k近邻最弱前置条件的程序多路径验证方法
虚拟机环境下并行信任关系研究与实现
基于软件定义网络的非集中式信息流控制系统——S-DIFC
代码/需求行为差异检测
基于场景行为的需求建模及质量特性检测
面向软件行为的需求模型可视化研究
面向软件行为的多视点需求建模方法
一种SRAM辅助新型非易失性缓存的磨损均衡方法
一种基于随机Petri网的Web服务组合性能瓶颈定位策略
一种云平台可信性分析模型建立方法
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于线索抽象语法树的程序依赖图自动生成算法
一种可扩展的数字权限表达语言的形式化建模及分析
基于无干扰理论的并发程序隐私性分析模型研究
DPTSV：A Dynamic Priority Task Scheduling Strategy for TSS Deadlock Based on Value Evaluation
一种基于VT-d技术的虚拟机安全隔离框架研究
基于2阶段同步的GPGPU线程块压缩调度方法
Web应用存储型XSS漏洞检测方法及实现