Research on formal security policy model specification and its formal analysis

• 安全策略模型规范及其形式分析技术研究