位置：成果数据库 > 期刊 > 期刊详情页
基于分离逻辑的并行程序性质验证方法
  • ISSN号：1002-137X
  • 期刊名称：计算机科学
  • 时间：2013.10.10
  • 页码：148-154
  • 相关项目：硬件协助且面向Web应用的操作系统信任基的最小化模型研究
作者： 万良|石文昌|冯慧|
同期刊论文项目
硬件协助且面向Web应用的操作系统信任基的最小化模型研究
期刊论文 19 会议论文 11 专利 2 著作 1
同项目期刊论文
Improving Image Copy-Move Forgery Detection with Particle Swarm Optimization Techniques
SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)
磁盘阵列环境下的取证目标系统重构
SVR-Miner: Mining Security Validation Rules and Detecting Violations in Large Software
云基础设施安全性研究综述
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
期刊信息
  • 《计算机科学》
  • 北大核心期刊（2011版）
  • 主管单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主办单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主编：陈国良
  • 地址：重庆市渝北区洪湖西路18号
  • 邮编：401121
  • 邮箱：jsjkx12@163.com
  • 电话：023-63500828
  • 国际标准刊号：ISSN：1002-137X
  • 国内统一刊号：ISSN：50-1075/TP
  • 邮发代号:78-68
  • 获奖情况:
  • 2001年重庆市优秀期刊,2004年第三届重庆市优秀科技期刊,2005年重庆市优秀期刊编辑部,2010年第六届重庆市期刊综合质量考核"十佳科技期刊",2012年重庆市出版专项资金报刊资助项目（重庆市新...,2013年重庆市出版专项资金重点学术期刊资助项目（...,2014年重庆市出版专项资金期刊资助项目（重庆市文...,2015年"中国国际影响力优秀学术期刊"
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国乌利希期刊指南,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:41227