Web Services通信环境下的安全机制

能在Internet上实现互操作的WebServices由于自身的优点．近年来已成为一个新的研究热点,但是其安全性这一潜在问题也日益引起人们的关注。文章从Web服务的安全需求出发,提出了Web服务通信环境下的集成服务安全支撑平台解决方案。对C／S模式的Web服务安全通信流程进行设计,结合WS—Security标准．建立了Web服务安全通信系统的有效功能模型,解决了现有安全机制在WebServices中不能提供足够安全保障的不足．有效地保证了Web服务环境下端到端的通信安全。     

Web Service安全技术研究

信息技术的迅猛发展,使我们进入了面向服务的时代,Web Service正是这个时代的产物。它的兴起促进了分布式系统及异构系统跨平台的集成。但是,由于Web服务基础技术的原始规范中没有提到安全性的问题,这使许多领域不敢使用这一技术。庆幸的是,WS-Security规范的出现弥补这个缺陷。本文首先介绍了WS-Security规范,然后以.NET Framework平台为基础,提出了SOAP消息加密的实现方法。     

Web服务管理标准互操作性分析

介绍了当前两大主流的Web服务管理标准WSDM和WS—Management,并从标准体系对现有标准的支持与应用、标准体系中的功能点（管理资源建模、管理资源状态和属性的获取、管理事件消息的传输）、安全机制等方面对两项标准进行互操作性分析,最后从产品市场角度展望标准的未来发展趋势。     

基于Petri网的Web服务注册方法的研究与实现

为了使Petri网理论与方法在服务组合相关问题中得到实际应用,从软件实现的角度,解决面向Web服务组合的Petri网的自动生成问题,本文提出了基于Petri网的Web服务注册方法.首先根据已建立的领域本体来规范Web服务各参数的定义,然后依据Web服务的输入输出参数绘制其相应的Petri网,同时对Web服务Petri网中的库所元素添加语义标记,进而得到Web服务的PNML(Petrinetwork markup language)+OWL(ontology web language)描述,最后将Web服务相关信息及其PNML+OWL文件上传至服务器端进行注册和存储,为Web服务组合的Petri网自动生成提供了基础,并通过机票查询原子Web服务与旅游查询复合Web服务对本文方法进行了具体说明.     

基于Web API的固井工程设计系统研究

随着网络技术的更新换代,Web服务器提供了新的网络服务方式:网络应用程序接口(Web API).Web API包含了广泛的功能,该接口实现了存储服务、消息服务、计算服务等功能,这些功能可以进一步开发出强大功能的Web应用.本文主要介绍基于Web API的固井工程设计系统的原理和工作过程,并详细介绍了Web API的概念及工作方式.     

基于消息代理的数据集成框架研究

介绍了数据集成的基本概念及集成方法，同时分析了异构数据源的共性。为此，笔者设计并实现了基于消息代理的数据集成框架。该框架借鉴了Web服务的体系结构．并利用消息中间件的消息传输机制改善Web了服务在数据集成方面的不足。     

基于服务分组和调用轨迹的Web服务组合验证方案

针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合交互规范来验证组合模型的可行性。实验结果表明,该方案能够有效验证Web服务组合的正确性,且避免了死锁现象。     

Spring REST风格Web服务的Json消息封装及解析研究

针对Spring RestTemplate和AJAX对REST风格的Web服务的调用处理,讨论了Spring MVC编程中用Jackson消息变换器和用Google的Gson工具对Json对象进行包装处理的详细配置和使用方法,并给出了消息转换的各自应用特点。     

Websense安全软件晋级6.2版--V6.2整合Microsoft(R) XP桌面防火墙

随着内容安全市场的不断升温,网上安全和网页过滤软件厂商Websense迎来了公司业绩的爆发阶段.近日,Websense欧洲及亚洲区副总裁Geoff Haggart先生、大中华区销售经理龚珏萱女士等一行在北京向媒体介绍了公司新推出的Websense(R)W eb Security SuiteTM以及Websense(R)Web Security SuiteLockdown EditionTM6.2版本.     

基于RBAC的安全管理模块的设计与实现

本文通过研究RBAC(Role Based Access Control)的经典模型,针对Web资源访问的特点和安全问题,给出了Web系统安全管理模块的设计原则,然后以Spring Security作为框架,给出了安全管理模块的无侵入式的实现方法。     

基于XYZ/ADL的Web服务组合描述与验证

Web服务组合是当前Web服务领域的一个研究热点,目前已有一些相关的描述与验证方法,本文从软件体系结构角度研究Web服务组合描述与验证方法.基于软件体系结构描述语言XYZ/ADL和精化检验/模型检测方法,提出了一种Web服务组合的描述与验证方法.XYZ/ADL是时序逻辑语言XYZ/E的扩展,考虑到多数Web服务具有实时特征,采用XYZ/E的实时扩展语言XYZ/RE表示系统应满足的时间约束.针对Web服务组合系统,根据XYZ/RE到时间自动机的映射规则将系统描述转换为对应的时间自动机,分别采用精化检验和模型检测两种技术验证Web服务组合的正确性;最后通过两个实例分析分别阐述了上述方法的可行性和有效性.     

A formal method for synthesizing optimized protocol converters and its application to mobile data networks

As mobile information networks are expanding rapidly, we expect to integrate voice, paging, electronic mail and other wireless information services. Interworking units that perform protocol conversion at the boundaries of different networks will play an important role. In this paper, we propose an efficient algorithm for constructing optimized protocol converters to achieve interoperability between heterogeneous data networks. This algorithm first derives constraints from two given protocols, and apply the constraints to channel specifications, thus removing message sequences that do not contribute to system progress. Then, an optimized converter is generated from a given service specification, the two protocol specifications and the modified channel specifications. A reduction relation is used to compare the service specification and the constructed internetworking system in order to deal with the problem of nondeterministic services. Compared with related works, our method has two advantages: (1) it generates an optimized converter; (2) it can be applied to the case that the service specification is nondeterministic. The application of the method to mobile networks is given by an example. This revised version was published online in June 2006 with corrections to the Cover Date.     

OOPN下基于优先级算法的Web服务组合

结合面向对象技术和Petri网技术的优点,将Web服务映射为一个对象,把对象抽象为一个方法的集合,通过对象的输入输出消息接口在方法层上讨论Web服务的组合.给出第一、第二优先级的定义,设计一个优先级算法,根据优先级能够选择出最佳的Web服务进行组合,从而得到最优组合Web服务,满足用户的服务请求.最后,给出一个Web服...     

基于JBoss实现Web服务与通信业务整合

作为面向服务体系( SOA)的最主要的实现方式,Web服务(Web Services)技术被认为是业务整合的主要基础之一.根据ParlayX的Web服务规范,在NGN/IMS网络环境中,提出了一种基于JBoss服务器的以Web服务的方式交付通信业务的下一代网络融合业务平台架构,详细分析了Web服务与通信业务之间的交互方式,并利用该融合业务平台架构实现了一个第三方呼叫控制示例业务,展示了如何整合Web服务和通信业务,验证了该融合业务平台架构的可行性.     

基于北斗的渔业交易信息服务的研究与实现

为了解决目前渔业供需信息实时性不高的难题,使供需信息能通过渔业信息服务平台实现统一的信息收集、整合和发布,提出了一种基于北斗短报文的渔业交易信息服务应用的设计方案。该方案采用基于北斗的安卓船载终端,利用北斗一代的短报文技术实现实时供货量信息的发送,经由北斗地面服务站和Internet将信息数据传送到渔业交易信息服务中心的Web服务器。服务器通过对信息的处理和对用户需求的响应,提升渔业市场的运作效率。     

基于Web的短消息服务平台的设计与实现

短消息服务 ( SMS)在通信产业中正占据越来越重要的位置。本文描述了短消息服务平台与网络运营商网络实体之间的关系 ,分析了短消息服务平台的系统结构 ,最后给出了基于 Web的短消息服务平台的设计与实现 ,该平台集成了信息发布和信息点播功能     

一个灵活的非对称签名与加密服务的实现

XML Web服务作为面向服务开发的核心．在实际应用中如果只采用简单用户身份验证的SOAP（Simple Object Aecess Protocol）消息传递还存在许多安全漏洞，并不能防止SOAP消息在传递过程中的XMl数据截取、篡改等严重的安全性威胁。文章在非对称签名与加密的原理及XML Web服务技术的基础上．提出了建立一个用户自定义的灵活的非对称签名与加密服务的方法。说明了此方法的特点，并给出了．NET平台上的部分实现代码。     

Protocol design and performance analysis for manufacturing messagespecification: A Petri net approach

The manufacturing message specification (MMS) is the ISO standard communication protocol specific to manufacturing. To analyze MMS design and performance, service unit automats are introduced to represent individual MMS services, while service connection Petri Nets (PNs) are constructed from these automats to describe MMS service connections and processes. This approach makes MMS protocol specification and analysis possible in terms of well-developed concepts and methods in PN theory. It leads to a distributed and hierarchical model of MMS software system by integrating service connection PNs. A generalized stochastic PN for MMS performance evaluation is obtained by incorporating service parameters and time factors into the model. A technique based on T-invariants is used to simplify the performance analysis