一种采用一阶动态逻辑表示的数字权限描述模型

一种采用一阶动态逻辑表示的数字权限描述模型

孙伟，翟玉庆

Digital rights expression model based on first-order dynamic logic

SUN Wei,ZHAI YU-qing

计算机应用 . 2005, (04): 846 -849 . DOI: 10.3724/SP.J.1087.2005.0846