数据库形式化安全策略模型建模及分析方法 - 王榕; 张敏; 冯登国; 李昊 (通信学报, 2015)
Keywords: 安全策略模型; 定理证明; database; formal modeling; security policy model; 形式化建模; theorem proving; 数据库