Translates security policy into a prioritized logic program, and then computes its semantics.
先将安全策略用一个优先逻辑程序表示，然后计算其语义。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
应用推荐