基于PTM的可信虚拟平台方案

在多种信息系统中,将虚拟化技术与可信计算相结合的方式是一种保障系统安全的有效手段.然而,传统基于可信平台模块(TPM)的可信系统存在着系统信任基础不明确与数据迁移计算开销大的不足.本文应用便携式可信模块(PTM)信任模型,基于Xen虚拟化平台提出了一种客户端可信虚拟化平台方案——OASIS,设计并实现了OASIS平台结构、可信启动信任链建立方法及数据迁移机制.本方案具有灵活高效、以用户为中心的特点,使用PTM作为系统信任基础,为用户提供个人化可信计算环境,为用户在多平台间漫游的应用场景提供极大的便利性.原型系统测试结果表明,本方案具有可行性.     

一种改进的无需可信任第三方的时控代理签名方案

应用现实生活中"分权"的思想和(t,n)门限群签名技术,提出一种改进的无需可信任第三方的时控代理签名方案.该方案在对签名时间验证服务上,不再由一个可信的第三方来提供,而是由一个群体(t个人)来对代理签名时间和待签名的消息实行二级签名,能够避免(t,n)门限群签名时消息浏览权被扩大化和防止消息被泄密,除了满足代理签名的所有性质外,还能确定代理人签名的准确时间,当代理权被滥用时,授权人还可以将代理权撤销.     

一种基于多可信属性的证据模型建立方法

可信远程证明是可信计算技术中非常重要的一部分,而可信证据又是可信远程证明的基础。但是,通过研究现有主要可信远程证明方法发现对于可信证据研究主要存在以下几个问题：首先,证据信息不充分,不能满足可信证明的需求;其次,证据信息组织不够合理;最后,由于可信性具有一定的主观性,与用户的预期相关,但现有方法中在收集证据时没有考虑用...     

三塔单索部分斜拉桥模型试验研究

以福州市浦上大桥三塔单索部分斜拉桥主桥为原型,设计制作1∶40缩尺有机玻璃模型,开展三塔单索部分斜拉桥全桥有机玻璃模型试验和有限元结构分析,研究全桥弹性阶段结构受力性能.重点测试模型主梁变形、纵横向应力、桥墩和桥塔截面应力和支承反力,并模拟斜拉索换索状态,测试换索时结构受力性能变化情况.研究结果表明:三塔单索部分斜拉桥具有独特的受力特性,由于斜拉索的弹性支承能够承担部分活载作用,使主梁截面高度减小,结构轻巧优美、整体受力合理;但在换索时主梁应力明显增大,且变形增加约20%.     

可信计算平台在信任管理中的应用

在基于角色的信任管理框架RT中,由于可以依赖实体的属性授权,所以它是一种适用于大规模、分布式环境,为陌生双方动态地建立信任关系的有效方法,但它在授权时只考虑了实体本身的属性,没有考虑实体所依赖的平台运行环境的可信性,而一个"不可信"的平台显然会对系统安全构成威胁,本文提出了一种搭建在可信计算平台之上的基于角色的信任管理系统RTMTCP,从证书、安全策略、一致性验证等方面具体阐述了如何将RT与可信计算平台有机地结合起来,从根本上提高信任管理系统的可信性、自主性和安全性,最后通过实例对RTMTCP的使用进行了具体说明.     

一种新的可信修复网络模型及其实现

为解决目前缺乏一种可行的可信修复网络框架问题,提出了一种新的、可行性强的可信修复网络模型,详细说明了该模型提供的功能和工作流程,着重阐明了可信修复网络的通讯机制和认证方法.仿真实验表明,该框架在保证网络系统安全性和可信性的同时,实现了为不满足可信网络安全策略的终端用户提供及时可靠的修复服务.     

从盐泥中提取轻质氧化镁生产过程自动监测与控制

根据从盐泥中提取轻质氧化镁的生产工艺要求，在调查研究和实验的基础上，提出了生产过程的自动监测和控制方案—反应釜的压力、料位及搅拌速度自动调节系统、氧化镁最佳转化率的在线监控以及生产过程的ＰＣ控制。     

运用软件模拟仿真单片机实验的探讨

单片机技术在现代工业自动化领域里扮演了重要角色,它是一门技术性和实践性很强的课程,无疑实验是单片机教学的一个重要实践环节,在有限的资金和硬件实验资源的基础上,如果能充分运用软件模拟仿真作为辅助实验手段,将会大大促进单片机的教学效果。     

浅析开放式数控系统

开方式数控系统是一个模块化、可重构、可扩充的软硬件控制系统。基于PC和Wind0WS操作系统的开放式数控幕统（0pen CNC）是当前数控技术的研究热点和发展方向。     

闭区域上微分包含的弱Filippov定理(英文)

考虑变元x约束在闭区域 -Ω上的微分包含的初值问题.对给定的有约束微分包含x'∈F(t,x)的初值问题x(to)=xo 的一个定义在[to,+∞)的AC解及任意的点yo ∈-Ω,证明了存在一个该约束微分包含的满足初始条件yo的定义在[to,+∞)的PC解y(·)且满足|x(t)-y(t)|≤Ceξ(t-to)|xo-yo|,这里F满足单边Lipschitz条件,Ω满足一致内球条件.