一种基于区块链的可信捐助方法

传统捐赠平台的中心化管理导致了求助信息和捐赠信息缺乏可信度的问题。区块链具有去中心化和不可篡改的技术特征,为实现去中心化模式下的可信捐助奠定了基础。针对中心化管理模式下的慈善捐赠行业存在的问题,该文提出一种基于区块链的去中心化的可信捐助方法。针对去中心化模式下求助和捐赠数据真实性验证的问题,设计了交易的数据结构,提出了适用于该方案中对交易进行可信管理的双链结构。针对去中心化模式下求助和捐赠交易发布真实性验证问题,提出了基于区块链的求助和捐赠交易发布的真实性验证方法。最后基于以太坊实验平台,仿真实现了该可信捐助方法,仿真测试的结果证明了该方法的正确性以及可行性。     

自主信息网络安全的概念与模型

信息网络安全一直是信息技术领域的热门课题,自主联网是移动自组织网络和物联网研究领域的一个感兴趣的课题,自主信息网络安全则是未来网络不可回避的一项研究课题。在分析和定义了网络域、安全网络域和自主网络域等自主信息网络安全相关概念的基础上,运用统一建模语言(UML)构建了自主信息网络安全用例模型和自主信息网络安全数据模型;通过对模型的分析,论述了自主信息网络安全体系可以较为全面地解决无人工干预的网络应用领域的安全问题。     

Axis中访问控制的一种改进

在因特网服务环境中访问控制是一种急需解决的问题.作为一种因特网服务实现环境,Axis仅仅提供了基于用户的访问控制机制,这种机制在应用中低效、管理中复杂.文中分析了RBAC(role-based access control)的理论参考模型,首次详细的介绍利用Axis的处理程序机制对Axis的访问控制机制进行改进,说明了在Axis中实现的RBAC模型,使得Axis的安全性能得到显著提高.最后给出了改进前后系统的性能分析.     

MANET中安全聊天室的设计与优化

移动自组织网络是一种动态的网络,该网络中的结点的动态加入和退出使得网络聊天室面临很多的安全问题.针对于这些问题,通过优化和设计了访问券授权中心来加强其安全性和简化其复杂性;通过建立证书授权中心和访问券授权以及访问控制的三位一体的实现方案,完成了优化的身份验证和聊天室的访问控制;通过测试可知新的优化方案简化了安全聊天室在成员加入时的复杂性,强化了成员加入时的安全性.     

基于语义检索树的服务动态组合算法

在动态执行环境下自动、高效的选择各类异构的万维网服务并进行有效的组合是语义万维网服务研究的一大热点.本文提出了语义检索树的概念以及构造方法.通过构造语义检索树,对所有注册服务的信息进行有效地组织并支持服务快速语义检索,然后采用归约思想来简化组合流程自动生成.与现有算法相比,本文提出的方法不仅能有效降低服务检索空间,而且在某个原子服务失效时能快速选择替代服务.场景案例及实验结果进一步证明了该方法优于其它同类算法.     

因特网多媒体会议系统研究

因特网 (Internet)多媒体会议系统是一种典型实用的计算机支持协同工作 (CSCW)应用 ,最近几年发展很快 ,受到了广泛的重视。对因特网多媒体会议系统的特征、体系结构和发展现状进行了研究。     

SIP协议组合模型的研究

在传统的会话发起协议的实现中,实现软件可重用度低、不易于SIP(会话发起协议)的功能扩展,文中采用基于CSP(通信顺序进程)理论的协议组合模型将SIP协议分解成协议构件,准确地描述了SIP协议实体之间的交互,在此基础上建立了一个可以方便地、灵活地进行SIP功能扩展的SIP协议组合模型。这个组合模型首先将SIP协议分解为具有独立功能的构件协议,然后通过这些构件协议的组合来实现更多的SIP功能。这个模型解决了传统的SIP协议实现软件可重用度低、不易于进行功能扩展等缺点。同时,采用CSP对该模型进行形式化描述,从而说明通过构件协议的组合可以实现SIP的功能。     

IP网络访问控制机制的设计与实现

网络安全问题的严峻性和安全需求的普遍化,要求人们有必要在IP网络中提供基础安全控制.基于面向网络基础设施的安全模型,通过分析网络层的安全威胁,设计了IP网络访问控制机制.该机制由密钥协商和报文检测协议组成,实现通信双方的双向身份验证,保证传输过程中报文的真实性和完整性.在比较各类形式化技术的基础上,采用抽象协议表示法对相关协议进行了形式化描述和验证.该访问控制机制提供网络主机间的访问控制,解决了其他在网络边缘实施的访问控制机制无法解决的网络内部安全问题.该机制适合在较小的网络范围内实施,如局域网等,适合于更大网络范围的机制正在研究中.目前已经在Linux平台上实现了该机制,并简单分析其性能.     

HIPL改进的Cookie机制研究与设计

在深入研究主机身份协议的实现HIPL(Host Identify Protocol for Linux)的基础上,针对HIPL中Cookie机制存在计算开销和存储开销过大,Puzzle伪随机函数是线性的,以及HIPL难度系数没有考虑到响应端资源占用情况等问题,提出了改进机制IHC(Improved HIPL Cookie)。通过减小开销大的响应端数据和状态信息存储,利用资源平衡机制,在服务质量非最优状态下,对Cookie机制进行调整,并在Linux平台下实现和测试了IHC机制。实验表明,IHC机制可有效保护响应端的系统资源,提高系统性能,可避免出现系统服务终止或崩溃。     

一种基于区块链的房屋租赁应用

为实现房屋租赁的去中心化可信交易,同时保证房屋租赁应用中房源信息的真实性,研究基于区块链的房屋租赁应用。区块链的去中心化以及防篡改特性为房屋租赁应用提供了新的设计思路。针对房源信息真实性的问题,提出物联网+智能合约的房源信息“上链”方案,该方案能够有效保证房源信息的真实性。为实现房屋租赁交易的可信管理,基于比特币交易模型提出一种适用于房屋租赁应用的交易模型,最后利用以太坊平台完成了基于区块链的可信房屋租赁应用的仿真实现。