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

• Research on formal security policy model specification and its formal analysis