【摘 要】
：
提出了一个多内核架构SmartMK来支撑不同安全等级和类别的应用。基于TPM和新的CPU安全技术,实现了多内核之间的强隔离与安全通信机制,以软硬件协同保护的方式实现安全的操作系统运行环境。在SmartMK架构上提出了分层次的强制访问控制方模型,进一步降低复杂环境中的访问控制复杂度。性能测试和实际应用都表明,SmartMK能够有效加强系统的安全性,同时很好地保证了系统的运行效率。
【机 构】
：
浙江大学计算机学院,杭州市浙大路38号,310027
论文部分内容阅读
提出了一个多内核架构SmartMK来支撑不同安全等级和类别的应用。基于TPM和新的CPU安全技术,实现了多内核之间的强隔离与安全通信机制,以软硬件协同保护的方式实现安全的操作系统运行环境。在SmartMK架构上提出了分层次的强制访问控制方模型,进一步降低复杂环境中的访问控制复杂度。性能测试和实际应用都表明,SmartMK能够有效加强系统的安全性,同时很好地保证了系统的运行效率。
其他文献
在最近一段时期,国家教育部继素质教育后进一步提出“核心素养观”,着重强调了对学生加强以德育为核心的思想道德文化建设,为促进他们的全面发展和健康成长奠定基础、注入活
改进了Hwang-Yeh方案,提出了一种新的匿名口令认证方案。新方案采用匿名和隐藏口令等方式,弥补了Hwang-Yeh方案的安全缺陷,能抵抗更多的安全攻击,如服务器欺骗、伪造攻击等。新方案与Hwang-Yeh方案、Peyravian-Zunic方案以及Peyravian-Jeffries方案进行了安全性比较分析。结果表明,在不安全网络通信中,新口令认证方案具有更高的安全性和实用性。
可信平台模块(trusted platformmodule,TPM)作为可信计算关键部件,对其进行规范符合性测试非常有必要.基于TPM规范进行了一致性测试建模,提出了相关测试策略和测试系统框架.
针对移动终端软件下载方案缺乏信任度量而存在安全隐患的问题,利用身份管理的信任机制、可信计算安全存储和远程平台验证等安全特性,提出了基于信任度量的软件下载服务模型,设计了软件下载服务流程,研究了软件下载服务协议,分析了协议的安全性,比较了不同软件下载方案的安全性,分析结果表明该方案有效地提高了软件下载服务的安全性能。
编者按加强医德医风建设、纠正行业不正之风是今年全军卫生战线的一项重大任务。军委、总部高度关注这项工作，全军广大指战员对此也寄予很大期望。本刊发表陆部长在全军加强医
构建了一种基于免疫多智能体的网络入侵主动防御模型ADNII MA(the active defense model for net-workintrusion based oni mmune multi-agent),提出免疫智能体概念,建立免疫智能体的逻辑结构及其运行机制,实现了对网络入侵的多层次、分布式主动防御机制,为网络安全保障提供一种新的思路。
对数字水印模型进行研究,提出了数字水印系统是一个证明系统。指出了有效、公平的数字水印系统的出错概率应满足的条件。利用码的结构性实现了数字水印系统分析,指出该方案具有很强的健壮性,可以通过使用扩展TPM技术来增强该方案的安全性。
提出一种基于HMT预测的ICA盲源分离主动分析方法,该方法仅仅需要得到一幅隐秘图像,并采用小波域HMT(hidden markov tree)模型预测出载体图像的一个估计,最后使用ICA盲分离来提取秘密信息和载体图像。仿真实验给出了该方法提取出的载体图像和秘密信息,并对其进行了分析。
首先抽象出一个多信任域模型,然后利用公钥加密和消息认证码技术,提出了一种通用的多信任域认证协议,并对该协议的安全性进行了详细分析。
节能和安全是无线传感器网络应用中的一对矛盾需求,为调和这对矛盾,提出了一种能量有效的无线传感器网络安全拓扑控制协议(energy-efficient secure topology control protoc