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