基于消息匹配的认证协议分析

为了有效地分析和验证认证协议的安全性,找出协议的漏洞,介绍一种基于消息匹配的形式化分析方法。利用串空间对协议进行建模,吸取模型检测的思想,分析攻击者可能扮演的角色以及协议的执行规则,在此基础上逐步给消息和主体知识集中的变量进行赋值,并匹配消息中已被确定的常量,以此找出具体的攻击路径。同时,结合认证测试方法简化分析步骤,针对分析过程对协议进行有效的改进。

Web服务组合中异构消息匹配模型研究

针对Web服务组合中异构消息匹配问题,以标准WSDL作为Web服务接口的描述语言,在建立共同领域本体的基础上,对Web服务接口信息进行语义扩展,通过本体匹配的方式提取Web服务接口XML Schema文档,将Web服务组合中异构消息匹配问题转化为XML Schema匹配,并应用XML Schema自动匹配算法及结合Web服务消息的特点,达到Web服务组合中异构消息自动匹配的目的。

基于B+树的发布/订阅并行匹配算法

现有的消息匹配算法不能很好地满足大规模分布式发布/订阅系统中海量数据的有效分发。为此,提出一种高效的发布/订阅并行匹配算法。采用B+树的存储结构,订阅消息按属性-值进行空间划分,建立多级索引订阅属性树,消息匹配采用改进的B+树查询方法,结合计数的思想实现快速消息匹配。实验结果表明,该算法在大规模分布式发布/订阅系统中,消息匹配时间短,订阅匹配树生成迅速,匹配效果更好。

信通机器人多场景问答的人工智能技术研究

信通行业客户所提出的交互独立问句缺省较多,且上下文的关联性较强,导致当前的信通客服机器人的回复技术已经无法满足客户需求。为此,提出信通机器人多场景问答的人工智能技术。信通客服机器人回复内部架构的设计包括语音识别、文本识别、语义理解和对话交互等多种功能模块。利用朴素贝叶斯分类器对客户消息进行识别分类。通过联系上下文提取客户消息中的问点,将长短期记忆网络应用在回复消息匹配的计算过程中,以获取较优的回复内容。在客服机器人性能测试中,设置了不同场景以进行测试。测试结果表明,在不同的场景中,信通客服机器人的各个指标均优于传统的客服机器人,并且具有较好的问答回复效果。该结果验证了所设计的客服机器人的场景通用性和有效性。

Web服务组装语言的研究

为了解决Web服务组装过程中的组装粒度控制和异构消息匹配等问题,在语义Web服务集成平台研究的基础上,论文介绍了一种新的Web服务组装过程语义描述语言CPSDL(CompositionProcessSemantic-basedDescriptionLan-guage),并给出了该语言与目前应用比较广泛的BPEL4WS语言进行转换的算法。CPSDL采用了独特的自顶向下的流程组装形式和支持异构消息匹配的消息组装方法,提供了对Web服务组装过程的语义和实体两方面的描述,为Web服务的组装提供了新的解决方法。

基于JMS的一种消息过滤改进算法

本文分析了JMS发布/订阅模式下传统的消息过滤机制,针对其不能快速处理大量相同或相似消息的缺陷,提出了一种改进的消息过滤算法。通过对所有订阅条件进行预处理来优化匹配结果,在此过程中并对相同或相似订阅条件属性进行处理,从而提高消息匹配效率。