背景技術：
1、多提供商網絡環境指的是對來自兩個或更多個提供商網絡供應商的多提供商網絡計算服務的利用。該策略可涉及使用公共、私有或混合提供商網絡來實現各種目標。隨著組織尋求優化性能、彈性和成本，同時還避免供應商鎖定，多提供商網絡環境正變得越來越普遍。
2、多提供商網絡策略的一個潛在缺點是跨不同環境管理資源、安全和運營的復雜性。采用多提供商網絡策略的組織會亟需能夠幫助集中和簡化多提供商網絡管理的工具和平臺。
技術實現思路
1.一種方法，包括：
2.如權利要求1所述的方法，進一步包括：
3.如權利要求1所述的方法，其中，所述第一源訪問控制策略是以第一訪問控制策略語言被表達的；并且其中，所述第二源訪問控制策略是以第二訪問控制策略語言被表達的。
4.如權利要求1所述的方法，進一步包括：
5.如權利要求1所述的方法，進一步包括：
6.如權利要求1至5中任一項所述的方法，其中，商化所述第一目標訪問控制策略以產生所述第一經商化的目標訪問控制策略包括用主體的第二標識符替換所述主體的第一標識符；并且其中，所述經商化的性質包括所述主體的所述第二標識符。
7.如權利要求1至5中任一項所述的方法，其中，商化所述第一目標訪問控制策略以產生所述第一經商化的目標訪問控制策略包括用動作的第二標識符替換所述動作的第一標識符；并且其中，所述經商化的性質包括所述動作的所述第二標識符。
8.如權利要求1至5中任一項所述的方法，其中，商化所述第一目標訪問控制策略以產生所述第一經商化的目標訪問控制策略包括用資源的第二標識符替換所述資源的第一標識符；并且其中，所述經商化的性質包括所述資源的所述第二標識符。
9.如權利要求1至2或4至5中任一項所述的方法，其中，所述第一目標訪問控制策略和所述第二目標訪問控制策略是以相同的目標訪問控制策略語言被表達的。
10.如權利要求1至5中任一項所述的方法，其中，使用所述自動化推理工具來比照所述第一經商化的目標訪問控制策略核實所述經商化的性質，使用可滿足性模理論(smt)求解器工具來比照所述第一經商化的目標訪問控制策略核實所述經商化的性質。
11.如權利要求1至4中任一項所述的方法，進一步包括：
12.一種系統，包括：
13.如權利要求12所述的系統，所述多提供商網絡訪問控制分析器服務包括指令，所述指令在執行時致使所述多提供商網絡訪問控制分析器服務：
14.如權利要求12所述的系統，其中，所述第一源訪問控制策略是以第一訪問控制策略語言被表達的；并且其中，所述第二源訪問控制策略是以第二訪問控制策略語言被表達的。
15.如權利要求12所述的系統，所述多提供商網絡訪問控制分析器服務包括指令，所述指令在執行時致使所述多提供商網絡訪問控制分析器服務：