信息安全模型- 2 -All rights reserved 2007在整堂课的教学中，刘教师总是让学生带着问题来学习，而问题的设置具有一定的梯度，由浅入深，所提出的问题也很明确信息安全模型安全模型用于精确地和形式地描述信息系统的安全特征，以及用于解释系统安全相关行为的理由。安全模型的作用 准确描述安全的重要方面与系统行为的关系 提高对成功实现关键安全需求的理解层次“安全模型”的表达能力有其局限性，形式的语法多于形式的语义。 - 3 -All rights reserved 2007在整堂课的教学中，刘教师总是让学生带着问题来学习，而问题的设置具有一定的梯度，由浅入深，所提出的问题也很明确模型抽象过程1）: 标识外部接口需求 External Interface.(input,output,attribute.)2）: 标识内部需求Internal Requirements3）: 设置策略强制的操作规则4）: 判定 What is Already Known.5）:论证 (Demonstrate)一致性与正确性6）: 论证是适当的（ Relevance）- 4 -All rights
