位置：成果数据库 > 期刊 > 期刊详情页
MSMAM:Testing Resources Allocation,Obtaining Non-Functional Indexes Based on Functional Testing Resu
  • ISSN号：1007-1202
  • 期刊名称：武汉大学学报:自然科学英文版
  • 时间：2012.12.12
  • 页码：504-510
  • 相关项目：多安全等级信息系统的跨域行为安全性研究
作者： CAO Hui|ZHANG Huanguo|YAN Fei|
同期刊论文项目
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3
同项目期刊论文
一种以用户为中心的移动互联网身份管理及认证系统
Effect:An Operational View Mechanism for Decentralized Information Flow Control
Formal Analysis of Information Card Federated Identity-Management Protocol
一种基于改进Fuzzing架构的工业控制设备漏洞挖掘框架
一种基于手机令牌和NFC技术的身份认证系统
Study on getting non-functional security property from functional testing results
An insecure information flow path search method in decentralized information flow control system
嵌入式系统可信平台模块研究
一种基于约束的指针程序路径选择方法
The research of energy consumption optimization for distributed intrusion detection system
A Trusted Environment Construction Method for Security-Sensitive Software
VirtinSpector：一种基于UEFI的虚拟机动态安全度量框架设计与实现
新型的轻量级数字签名方案
基于图编辑距离的恶意代码检测
Flume系统的隐蔽信道搜索问题研究
HBROP：基于硬件性能计数器的函数级ROP检测
室内残留甲醛气体污染检测技术研究与仿真
vTSE：一种基于SGX的vTPM安全增强方案
IaaS下虚拟机的安全存储和可信启动
可信计算技术在嵌入式操作系统中的应用
约束条件下基于区间组合的测试用例生成
AES的轻量优化及其在射频识别标签中的应用
基于ElGamal签名方案的云数据完整性感知方法
虚拟机环境下并行信任关系研究与实现
基于软件定义网络的非集中式信息流控制系统——S-DIFC
相关路径静态分析中协同式逆向推理方法
Ng-vTPM：新一代TPM虚拟化框架设计
基于谓词抽象的测试用例约简生成方法
一类Bent函数的二阶非线性度下界
基于无干扰理论的并发程序隐私性分析模型研究
改进的K最短路径算法在通信网络中的应用
基于纠错编码的多变量公钥加密方案(英文)
HyperSpector：基于UEFI的VMM动态可信监控基的设计与实现
一种基于VT-d技术的虚拟机安全隔离框架研究
期刊信息
  • 《武汉大学学报：自然科学英文版》
  • 主管单位:教育部
  • 主办单位:武汉大学
  • 主编：侯杰昌
  • 地址：武汉大学期刊社
  • 邮编：430072
  • 邮箱：whdy@whu.edu.cn
  • 电话：027-68752259
  • 国际标准刊号：ISSN：1007-1202
  • 国内统一刊号：ISSN：42-1405/N
  • 邮发代号:38-314
  • 获奖情况:
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,美国数学评论（网络版）,英国农业与生物科学研究中心文摘,德国数学文摘,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,英国动物学记录
  • 被引量:252