溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術詳細信息。

本發明公開了一種基于進程代數的軟件體系結構安全模型的建立方法，包括：1）創建軟件體系結構的流圖；2）在軟件體系結構的流圖基礎上，采用進程代數作為形式化描述語言對各個軟件體系結構要素進行定義；3）對被定義的軟件體系結構進行安全性檢查，驗證檢查...
該專利屬于華南理工大學所有，僅供學習研究參考，未經過華南理工大學授權不得商用。

詳細技術文檔下載地址

溫馨提示：您尚未登錄，請點 登陸 后下載，如果您還沒有賬戶請點 注冊 ，登陸完成后，請刷新本頁查看技術詳細信息。