基于虚拟化平台的可信任计算基

来源 :浙江大学学报(工学版) | 被引量 : 0次 | 上传用户:deadhorse
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
采用虚拟化技术来提高嵌入式设备的安全特性,避免了基于硬件方法带来的灵活性差、设备复杂度高和生产成本高的缺点.虚拟化平台SmartVP以软件方式实现了对系统环境的保护,SmartVP在ARM处理器上划分出两组并行的计算资源,分别运行标准的实时操作系统T-Kernel和通用操作系统Linux;通过保护T—Kernel上的软件代码和数据,实现了基础安全服务和接口,从而构造出一个可信任计算基.性能测试和实际应用结果均表明,SmartVP能够在提升嵌入式设备安全性的同时,有效地降低实施风险、时间和开发成本.
其他文献
通过实验,分别对相转移催化剂法和DMF(二甲基甲酰胺)溶剂法合成新型促渗剂1,2-苯并异噻唑-3(2H)-2-丁基-1,1-二氧化物(噻酮)的工艺进行了研究.重点改进了原始DMF溶剂法的生产工艺,当温度
基于角度滤波的思想给出了一有效的平面图形光顺算法.离散曲线伸缩内在量表示中的有向转角既整体反映了曲线的走向及弯曲程度,又局部反映了曲线的光滑程度,对其借用图像去噪算法中双边滤波的思想进行光滑,然后利用光滑之后的伸缩内在量来重构曲线.其中曲线的重构转化为一个稀疏线性方程组的求解,可以由现成的程序库快速求解,重构过程中还可以加入一些线性约束来满足实际应用中的不同要求.该方法很容易推广得到对平面树状图形
为了从数学角度研究线性插值法在色空间转换中的误差,提出了一种基于泰勒理论的分析方法.从三阶泰勒多项式展开来看,线性插值法只是这个展开式的前几项,除了效率和精度,各插值法没
针对纺织印染图像存在主要套色数少,且受纺织"纹理噪声"干扰这两个特点,提出了一种基于上下文模型的多尺度最大后验概率分割方法.在提取印染图像的基本套色以及能代表纺织纹理特征样本图像的条件下,从底层进行粗粒度分割,随着尺度的增加,应用上下文模型对上一尺度下的分割结果进行修正,直至最精细尺度.在计算机模拟实验中,用基于上下文模型的多尺度方法对一些彩色纺织印染图像进行分割,并与mean-shift算法、基
利用置于分布板下方的声发射传感器,采集气固流化床反应器中颗粒作用在分布板上产生的声信号.结合频谱分析并对照摄像法,发现由分布板下方采集到的声信号能量分布能够直观地反映
针对溶质运移测试中运移参数提取困难、方法不统一的现状,基于溶质在土粒上的质量分数,定义了一个新的非线性吸附模型;推导了非线性吸附情况下溶质运移的控制方程,并用最小二
为了减少软件容错模型中实时调度算法的抢占次数,提出了一种部分抢占调度算法(PPA),该算法不仅考虑了如何尽可能多地执行主部分,还考虑了如何减少抢占次数,采用了类似非抢占最
为了提高工业无线传感器网络的可靠性和可用性,使其能够长期自治地正常工作,提出了基于簇头冗余的工业无线传感器网络分簇路由算法.当工作簇头能量不足时,将主动切换到冗余簇头工
为解决电化学生物传感器在液流式小样品检测时,由于微反应器腔体通道高度对电极双电层及扩散动力学的影响,造成测量不稳定的问题,提出一种新的电化学生物传感器.以小样品通道
为了抑制超声图像中的斑点噪声,提出一种考虑小波系数尺度间相关性的超声图像降噪算法.该算法采用Rayleigh分布对超声图像斑点噪声的统计特性建模和Laplacian分布对小波系数的统计特性进行建模,进而利用贝叶斯最大后验的方法获得对无噪图像的估计.为了更好地保留图像细节,在阈值计算过程中,该算法通过考虑下一尺度对应的小波系数来构造一个尺度间相关因子.实验结果表明,所提出算法在有效减少斑点噪声的同时