提供向前保密性的无线密钥交换和双向认证协议

提出了一种适用于无线移动场景的安全，有效的双向认证密钥交换协议FS-MAKEP。与同类双向认证和密钥交换方案相比，该方案不仅在安全性上有很大优势，而且能提供ES-MAKEP，L-MAKEP和I-MAKEP所缺乏的向前保密性，并作出了形式化证明，证明了协议的安全性。最后，在计算开销上与ES-MAKEP作了详细对比。     

电子支票系统的反欺诈取证研究

香港于2015年12月在中国银行(香港)、香港上海汇丰银行、恒生银行等九家银行推出电子支票服务.电子支票是纸张支票电子化和网络化的对应物,开票及入票程序可在网络系统中闭环进行,具有系统高度自动化,方便快捷,成本低廉的特点.虽然其他国家数年前开始研究电子支票,但是因为安全性问题,使得电子支票被延迟数年后才被香港首次应用于...     

基于Agent的分布式入侵检测系统框架设计

在分析现有基于Agent的入侵检测系统的基础上,提出了一种基于Agent的DIDS(Distributed Intrusion Detection System,分布式入侵检测系统)模型,系统采用分布检测,分布处理的模式,通过多Agent技术的思想建立DIDS整体结构,用Agent实现不同的功能单元,给出了模型的各个组成部分,并对模型中各种Agent的功能设计和实现原理进行了分析;尽管Agent的相关理论和系统有待发展与完善,但由于网络系统的分布式的特点以及网络应用的发展,基于Agent的检测框架应是未来IDS发展的重要方向.     

基于XML的构件组装平台的设计与实现

构件组装技术是支持软件复用的核心技术,构件组装平台的使用将系统开发的重点从程序设计转移到已有构件的选取、组装和部署;在构件模型的支持下,通过复用已有的构件,软件开发者可以"即插即用"地快速构造应用系统;在此,给出了一个基于XML的构件组装平台的设计与描述,并且根据构件自身特点和构件组装的需要自定义了基于XML的软件结构描述(SAD),其中包括基于XML的构件描述、连接子描述和组装结构描述,这些描述对连接子生成与构件组装提供了基本的信息支持.