基于虚拟可信平台模块的完整性度量方案研究北大核心CSCD

针对SHA-1摘要算法不安全导致硬件TPM不可信的问题,文章提出一种基于虚拟可信平台模块的完整性度量方案。该方案引入自更新度量框架,将时间戳的摘要值附于度量组件后,并加入随机数以规避时钟攻击。文章还设计了与vTPM度量列表形式相似的自更新日志,以完善度量验证。文章在基于Xen的实验环境下对方案进行功能性验证,实验结果表明,该方案可使攻击者的攻击时间成本呈平方级增加,完整性度量的安全性得到大幅度提高。     

壁山绿色环保示范工业园显无穷魅力——访中共重庆璧山县委书记范明文

2011年7月19日。总投资4亿元人民币，占地200亩的全球最大笔电键盘及鼠标生产商台湾精元电脑股份有限公司笔记本电脑键盘生产项目在重庆璧山工业园区微电园拓展区破土奠基，这是璧山笔电配套项目落地建设的新的里程碑。是什么魅力吸引这样的全球最大笔电配件生产商落户璧山？为此，本刊记者专访了中共璧山县委书记范明文。     

铜梁入围国际合作示范基地

“最佳管理水平城市”、“最具幸福感城市”，铜梁的两张闪亮的名片，吸引着来自四面八方的投资者。铜梁县委书记魏寿明告诉记者，铜梁在半年的时间里，先后获得最具幸福感县城和最佳城市管理水平奖两块奖牌，是重庆市唯一获此殊荣的县城，凝聚着铜梁人民多年的心血和智慧。     

基于容错虫洞路由的动态片上网络研究

提出将容错虫洞路由应用于动态片上网络DyNoC,能有效解决实时放置任务间的通信;并提出了增强型动态片上网络,增加了处理单元PE和周围路由节点Router的连线,并赋予PE自主选择路由源目节点能力,明显减少路由跳数,改善了网络的互连性.通过OPNET软件仿真,增强型DyNoC的平均端到端延迟比DyNoC缩短27%,而吞吐率则显著提高35%,可以有效缓减对片上路由资源缓存的需求.