位置：成果数据库 > 期刊 > 期刊详情页
SVR-Miner: Mining Security Validation Rules and Detecting Violations in Large Software
  • ISSN号：1673-5447
  • 期刊名称：China Communications
  • 时间：2011.7.7
  • 页码：84-98
  • 相关项目：硬件协助且面向Web应用的操作系统信任基的最小化模型研究
作者： Liang Bin|Xie Subin|Shi Wenchang|Liang Zhaohui|Chen Hong|
同期刊论文项目
硬件协助且面向Web应用的操作系统信任基的最小化模型研究
期刊论文 19 会议论文 11 专利 2 著作 1
同项目期刊论文
Improving Image Copy-Move Forgery Detection with Particle Swarm Optimization Techniques
SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)
磁盘阵列环境下的取证目标系统重构
云基础设施安全性研究综述
Detecting Compromised Kernel Hooks with Support of Hardware Debugging Features
基于TCT的取证工具适应性问题及其解决方法研究
构建云计算平台的开源软件综述
基于分离逻辑的并行程序性质验证方法
DCFI-Checker: Checking Kernel Dynamic Control Flow Integrity with Performance Monitoring Counter
A Hardware Sandbox Using Processor Virtualization for Untrusted Native Code
Using New Fusion Operations to Improve Trust Expressiveness of Subjective Logic
基于控制依赖分析的Android远程控制类恶意软件检测
基于非干扰模型的浏览历史嗅探网页的检测
路径敏感的源码关联变量模式挖掘及缺陷检测
Implementation of a TPM-Based Security Enhanced Browser Password Manager
期刊信息
  • 《中国通信：英文版》
  • 中国科技核心期刊
  • 主管单位:中国科学技术协会
  • 主办单位:中国通信学会
  • 主编：刘复利
  • 地址：北京市东城区广渠门内大街80号6层608
  • 邮编：100062
  • 邮箱：editor@ezcom.cn
  • 电话：010-64553845
  • 国际标准刊号：ISSN：1673-5447
  • 国内统一刊号：ISSN：11-5439/TN
  • 邮发代号:2-539
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:187