论文部分内容阅读
随着Web服务应用的迅速发展，Web服务提供方的安全问题已成为制约其实际应用的主要障碍之一。文中着重讨论了Web服务提供方面临的安全问题．引入了一种基予安全策略与实现分离的信息安全解决模型，并根据Web服务的实际情况进行丁改进．方便了Web服务提供方动态地制定安全策略、灵活地实现策略指导下的各种安全措施。最后．采用投影时序逻辑（PTL，Projeetiort Temporal Logic）形式化描述了该模型中资源访问决策部分的规范说明。