Translates security policy into a prioritized logic program,and then computes its semantics.

• 先将安全策略用一个优先逻辑程序表示,然后计算其语义。