期刊文献+
共找到5篇文章
< 1 >
每页显示 20 50 100
基于KVM共享内存的虚拟可信管道的建立方法 被引量:1
1
作者 赵阳 刘明芳 林曦君 《计算机安全》 2013年第3期9-12,共4页
随着云计算、虚拟化技术的发展,处于同一物理主机上的虚拟机间的通信也遇到了前所未有的安全问题。以可信计算为基础,通过基于KVM(Kernel-based Virtual Machine)的共享内存机制,采用加密的专属安全可信管道,由可信度量来验证交互双方... 随着云计算、虚拟化技术的发展,处于同一物理主机上的虚拟机间的通信也遇到了前所未有的安全问题。以可信计算为基础,通过基于KVM(Kernel-based Virtual Machine)的共享内存机制,采用加密的专属安全可信管道,由可信度量来验证交互双方身份的真实性和可靠性,通过加密内存伪地址,并将可信管道与除交互双方之外的其他虚拟机隔离开来,保证了通信交互过程中信息的可信与安全。并对此方法进行了分析和总结。 展开更多
关键词 共享内存 可信管道 度量 KVM
在线阅读 下载PDF
可信管道模型研究
2
作者 李勇 李光 沈昌祥 《计算机工程与应用》 CSCD 北大核心 2011年第26期70-73,82,共5页
针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模... 针对可信计算基(TCB)可信扩展过程中涉及的隔离问题,提出了可信管道模型。对可信管道进行了形式化描述,给出了构成元素、建立规则和传输规则;分析了基本属性,证明了可信管道支撑下的TCB可信扩展符合非传递无干扰模型;分析了可信管道模型的安全性;给出了一个可信管道的实施框架。 展开更多
关键词 可信计算 可信计算基 可信管道 无干扰
在线阅读 下载PDF
基于DTE策略的安全域隔离Z形式模型 被引量:6
3
作者 卿斯汉 李丽萍 +1 位作者 何建波 沈晴霓 《计算机研究与发展》 EI CSCD 北大核心 2007年第11期1881-1888,共8页
基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式... 基于DTE策略的安全域隔离技术是构造可信系统的基本技术之一.但现有DTE实现系统存在安全目标不明确、缺乏对系统及其安全性质的形式定义和分析的缺点,导致系统安全性难以得到保证.定义了一个基于DTE策略的安全域隔离模型,采用Z语言形式定义了系统状态、基于信息流分析的不变量和安全状态,并借助Z/EVES工具给出验证系统安全的形式分析方法.解决了DTE系统的形式化建模问题,为安全域隔离技术的实现和验证奠定了基础. 展开更多
关键词 安全域隔离 信息流 DTE 可信管道 形式化
在线阅读 下载PDF
XPD Lys751Gln polymorphism and esophageal cancer risk: A meta-analysis involving 2288 cases and 4096 controls 被引量:5
4
作者 Ling Yuan Dan Cui +3 位作者 Er-Jiang Zhao Chen-Zhi Jia Li-Dong Wang Wei-Quan Lu 《World Journal of Gastroenterology》 SCIE CAS CSCD 2011年第18期2343-2348,共6页
AIM: To evaluate the association between xeroderma pigmentosum group D (XPD), genetic polymorphism Lys751Gln and esophageal cancer risk. METHODS: We searched PubMed up to September 1, 2010 to identify eligible studies... AIM: To evaluate the association between xeroderma pigmentosum group D (XPD), genetic polymorphism Lys751Gln and esophageal cancer risk. METHODS: We searched PubMed up to September 1, 2010 to identify eligible studies. A total of 10 casecontrol studies including 2288 cases and 4096 controls were included in the meta-analysis. Statistical analysis was performed with Review Manage version 4.2. Odds ratios (ORs) with 95% confidence intervals (CIs) were used to assess the strength of the association.RESULTS: The results suggested that there is no significant association between XPD Lys751Gln polymorphism and esophageal cancer susceptibility in the overall population. However, in subgroup analysis by histology type, a significant association was found between XPD Lys751Gln polymorphism and esophageal adenocarcinoma (for CC vs AA: OR = 1.25, 95% CI = 1.01-1.55, P = 0.05 for heterogeneity). CONCLUSION: Our meta-analysis suggested that XPD Lys751Gln polymorphism may be associated with increased risk of esophageal adenocarcinoma. 展开更多
关键词 Xeroderma pigmentosum group D POLYMORPHISM Esophageal cancer Mwta-analysis
在线阅读 下载PDF
利用DTE技术的证明系统安全域模型研究
5
作者 施光源 公备 +1 位作者 冯聿梦 岳少园 《武汉大学学报(信息科学版)》 EI CSCD 北大核心 2010年第5期537-541,共5页
为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同... 为了解决证明系统中存在的完整性保护不足的问题,对完整性策略和保护机制进行了研究,提出了一种基于DTE技术的证明系统安全域模型。该模型将证明系统按照功能特性划分为若干安全域,并且定义了模型变量以及安全规则。同时,为了确保不同域之间能够安全传输,在模型中引入了可信管道的概念。给出了安全域模型的实现方法和管道协议,并对管道协议进行了安全性分析和证明。 展开更多
关键词 证明系统 安全域 可信管道
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部