Abstract model checking for Web services

Web-services are highly distributed programs, and concurrent software is notoriously error-prone. Model checking is a powerful technique to find bugs in concurrent systems. However, the existing model checkers have no enough ability to support for the programming languages and communication mechanisms used for Web services. We propose to use Kripke structures as means of modeling Web service. This paper presents an automated way to extract formal models from programs implementing Web services using predicate abstraction for abstract model checking. The abstract models are checked by means of a model checker that implements automatic abstraction refinement. These results enable the verification of the applications that implement Web services.     

基于C/S结构的计算中心收费系统的设计与实现

在分析C/S模式特点的基础上,讨论了计算中心收费系统的设计与开发,提出了系统的体系结构,并对系统实现中的关键技术给出解决方法.     

远程医疗系统的客户/服务器结构模型

远程医疗系统模型的研究对远程医疗系统的实施具有十分重要的意义,一个好的模型不仅可更有效地实施远程医疗应用,而且可降低系统的成本。针对远程医疗系统的特点,通过引入通讯服务和系统服务概念,提出了一个基于消息驱动的客户／服务器结构模型,并分层讨论了该结构模型的原理和方法。最后针对一个远程心电和血压监护实例,描述了在Ｉｎｔｅｒｎｅｔ和Ｗｉｎｄｏｗｓ９５环境下基于该模型系统的具体实现。其结果表明,该模型具有很好的扩展特性和易于实现的特点。     

虚拟WWW服务器的建立和安全策略

建立虚拟ＷＷＷ服务器是提高ＷＷＷ服务器利用效率的一种有效方法,本文针对ＷＷＷ服务器安全机制的实现原理,讨论了建立虚拟ＷＷＷ服务器的方法,以及结合ＮＴＦＳ文件系统来实现虚拟服务器的安全策略的方法。     

PowerBuilder5.0分布式计算的应用

利用 Ｐｏｗ ｅｒ Ｂｕｉｌｄｅｒ ５．０ 的新功能,实现 Ｎ 层计算的能力,创建企业级的客户机／服务器体系的应用程序．     

基于客户/服务器模式的敏捷制造信息系统结构

客户／ 服务器（Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ） 采用并发服务器和ｓｏｃｋｅｔ 编程方法,完善地解决了网络通信的同步问题．基于Ｃｌｉｅｎｔ／Ｓｅｒｖｅｒ 模式,根据动态联盟的组织原则,提出了开放性的敏捷制造信息系统结构．该系统结构有如下特点：实现了动态联盟中分散的制造资源的共享;维护了联盟单元在解决问题时的自主性;通过联盟单元间的双向委托协议,可以保证信息数据的一致性;保证了联盟单元组织异构性的兼容．解决了在组织动态联盟时的几个关键问题,为进一步开展敏捷制造研究奠定了基础     

FoxPro数据库系统成为WWW信息服务器简捷法

讨论在 Ｗｉｎｄｏｗ Ｎ Ｔ Ｓｅｒｖｅｒ 系统下的 Ｆｏｘｐｒｏ 数据库系统向 Ｗｅｂ 服务器提供数据信息服务一种简捷的方法     

基于Web的多账户电子邮件的表示及生成

从邮件客户端系统开发的角度,阐述了基于Web的多账户电子邮件系统的设计思想,详细介绍了邮件客户端系统的设计架构以及功能设计、邮件收发算法的设计与实现。所设计的邮件客户端系统已经完成测试,运行状态良好。     

凝思磐石安全服务器系统

由北京凝思科技有限公司（以下简称“凝思”）承担的国家863计划“服务器安全增强”课题（编号：863-301-6-6），于2001年3月通过鉴定。课题成果凝思磐石安全服务器系统在充分保证提供高性能网络服务的前提下，大大提高了系统的安全性。凝思以软硬件为整体的解决方案，在多个层次上对服务器进行保护，根据对方攻击的原理从操作系统核心层着手，并且通过独特的硬件结构对服务器系统的安全性进行增强，有效地抑制了缓冲器溢出攻击以及防止巳知未知病毒木马的破坏，实时监控管理员和用户的行为，防止内部的攻击事件发生，保证网络服务的畅通和信息的安全。     

Novell网络环境下SYBASE数据库远程访问解决方案

论述了在Ｎｏｖｅｌｌ远程组网环境下，使用ＳＹＢＡＳＥ数据库实现远程访问的解决方案，这种方案已在实际系统中得到了证实。