文件名称：论文研究-Web服务设计中的访问控制验证.pdf
文件大小：975KB
文件格式：PDF
更新时间：2022-08-11 16:40:37
访问控制,策略,Web服务,复杂系统
提出了一种新颖的方法，用于在设计阶段确定Web服务设计是否能根据其访问控制策略及凭证发布策略进行实施。将Web服务和Web服务设计均模拟为演进系统，并用有向图表示Web服务的凭证发布策略。证明了Web服务设计中所有可能的会话，其实都可以通过将请求者Web服务的凭证发布策略与被请求者Web服务的访问控制策略相匹配而实现。利用了一个资源发布图来完成这种证明。