第6章形式化方法与安全模型ppt课件

- * - 2 - 第6章 形式化方法与安全模型 - 学习内容: ①了解什么是形式化方法 ②了解形式化安全模型 ③掌握基于访问控制