通信学报2015，Vol.36Issue(9)：193-203,11.DOI:10.11959/j.issn.1000-436x.2015151
数据库形式化安全策略模型建模及分析方法
Formal modeling and analyzing method for database security policy
摘要
关键词
形式化建模/数据库/定理证明/安全策略模型Key words
formal modeling/database/theorem proving/security policy model分类
信息技术与安全科学引用本文复制引用
王榕,张敏,冯登国,李昊..数据库形式化安全策略模型建模及分析方法[J].通信学报,2015,36(9):193-203,11.基金项目
国家自然科学基金资助项目(61232005,61402456)The National Natural Science Foundation of China (61232005, 61402456) （61232005,61402456）
