论文研究 Web服务设计中的访问控制验证.pdf

提出了一种新颖的方法，用于在设计阶段确定Web服务设计是否能根据其访问控制策略及凭证发布策略进行实施。将Web服务和Web服务设计均模拟为演进系统，并用有向图表示Web服务的凭证发布策略。证明了Web服务设计中所有可能的会话，其实都可以通过将请求者Web服务的凭证发布策略与被请求者Web服务的访问控制策略相匹配而实现。利用了一个资源发布图来完成这种证明。