位置：成果数据库 > 期刊 > 期刊详情页
Characteristic Behavior Sequence Based Attack Detection Method for Browser Extension
  • 期刊名称：情报杂志
  • 时间：2012.10.1
  • 页码：223-235
  • 相关项目：可信软件构造理论与方法研究
作者： Junjie Wang|Xiaohong Li|
同期刊论文项目
可信软件构造理论与方法研究
期刊论文 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虚拟机模型
Dynamical integrity of codes: Model and method
基于动态协同双向映射的相似执行路径生成方法
程序的动态完整性:模型和方法
Formal Analysis of Fairness for Optimistic Multiparty Contract Signing Protocol
面向总线翻转编码的低能耗指令调度方法
降低寄存器软错误的静态寄存器重分配方法
面向嵌入式系统绿色需求的数据分配方法
新型非易失性存储器架构的缓存优化方法综述
面向总线的低功耗优化方法探究
物联网环境中数据存储与查询机制研究
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漏洞检测方法及实现