分层可信计算平台模型的研究与实现*

提出了一种基于现有计算机网络的可信计算平台模型。该模型充分利用了现有的计算机及其网络平台的通用性,将现有的计算平台分层逻辑化为不同的信任层,不仅降低了可信计算平台模型实施的难度,而且提高了其灵活性、扩展性和效率;同时该模型从客户端系统的引导阶段出发构建完整的可信链,保证了可信计算平台的安全性;此外该模型解决了现有的可信计算平台的方向性和系统输入未知性的问题。原型系统实现的结果表明,由于系统中所有计算机及其网络构成统一的可信计算平台,使信任的传递从用户到用户,进而实现真正的对于用户体验的可信计算。     

粉煤气化技术碳利用率的影响因素及措施

气流床气化技术是现阶段工业生产煤气技术的主要技术,提升气化技术碳利用率,不仅能够有效的提升生产效率,还能够进一步的降低成本.本文介绍了对影响粉煤气化技术碳利用率相关因素的验证,提出了进一步提升碳利用率的相关措施.     

多段多级AO工艺在污水处理厂升级改造中的应用

云南曲靖污水处理厂升级改造工程设计规模8万m3/d,出水水质排放标准由《城镇污水处理厂污染物排放标准》(GB 18918—2002)二级提升为一级A标准。通过分析该厂实际进、出水水质及原AB工艺的A段运行情况,需要增加生物处理段。经过设计参数比较及经济分析最终选用多段多级AO工艺。介绍了工程的设计运行情况,分析了工程实施后所带来的环境和社会效益。     

一种安全有效的基于身份的聚合签名方案

聚合签名是一种将n个来自于n不同签名者对n个不同消息m的签名聚合成一个单一签名的数字签名技术。利用双线性对技术,提出了一种有效的基于身份的聚合签名方案。同已有的基于身份的聚合签名方案相比,该方案在签名验证方面具有较低的计算成本。最后利用计算Diffie-Hellman问题的困难性在随机预言模型下证明了该方案在适应性选择消息和身份攻击下的不可伪造性。     

基于预共享密钥认证的IKE协议分析与改进

对基于预共享密钥认证的主模式IKE协议进行研究,针对其安全漏洞以及不支持移动用户的缺陷,提出相应的改进建议。该方案能及时发现并阻止中间人攻击和拒绝服务攻击,同时保护双方的身份,没有固定IP地址的限制。性能分析表明,该方案是安全、高效的。     

采用双层协调机制的服务社区模型

Web服务的动态组合技术作为有效实现服务增值功能的重要方法已成为业界研究和发展的焦点,纵观已有的研究成果,其协调机制可分为集中和分散两种.但实际应用中,这两种机制都存在不足.针对这一问题,提出了一种采用双层协调机制的服务社区模型,并讨论了该模型的体系结构、注册原理、发现算法、替换规则等问题,最后与传统模型进行对比分析.结果表明,这种采用传统集中和分散相结合协调机制的模型,将UDDl分层设计与管理,可以更好地支持存储和管理资源;社区的内部自治性有利于提高服务发现和替换的效率,从而更有效地支持Web服务的动态组合过程.     

“软件人”群在入侵检测系统中的协调控制

在深入研究大系统控制理论、人工智能和"软件人"智能检测技术的基础上,采用先进的分布式体系结构,提出一种基于"软件人"群(MSM)的智能入侵检测协商模型.模型采取无控制中心的"软件人"群体结构,避免了单个中心分析器带来的单点失效问题.每个数据采集部件、检测部件和分析部件都是独立的单元,不仅实现了数据采集的分布化,而且将入侵检测和实时响应分布化,提高了系统的健壮性,真正实现了分布式检测的思想.     

一种基于ARQ技术的安全图像隐蔽通信方案

基于信息隐藏技术的图像隐蔽通信,需要解决隐藏信息不可检测和主动攻击条件下的通信可靠性两个问题.本文用广义信息熵来表示图像信息,给出了隐藏信息不可检测的条件.采用差错控制的ARQ技术解决主动攻击条件下的可靠通信问题,给出了ARQ技术所须解决的差错检测和检测编码,证明了给出的编码具有差错检测能力.本文所给出的方案适用于通信量较大的公共信道中进行图像隐蔽通信,在m位隐藏信息不全部出错的前提下,能保证可靠的隐蔽通信.     

“免疫软件人”概念及其协商控制模型

在研究生物免疫机理和软件人(SM)技术的基础上,将生物免疫特性融入SM技术中,提出了免疫软件人(ISM)的概念,设计了一种能够对动态网络环境进行实时监控和故障预警的多免疫软件人(MISM)联盟的协商控制模型;在对模型进行形式化描述的基础上,构造出一种新颖的ISM协商控制算法.以此构建的MISM联盟系统具有更强的灵活性、鲁棒性和局部更新能力,是一个适用于动态网络环境的自组织系统.     

面向轨迹数据流的KNN近似查询

提出一种基于滑动窗口的K-最近邻(KNN)近似查询算法。将滑动窗口内数据通过聚类划分成若干大小不一的基本窗口,针对每个基本窗口给定一个采样率,对窗口内数据进行偏倚采样,形成数据流摘要,并基于该摘要,采用计算几何平面扫描算法执行分布式最近邻查询。仿真实验结果表明该算法有效,且具有较好的可扩展性。