最小模型语义相关硕士博士期刊学术论文

提出访问控制的逻辑描述方法,满足最小模型语义的条件（不含负逻辑）,并分析访问控制逻辑程序中不动点的迭代计算方法。通过迭代计算,......