数据库形式化安全策略模型建模及分析方法
王榕,张敏,冯登国,李昊
Formal modeling and analyzing method for database security policy
Rong WANG,Min ZHANG,Deng-guo FENG,Hao LI
通信学报 . 2015, (9): 193 -203 .  DOI: 10.11959/j.issn.1000-436x.2015151