电脑体验，效果更佳

安全策略模型图谱-计算机领域：

研究人员

陈驰 程亮 张阳 刘联欢 张敏 雷倩睿 樊爱华 王逸欣 孟祥义 冯登国

相关术语

模型检测 XML 系统操作安全 UML 自动化测试 安全功能测试 形式化验证 强制访问控制 基于类型的划分 多级安全 安全操作系统 软件配置管理 测试用例生成

标签云