《可信计算》专辑-中科院计算所.docVIP

《可信计算专辑》前言 计算服务的安全、可靠一直受到广泛关注。可信计算的研究已经进行了三十多年，特别是在航空、航天、金融、证券、交通等安全关键领域，已经得到广泛应用。自从上世纪九十年代以来，由于计算机网络的大发展，安全问题提到了更加广泛而突出的位置，可信系统和网络受到所有一般计算服务的用户的关注，业界正为此做出巨大努力。本专辑特邀美国工程院院士、IEEE院士、ACM院士、卡内基梅隆大学计算机科学与电气和计算机工程系D. Siewiorekj教授联合哈尔滨工业大学杨孝宗教授，美国Chillarege 公司R. Chillarege博士，以及美国依利诺大学阿贝纳-香滨分校交叉科学实验室Z.Kalbarczyk 教授发表了综述“可信计算的产业趋势和研究”。该文从可信计算产业发展趋势出发，说明学术界应该在应用于终端的产品或实验性产品以及生产这些产品的过程三方面对产业界提供技术支持。本专辑以下论文分为容错和安全两大部分。 集成电路的设计与测试是可信系统的基础。国防科技大学龚 锐等的“FT51：一种用于航天应用的容软错误高可靠微控制器”设计并实现了一款用于航天的容软错误高可靠微控制器FT51，能检测和屏蔽受到高能粒子轰击而发生的单事件翻转和单事件瞬态故障。中国科学院计算技术研究所张仕健等的“一种向分支指令后插入冗余指令的容错微结构”试图用向分支指令后插入冗余指令的办法容某些瞬时故障，详细论证了这种方案的可行性。中科院计算所张旻晋等的“面向串扰时延效应的时序分析方法及在集成电路测试中的应用”则试图用逻辑测试的方法检测纳米集成电路串扰效应所带来的功能问题。合肥工大梁华国等的“部分向量奇偶位切分的LFSR重新播种方法”提出了一种进行测试压缩的可测试性设计方法。 软件容错是提高计算系统可信性的重要手段。北京大学李军国等的“一种中间件服务容错配置管理方法” 在用软件实现容错时，支持开发者和管理员，针对不同中间件服务失效，定制合适的故障检测和修复机制。海军工程大学马良荔等的“基于耦合测试信息元数据模型的构件集成测试”提出由构件开发方提供有关构件内接口变量定义和使用的信息，以帮助构件集成时的软件测试。哈尔滨工大学模型研究模型 系统级的容错技术对构建可信系统无疑是至关紧要的。成都信息工程学院万武南等的“RAID-EEOD：一种基于3容错阵列码的RAID数据布局的研究” 扩展了EVENODD码，在磁盘阵列中，只要3个额外的磁盘保存校验信息，就能容许任意3个磁盘同时故障。中科院计算所汤海鹰等的“基于服务部署的高可用模型及其可用性分配算法”提出一个基于服务部署的高可用系统模型，能够根据服务可用性期望值，从系统的观点出发合理分配资源。华中科技大学罗威等的“异构分布式系统中实时周期任务的容错调度算法”提出一个基于抢占性实时周期任务的可靠性调度模型。在允许单处理机故障情况下，对基于异构分布式系统提出一个实时容错调度算法进行任务的分配，以提高系统的可调度性和可靠性。 可信网络受到各种因素的制约，需要研究的问题甚多。国防科学技术大学邓晓衡等的“iVCE中基于可信评价的资源调度研究”在基于因特网的虚拟计算环境下，为了对可信的用户进行资源共享，提出了一种可信优化的资源调度算法，比原有算法性能有所提高。北方工业大学赵会群等的“一种基于代数方法的路由振荡检测算法研究”基于路由网络代数提出了一种新的路由振荡检测方法，可以用于主干网BGP路由表的冲突检测。中科院软件所曹冬磊和香港理工大学曹建农等的“一种无线传感器网络中事件区域检测的容错算法” 考虑无线传感器网络中特殊环境事件区域检测。既考虑事件的空间相关性，也考虑事件的时间相关性，提出一种以局部检测为主的分布式事件区域检测算法。在传感器发生错误时，该算法仍然可以检测到事件区域和错误传感器。 对安全计算的研究，既有工程问题，也有理论问题。 在网络蠕虫、攻击检测、访问控制方面收录论文4篇。“基于拓扑结构的蠕虫防御策略仿真分析”一文提出了基于拓扑结构控制的蠕虫防御策略,并通过构建仿真模型对其进行了仿真验证分析；“自然着色聚类过程中的网络安全事件计算”一文利用自然着色聚类过程中的TCP宏观平衡性仍然保持不变特性从多个具有着色关系的短比特串映射的存储空间得到TCP宏观异常中发起者、受害者的聚类信息，。“随机消息伪造攻击PMAC和TMAC-V”一文利用模式的局部差分恒等原理，针对PMAC和TMAC-V 两种工作模式，给出一种新的随机消息伪造攻击标准模IND-CCA2完全匿名的短群签名”一文基于线性假设下的Cramer-Shoup加密方案，提出一种新的在Bellare-Micciancio-Warinshi模型下可证明安全的短群签名方案，具有IND-CCA2完全匿名性。 在数字水印方面收录论文2篇。“小波变换中边界问题对水印算法性能影响的研究”一