基于IBAS的SAML路径验证协议

在Web服务认证调用过程中,现有基于公钥基础设施(PKI)的签名机制在保证安全声明标记语言(SAML)断言的安全传递时会显著降低SOAP消息的传输效率。为此,提出基于身份聚合签名的SAML路径验证协议IBSPV,通过缩短签名值和验证公钥的长度,加快 SOAP消息的传输速度。在随机预言模型下分析证明IBSPV具有保证SAML断言的完整性、源不可伪造性以及传递路径不可篡改和抗 重放攻击等安全特性。通过比较IBSPV签名与PKI签名的断言长度,证明IBSPV协议具有更高的传输效率。     

一种用于深层网接口集成的模式匹配方法

针对已有证据理论(DS)方法在深层网接口集成方面的局限性,设计一种基于概念词与语义异构模型的深层网模式匹配方法。通过提取概念词对概念词模型进行预处理,识别并组合成组属性,使m︰n的复杂匹配转变为1︰1的简单匹配,提高系统执行速度。在语义异构模型中引入属性实例,将挖掘语义异构的同义属性问题,转化为对属性间各特征相似值的计算、综合评测和选取问题。实验结果表明,该方法在匹配效率和准确率上较DS方法有较大改进。     

一种基于自适应框架的Web服务选择算法

在服务组合中,动态环境的变化可能导致参与组合的Web服务行为发生变化。为此,提出基于自适应框架的Web服务选择算法,用于获取公共服务注册处的信息,并将其记录在本地绑定库中,利用链接分析算法获得绑定库某一时刻高链接度的Web服务,实现服务选择。实验结果证明,该算法可在服务组合中动态选择高质量的Web服务,降低由服务质量变化造成的服务组合失败率。     

基于概念特征的语义相似度计算方法

现有语义相似度计算方法没有充分利用本体中的语义信息,且计算方法复杂。为此,提出一种基于概念特征的语义相似度计算方法。根据概念在本体中的层次结构来确定特征集合,引入宽度影响因子,给每个特征赋予不同的权值,通过计算2个概念特征集合间的相似度得到概念的相似度,引入深度影响因子,将相似度公式表示成更直观的形式。实验结果表明,该方法计算简便,且比较接近人类主观的判断值。     

基于动态网页的Word报告自动生成方法

为减少日常工作中Word报告编制的工作量,提出一种基于动态网页的可扩展Word报告自动生成方法。将数据处理方法封装为数据占位符,并插入Word文档中定制报告模板。利用报告模板生成ASPX动态网页,根据用户操作调用相应的数据处理方法进行信息录入和检索,替换报告模板中的数据占位符,从而生成最终报告。应用结果表明,该方法能提高Word报告编制的效率。     

基于服务质量反馈的语义Web服务匹配算法

传统Web服务框架不支持基于服务质量(QoS)的查询,不能满足用户对服务性能的要求。针对该问题,通过建立QoS本体,提出基于服务功能和QoS的两阶段服务匹配算法。在此基础上设计一种基于用户反馈的服务质量算法,根据发布和反馈的QoS,综合评价服务的质量。实验结果表明,该算法能提高查准率,改善服务发现的性能。     

Web服务编制的形式化模型研究

为支持对业务流程执行语言(BPEL)语言的形式化分析和验证,提出一种Web服务编制的形式化模型——μ-BPEL。介绍模型的语法规则和操作语义,在此基础上,建立从μ-BPEL到扩展时间自动机的映射,利用模型检查技术研究服务正确性检验和与时间相关的检验问题。研究结果表明,该模型符合Web服务编制流程,满足系统设定的时态逻辑性质。     

Web服务中基于信任的跨域安全认证模型

在分析XCAML和WS—Security安全规范的基础上,设计出一种基于信任的跨域安全认证模型TB—WSCDSA。该模型解决了跨域服务双方身份认证的问题,并依据各自安全域的访问控制策略和信任计算所需的数据和算法,计算双方的信任度,根据信任度阈值比较结果对双方进行信任评估和授权,并将结果以信任证书的方式发送给服务双方以保证安全通信。     

基于移动Agent的服务组合的建模

采用形式化描述Web服务组合,从很大程度上推动了Web服务组合技术的实际应用。但现有的Web服务组合形式化建模方法在利用形式化工具时,均未很好地解决建模的层次性问题。为解决上述问题,提出了将Web服务组合问题映射为一个基于移动Agent的层次化服务组合模型,系统模型分为系统服务层和Agent层。模型设计充分体现了移动Agent的移动性、自主性以及系统层(移动Agent运行环境)的控制性。最后给出实例说明该方法。     

基于ARM嵌入式Web服务器的设计与实现

分析了基于ARM的嵌入式Web服务器,介绍了其设计和实现的主要技术,并且通过模拟应用来验证设计的可用性。