内容分发协议ShareStorm的Neighbor Selection机制

针对BitTorrent行为及其Neighbor Selection机制存在的缺陷,提出一种有效度量P2P内容分发协议的实验方法,并设计一种新的内容分发协议ShareStorm,该协议的Neighbor Selection机制充分考虑互联网拓扑和通讯成本,更倾向于与本地的peers建立邻居关系.经初步验证,在下载完成时间这个最主要的性能指标上,ShareStorm比BitTorrent至少减少50%.     

一种无密钥托管的移动IPv6网络匿名密钥分发协议

针对基于身份的密码体制IBE中固有的密钥托管问题,本文提出了一个移动IPv6网络环境中的无密钥托管匿名密钥生成机制与分发协议.该机制将节点身份认证和密钥生成与分发这两个过程分离,利用不可区分性匿名密文安全性在PKG不知道节点地址的情况下分发私钥给经过身份认证的节点,使得私钥生成中心或认证中心即使被单独攻破,攻击者也无法实现身份碰撞.可将身份认证中心部署于家乡服务器,而将PKG离线部署.经安全性分析,协议有效解决了移动IPv6网络中基于身份密码体制的密钥托管问题.     

基于关键词的对等网络节点群相似性度量模型研究

为了进一步提高基于P2P的内容分发网CDN（content delivery network）的搜索效率,对用户就近组成的节点群（peer group）进行了研究,提出了节点群相似的概念和基于关键词的节点群相似性度量模型.当一个需求在本节点群不能满足时,优先到相似性高的节点群中查找,以较快地满足跨节点群的需求.度量模型对任意两个节点群首先根据节点中各文档关键词的一致程度判断对应两个节点的相似度,然后根据相似节点对的数量和相似度来判断两个节点群相似度.实验表明,使用所提出的度量模型得出的计算结果比传统的基于VSM的算法更接近于实际情况.     

渐进式P2P移动空间数据传输技术研究

在分析当前移动GIS发展中存在的问题以及移动空间信息数据分发新需求的基础上,对在移动环境中数据量大、无线信号不稳定情况下的服务访问、数据传输等进行了深入研究.引入对等网络（P2P）技术,解决了在无线网络环境下客户端因受网络质量影响和大规模空间数据显示耗时长的问题,有效地提高了移动GIS系统的效率与稳定性.实验表明,通过P2P服务缓存下载和地图服务渐进式传输方式,能有效缩短用户访问的响应时间,改善因网络不稳定造成数据丢失的状况.     

KPET:一种新的可扩展组密钥管理协议

提出一种新颖的组密钥管理协议,该协议指定Internet上的不可信路由器充当演化节点,组织一棵分层的密钥参数演化树,演化并传送生成会话密钥的相关信息.通信成员被划分为子组后依附在演化节点上,并根据收到的密钥演化信息和自己持有的秘密参数计算出用于安全组通信的会话密钥.该协议的优点为密钥管理负载由树中不能泄露组通信内容的演化节点所分担,且每个演化节点的密钥管理开销独立于组规模,实验结果表明:本文的协议比已有的LKH和IOLUS协议具有更好的可扩展性.     

一种面向IaaS租户的资源完整性度量协议

提出一种IaaS(infrastructure as a service)完整性度量协议,该协议允许租户主动发起对IaaS资源的度量和验证,使租户能够检测其自身资源的完整性状态,增强IaaS资源状态的可见性.利用SVO逻辑对协议的安全性、完备性进行了分析,并搭建实验平台对协议的抗攻击能力和时间性能进行了验证.分析和实验证明,该协议能够抵御重放攻击、假冒攻击等多种形式的攻击,同时协议的执行耗时不会影响租户的正常使用体验.     

一个IP服务质量控制模型:DiffServ over MPLS

融合了多协议标记交换（Multiprotocol Label Switching,MPLS)和区分服务（Differentiated Services,DiffServ）技术,建立了DiffServ over MPLS模型,研究了在模型上承载区分服务,以实现端到端的服务质量（Quality of Service,QoS) 的技术。详细描述了其中的重要概念、分组的转发处理过程及基于约束路由的标记分发协议（Constraint-based Routing Label Distribution Protocol,CR-LDP)的扩展细节。     

一种密钥协商协议的自动化设计方法

通过引入优胜劣汰的自然规律,提出了一种改进的基于演化计算的安全协议自动化设计方法.该方法采用SVO逻辑作为描述协议的基本工具,给出了能全面衡量安全协议个体性能的评估函数,并据此理论设计出一种满足安全目标的密钥协商协议,保证了最终生成协议为最优解.实验结果显示:由于在协议生成过程中,同时进行了该协议的安全验证,能很好地保证所涉及协议的正确性和安全性.表明该方法具有较强的可行性和适用性.     

基于Tamarin Prover的5G EAP-TLS协议的形式化分析

为了保证5G专用网络中移动设备的通信安全,第三代合作伙伴计划（3rd generation partnership project, 3GPP）提出了5G可扩展认证协议-传输层安全（extensible authentication protocol-transport layer security, EAP-TLS）。然而,现有的针对于5G EAP-TLS协议的研究工作较少且缺乏系统性。因此,对5G EAP-TLS协议进行详细的描述,并对该协议进行全面的形式化建模。对5G规范中涉及的所有协议实体以及证书分发机制进行建模,同时从5G规约中提取并建模了与5G EAPTLS协议相关的安全目标。提出证据搜索策略引导符号分析工具Tamarin Prover进行自动化证据搜索,解决了Tamarin Prover在验证复杂模型时验证过程无法终止的问题,实现了5G EAP-TLS安全目标的自动化验证。通过分析验证结果,发现了5G EAP-TLS协议能够满足机密性目标,但难以满足一些认证性目标,同时,揭示了协议存在拒绝服务（denial of service,DoS）攻击和用户通信数据泄露的隐患。针对...     

一种基于新的选举策略的分布式共识协议

针对在网络和节点故障率较高环境下的副本状态机一致性问题,提出一种改进的分布式共识协议xm-Paxos.通过选举确定性较高的副本节点作为集群的领导者,加快集群节点对决议结果的确认;同时简化共识协议的重确认过程,减少重确认的消息传递.实验结果表明,在节点故障率较高、网络状况复杂的运行环境下,与使用Paxos算法进行选举的Multi-Paxos协议相比,xm-Paxos协议提高了集群节点的可用性和容错性,并降低了通信负载.     

基于P2P的万维网服务发布和发现机制的研究

目前采用集中式UDDI服务发布和发现机制的万维网服务体系结构存在着缩放性及可靠性差等方面的问题,而P2P是非中心化的分布式网络,具有较好的缩放性和可靠性．因此引入P2P机制来代替传统集中式的UDDI机制来实现万维网中的服务发布和服务发现,提出基于P2P的万维网服务发布和发现机制的模型,并探讨在P2P上万维网服务发布和发现机制的具体实现．     

HZSM-5催化剂上超临界乙醇中生物油催化提质及检测方法研究

采用不同硅铝比的HZSM-5催化剂,在不同条件下(超临界、亚超临界、非超临界乙醇)催化提质生物油中的高沸点组分(HBF),应用磷核磁共振(31P-NMR)定量检测了提质前后生物油中醇、酚和羧酸类羟基的质量比(羟基质量/生物油质量)变化,研究和评价了催化剂和超临界条件对生物油催化提质的效果.研究表明,超临界条件有利于生物油中脂肪族羟基的转化,但是不利于非缩合羟基的转化;使用不同酸强度的HZSM-5都能使生物油中的羧基完全转化,增加催化剂的酸强度可以促进脂肪族羟基的转化,而只有酸性较弱的催化剂才能顺利转化非缩合酚羟基.     

可证安全的Internet密钥交换协议

针对IKEv2初始交换存在认证失败和发起者的身份暴露问题，提出了一种改进协议．新的协议采用SIGn-and-Mac认证方法来完成显式密钥认证，并且在协议中让响应者首先证明自己的身份，实现对协议发起者的主动身份保护．同时协议双方在自己发送的消息中包含期望的消息接收者来防止认证失败．另外协议中还引入了不可否认性，使得协议交互双方对自己发送的消息内容不可抵赖．分析表明：新的协议在Canetti-Krawczyk模型中是会话密钥安全的，并且性能上相对于IKEv2仅仅增加了一次对称加密运算，大大优于IKEv1．     

智能家居中X-10协议电力线载波模块的设计

随着智能家居的快速发展, 家电设备之间互联已成为迫切的需求. 在分析X-10协议和电力线载波通信工作原理的基础上, 基于X-10协议设计了一款电力线载波模块, 并给出了实现X-10协议的电路设计及软件流程, 经实际检测可靠性较高.     

基于P2P移动终端的多源空间数据访问策略

分析当前地理信息系统在多服务器协同与空间数据共享和互操作之间的问题,引入基于对等网络(P2P)的节点调度与路由查询技术,通过建立和发布web服务,采用基于多源数据统一访问策略,实现移动网络的终端管理、会话管理、空间数据管理等功能,并根据服务质量对节点进行分组分级管理,从而发挥P2P在空间数据管理和查询上的高效性.实验表明,利用P2P技术能有效提高移动终端在大规模海量地形数据更新过程中对多源数据库的访问效率.     

C60P4 的电子结构和光谱研究

用INDO 方法研究C60与P4 四面体的超分子聚合作用, 表明所形成的四种异构体中, P4 四面体的一条棱与C60母体的某一双键相连时形成的开环结构最稳定, 此产物具有C2v对称性.以优化构型为基础, 计算四种产物异构体的UV 谱, 在对电子跃迁进行理论指认的同时, 讨论了产物UV 谱带红移的原因.     

人t-PA P区在大肠杆菌中表达及其活性研究

用PCR方法获得编码人组织型纤溶酶原激活物（tissure-typeplasminogenactivator,t-PA）C端P区肽段的DNA,并经测序证实,长810bp,含有全部的t-PA的丝氨酸蛋白酶编码序列.将这段序列克隆到表达载体pQE30中转化大肠杆菌JM109菌株,经SDS-PAGE检测转化菌株中表达出分子量约29×103的蛋白,用纤维平板法测定激活纤溶活性,结果表明表达的t-PA蛋白C端P区具有很强的激活纤溶蛋白酶原的活性.证实t-PA蛋白C端P区的酶结构区的功能是独立的,其生物活性不受其它区域影响．     

L-群P(G)格的一些性质

本文讨论了L-群格C(G),U,P(G)之间的关系,并用P(G)格的理想,刻画了L-群的Z-子群。