隨著Web服務(wù)應(yīng)用的迅速發(fā)展,安全問題已成為制約其實際應(yīng)用的障礙之一,而Web服務(wù)提供方的安全問題尤為重要。本文首先簡要的介紹了Web服務(wù)。然后從Web服務(wù)面臨的安全問題入手,分析了當(dāng)前Web服務(wù)安全技術(shù)的研究現(xiàn)狀,著重考慮了Web服務(wù)提供方所面臨的安全問題。考慮到Web服務(wù)中安全策略的多樣性,引入了一種基于安全策略與實現(xiàn)分離的信息安全解決模型,并根據(jù)Web服務(wù)的實際情況進行了改進。該模型采用一種類似于中間件的方法,使得它可以很容易的加入到現(xiàn)有的Web服務(wù)框架中。此外,本文所提倡的安全模型的體系結(jié)構(gòu)使得它實現(xiàn)的時候可以方便Web服務(wù)提供方動態(tài)的制定安全策略,也可以靈活的實現(xiàn)策略指導(dǎo)下的各種安全措施。最后,為了幫助Web服務(wù)提供方的安全設(shè)計人員更好的理解、分析與實現(xiàn)該模型,本文用投影時序邏輯（PTL）形式化描述了該模型中資源訪問決策部分的規(guī)范說明,并給出了自動機的上層實現(xiàn)。 

【文章來源】：西安電子科技大學(xué)陜西省 211工程院校 教育部直屬院校

【文章頁數(shù)】：68 頁

【學(xué)位級別】：碩士

【部分圖文】：

顯示了完整的WS-Security安全框架，其中按箭頭所指方向分別為框架的

等待策略狀態(tài)完成等待策略的動作(Wait_pp，定義見 4.3 節(jié))，一旦取得策略的命題(Get_pp)成立，則進行策略處理器的運算狀態(tài)(State_Cal_pp)。State_Wait_pp halt(Get_pp)∧Wait_pp; if Get_pp then State_Cal_pp)策略處理器的運算狀態(tài)進行策略是否得到滿足的判斷(Cal_pp，定義見 4.節(jié))，判斷結(jié)束后進入運算結(jié)果的綜合狀態(tài)(State_Com_res)。State_Cal_pp halt(all_cal_ed)∧Cal_pp; if all_cal_ed then State_Com_res策略處理器結(jié)果的綜合狀態(tài)完成運算結(jié)果的綜合(Com_res，定義見 4.3 節(jié))當(dāng)有決策結(jié)果時(包括：決策結(jié)果為允許 dec_acc；決策結(jié)果為拒絕 dec_den)，發(fā)送決策結(jié)果(包括：將服務(wù)調(diào)用請求發(fā)給服務(wù)實現(xiàn) Send_acc_req；拒絕請求并發(fā)送回執(zhí)給服務(wù)方存根 Send_den_dec )并將 RADC 重新置為閑置狀態(tài)，等待下一個服務(wù)調(diào)用請求的到來。定義如下：State_Com_res halt(dec_acc ∨d ec_den)∧ Com_res;(if dec_acc then Send_acc_req)∧ (if dec_den theSend_den_dec)∧State_RADC_idle其中策略處理器的運算狀態(tài)(State_Cal_pp)又由兩個狀態(tài)組成，策略處理器正在運算狀態(tài)(State_Cal_pp_ing)和等待系統(tǒng)動態(tài)屬性狀態(tài)(State_Wait_da)。

【參考文獻】：
期刊論文
[1]W eb服務(wù)安全架構(gòu)研究[J]. 白建坤.  計算機應(yīng)用. 2005(11)
[2]Web服務(wù)核心支撐技術(shù):研究綜述[J]. 岳昆,王曉玲,周傲英.  軟件學(xué)報. 2004(03)
[3]支持動態(tài)多策略的安全體系結(jié)構(gòu)應(yīng)用研究[J]. 趙志科,卿斯?jié)h,李麗萍.  計算機工程. 2004(03)
[4]安全體系結(jié)構(gòu)中的安全策略模型[J]. 黃新芳,李梁,趙霖.  計算機應(yīng)用. 2003(10)



本文編號：3116028