位置：立项数据库 > 立项详情页
面向军用可信计算环境的构造及评测试验验证研究
  • 项目名称：面向军用可信计算环境的构造及评测试验验证研究
  • 项目类别：重大研究计划
  • 批准号：91018008
  • 申请代码：F020208
  • 项目来源：国家自然科学基金
  • 研究期限：2011-01-01-2011-12-31
  • 项目负责人：张焕国
  • 负责人职称：教授
  • 依托单位：武汉大学
  • 批准年度：2010
中文摘要：

可信计算环境为软件的可信运行提供了重要保障，对构建可信军用信息系统起着决定性作用。然而，目前我国针对军用可信计算环境构造和评测的理论与技术研究刚刚起步。针对以上问题，本课题在可信计算环境构造与测评方面开展了研究工作。在可信计算环境分析测评方面，我们提出了一种可信计算平台信任链的描述方法、一种基于军事云计算环境需求下的无干扰理论建模方法；并针对可信计算环境测评凝练出三个科学问题基于程序依赖图的冗余简小化测试问题、信息系统安全测评的统一化问题以及面向高安全需求的测试覆盖问题，并对此开展了相关研究，提出了一种基于约束条件下的代码冗余简小化测试方法、揭示了一种功能性测试结果与系统非功能性安全指标关联关系并提出了一种基于谓词抽象测试用例约减方法；从操作系统可信出发，提出了一种基于主观逻辑的可信环境综合判定方法、一种操作系统信任监控模式的构建方法、一种操作系统控制数据监控方法以及一种面向嵌入式系统的可信环境设计方法。通过为期一年的研究，我们在可信计算环境构造与测评方面取得了一些理论和技术成果，为下一阶段的集成项目奠定了基础。

中文主题词： 可信计算；可信计算环境构造；可信环境分析与测评；可信软件
结论摘要：

英文主题词trusted computing;trusted computing environment construction;trusted computing test and evaluation;trustworthy software

成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 46
  • 7
  • 0
  • 0
  • 1
期刊论文
Improving Image Copy-Move Forgery Detection with Particle Swarm Optimization Techniques
基于应用π演算的可信平台模块的安全性形式化分析
SVR-Miner:一种基于大型软件的安全验证规则挖掘和缺陷检测工具(英文)
矩阵分解在密码中应用研究
一种基于纠错码的数字签名协议
一种基于谓词抽象的测试用例约简生成方法
嵌入式系统可信平台模块研究
一种基于约束的指针程序路径选择方法
A Trusted Environment Construction Method for Security-Sensitive Software
Detecting Compromised Kernel Hooks with Support of Hardware Debugging Features
Using New Fusion Operations to Improve Trust Expressiveness of Subjective Logic
一种安全性更高的正形置换发生器
Flume系统的隐蔽信道搜索问题研究
适合CBTC系统无线信道加密算法
基于可信计算的Ad Hoc网络安全模型研究(英文)
无线传感器网络的轻量级安全体系研究
基于谓词抽象的测试用例约简生成方法
路径敏感的源码关联变量模式挖掘及缺陷检测
破解R.S.Bhalerao公钥加密方案
基于应用π演算的可信平台模块的安全性形式化分析
一类Bent函数的二阶非线性度下界
HKKS密钥交换协议分析
基于VMM的操作系统隐藏对象关联检测技术
结合依存关联分析和规则统计分析的情感词库构建方法
基于无干扰理论的并发程序隐私性分析模型研究
基于CAS与Web服务的遗留系统集成框架研究
特征为2的有限域上正形置换的性质
改进的K最短路径算法在通信网络中的应用
基于演化密码理论的Koblitz安全曲线选择研究及对美国NIST参数验证(英文)
基于纠错编码的多变量公钥加密方案(英文)
基于变权模糊综合评判的信息安全等级保护测评模型(英文)
Cryptanalysis of Schemes Based on Pseudoinverse Matrix
Cryptanalysis of Public Key Cryptosystems Based on Non-Abelian Factorization Problems
Implementation of a TPM-Based Security Enhanced Browser Password Manager
Enumeration of Generalized Linear Orthomorphism in the Vector Space Fq^n
A New Quantum Algorithm for Computing RSA Ciphertext Period
Key Exchange Protocol Based on Tensor Decomposition Problem
基于亚稳态的QDI逻辑随机路径切换方法研究
会议论文
Detecting Stealthy Malware with Inter-Structure and Imported Signatures
VIsolator: An Intel VMX-Based Isolation Mechanism
A Direct Web Page Templates Detection Method
A SOFTWARE VULNERABILITY ORIENTATION METHOD BASED ON COMPLEX NETWORK
On Mutual Support of Modern and Traditional Access Control Models with UCON and BLP as Case Study
Trust-Oriented Access Control Based on Sources of Information Flow
Formal Analysis Research for Information Flow of Software
著作
可信计算
相关项目
可信的网络应用软件系统试验验证环境预先研究
期刊论文 5 会议论文 5
数据服务中可信的多态查询关键技术研究
期刊论文 15 会议论文 15 获奖 2 著作 1
多安全等级信息系统的跨域行为安全性研究
期刊论文 45 会议论文 1 专利 3
航天嵌入式软件可信性保证环境研究
会议论文 2
代数方程组求解与代数曲线曲面的可信计算
期刊论文 4 会议论文 1
面向车联网的可信网络应用软件系统试验环境与示范应用
期刊论文 47 会议论文 81 获奖 2 著作 3
航天嵌入式软件可信性保障集成环境和示范验证与应用
期刊论文 86 会议论文 82
基于可信链的Mobiel Agent运行环境安全增强机制研究
期刊论文 9 会议论文 5
可信网络计算环境中的融合信任模型及信任传递机制研究
期刊论文 22 会议论文 19 获奖 4 著作 2
张焕国的项目
演化密码研究
期刊论文 1
针对量子计算机特点的公钥密码理论与关键技术研究
期刊论文 58
密码部件的设计自动化研究
期刊论文 50 会议论文 4
有理分式公钥密码构造理论研究
期刊论文 80 会议论文 4 专利 9 著作 2
密码函数的演化设计研究
期刊论文 64 会议论文 28