随着Web服务应用的迅速发展,安全问题已成为制约其实际应用的障碍之一,而Web服务提供方的安全问题尤为重要。本文首先简要的介绍了Web服务。然后从Web服务面临的安全问题入手,分析了当前Web服务安全技术的研究现状,着重考虑了Web服务提供方所面临的安全问题。考虑到Web服务中安全策略的多样性,引入了一种基于安全策略与实现分离的信息安全解决模型,并根据Web服务的实际情况进行了改进。该模型采用一种类似于中间件的方法,使得它可以很容易的加入到现有的Web服务框架中。此外,本文所提倡的安全模型的体系结构使得它实现的时候可以方便Web服务提供方动态的制定安全策略,也可以灵活的实现策略指导下的各种安全措施。最后,为了帮助Web服务提供方的安全设计人员更好的理解、分析与实现该模型,本文用投影时序逻辑(PTL)形式化描述了该模型中资源访问决策部分的规范说明,并给出了自动机的上层实现。