摘要:提出了一種新穎的方法,用于在設計階段確定Web服務設計是否能根據其訪問控制策略及憑證發布策略進行實施。將Web服務和Web服務設計均模擬為演進系統,并用有向圖表示Web服務的憑證發布策略。證明了Web服務設計中所有可能的會話,其實都可以通過將請求者Web服務的憑證發布策略與被請求者Web服務的訪問控制策略相匹配而實現。利用了一個資源發布圖來完成這種證明。
關鍵詞:訪問控制;策略;Web服務;復雜系統
中圖分類號:TP393 文獻標志碼:A 文章編號:1001-3695(2010)09-3503-04