李景霞
- 作品数：7 被引量：123H指数：5
- 供职机构：中国科学院计算技术研究所更多>>
- 发文基金：国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于扩展颜色Petri网的Web服务组合建模研究
- Web服务技术日趋成熟，提供了一种平台独立、自描述、位置透明的软件模块。利用Web服务组合技术，能够快速、灵活的满足复杂多变的业务需求。当前Web服务组合的建模、分析验证、仿真运行等方面的研究还不完善，本文针对这些不足展...
- 李景霞
- 关键词：WEB服务PETRI网
- 文献传递
- Web服务组合综述被引量：82
- 2005年
- Web服务技术的快速发展使得利用Web服务组合来满足应用的需求成为可能。首先介绍了Web服务体系结构和两种有代表性的Web服务描述方式,接着着重介绍了当前主流的三大类Web服务组合方法并分析了各自的优缺点,最后指出Web服务组合研究面临的挑战。
- 李景霞侯紫峰
- 关键词：WEB服务WSDL语义WEBOWL-SWEB服务组合
- Web服务组合时间限制一致性研究被引量：2
- 2006年
- 随着W eb服务技术的发展,使得利用W eb服务组合来满足应用的需求成为可能。通过扩展W eb服务的OWL-S描述模型———加入W eb服务可用时间段描述信息,使检测组合服务时间限制冲突成为可能,并给出了W eb服务组合时间限制一致性检查算法,能有效地去除了存在时间限制冲突的服务组合方案,减少了因执行不合理的服务组合方案所造成的W eb服务资源的浪费。
- 李景霞侯紫峰赵慧娟
- 关键词：WEB服务WEB服务组合
- 基于颜色Petri网的Web服务组合建模及应用被引量：16
- 2006年
- 给出了用颜色Petri网来对W eb服务及服务组合建模,在描述服务内部控制结构的同时兼顾了数据流的描述,而且还给出了模拟W eb服务执行的引发规则,从静态、动态两方面描述了W eb服务及服务组合,最后还给出了一个应用颜色Petri网建模的实例。
- 李景霞侯紫峰
- 关键词：WEB服务WEB服务组合PETRI网颜色PETRI网
- 一种可信网络接入认证模型和改进的OSAP协议设计与研究被引量：5
- 2006年
- 目前导致安全事件的主要原因是主机软、硬件结构存在设计漏洞并且对用户没有进行严格的认证和授权控制。传统安全防范的重点放在对服务器和网络的保护上,而忽略终端接入者本身的安全。但大多数的攻击事件都是由终端接入者本身不安全而引起发的,所以只有从终端接入的源头就建立起安全体系,内外共防来构造真正安全可信的网络环境。本文在参考现有认证技术和可信计算的特点的基础上,提出了一种基于可信计算平台的网络可信接入认证模型。利用此模型可以解决设备安全接入的认证问题。通过使用国际通用准则(CC)评估后,也确定了此方法的有效性。通过认证后的设备需要使用OSAP认证协议向服务资源发出申请,鉴于此协议存在替换攻击的缺陷,本文提出改进的OSAP方法来增强协议的安全性。在863项目“可信计算系统平台”中的实际应用证明上述的模型和方法的有效性,并展现了其良好的应用前景。
- 肖政李景霞刘小杰陈军侯紫峰
- 无线局域网下PCF结点切换时的资源预留方案被引量：3
- 2005年
- 在无线局域网(WLAN)环境中,对VoIP等实时应用结点在漫游切换时,提前在邻居AP小区进行带宽资源预留是保障其获得持续、一致QoS的主要措施·但是目前的资源预留方法要么计算复杂,不符合WLAN的实际情况;要么效率低下,不能很好地为切换结点提供资源保证·在结合已有的预留算法的基础上,根据WLAN本身的特点,提出了一种PCF结点资源预留方法,使VoIP结点采用PCFAP轮询信道访问方式,通过VoIP结点漫游时发现邻居AP的存在,提前向邻居AP发出资源预留请求,同时邻居AP根据网络状况动态调整预留资源大小·仿真实验结果表明,在不浪费无线带宽资源的条件下,提出的方法相对于其他预留方案能够获得更低的切换连接掉线率·
- 杨仁忠侯紫峰李景霞
- 关键词：无线局域网切换资源预留
- 基于标签Petri网的OWL-S建模与分析被引量：9
- 2007年
- 提出了OWL-S过程模型的标签Petri网建模方法,给出了过程模型到LPN的转换规则,利用LPN分析方法对模型进行了可达性分析、死锁检测,能有效地检验过程模型描述的正确性。在OWL-S编辑器中嵌入该功能,完善了编辑器的功能。
- 李景霞肖政侯紫峰
- 关键词：可达性死锁
