美國服務器訪問控制策略語言的類型有：1、高層策略描述語言，易于制定、理解與實施，但難以進行形式化的分析和驗證；2、基于邏輯的形式化描述語言，易于進行安全性質的分析與驗證，但過于復雜，語意不夠直觀，很難被廣泛地接受。
具體內容如下：
1、高層策略描述語言
高層策略描述語言具有豐富的語意，且易于制定、理解與實施，如 KACMIL、 Ponder、SPL、RT等，但其描述的訪問控制策略難以進行形式化的分析和驗證。
2、基于邏輯的形式化描述語言
基于邏輯的策略描述語言表達能力強大，且易于進行安全性質的分析與驗證；但語言的語意不夠直觀，過于復雜，很難被廣泛地接受。基于邏輯的形式化策略描述語言從計算方式的角度可以分為過程式和狀態機式。絕大多數形式化策略語言都是基于狀態機的。
