在美国服务器访问控制策略语言中，存在两种主要类型：高层策略描写语言和基于逻辑的情势化描写语言。这两种语言都有各自的优点和限制。

高层策略描写语言具有丰富的语意，使其易于制定、理解和实行。一些例子包括KACMIL、Ponder、SPL和RT等。但是，这些语言所描写的访问控制策略常常难以进行情势化的分析和验证。这意味着在实际利用中，没法轻易地对这些策略进行系统级的验证和推理。

另外一方面，基于逻辑的情势化描写语言具有强大的表达能力，并且易于进行安全性质的分析与验证。这些语言通过逻辑推理和证明可以对访问控制策略进行情势化的检查。但是，基于逻辑的描写语言常常过于复杂，语意不够直观，因此很难被广泛地接受和利用。大多数情势化策略语言都是基于状态机的，其中包括一些进程式和状态机式的变体。

因此，美国服务器访问控制策略语言在选择时需要权衡高层描写的易用性和情势化描写的准确性。未来的研究可以探索怎样在语言设计中结合这两种类型的语言，以克服其各自的限制，从而提供更好的访问控制策略语言和工具。