计算机安全-课件（程绍银）chap08-Bell-LaPadula-Model.pdfVIP

Bell-LaPadula模型 程绍银 sycheng@ 计算机安全 引言 当你制定了一个安全策略后，你知道它将 怎样实施吗？ 例如：如果策略太复杂了，相互矛盾的规 则可能被应用于同一个访问请求 为了证明安全策略可以正确实施，安全策 略必须被形式化的描述 安全模型：安全策略的形式化描述 计算机安全 2 引言 安全模型可用于高质量的安全评估（正式 的证明） 安全模型在计算机安全中具有里程牌意义 （例如BLP模型） 现在，安全模型虽然不能说是包治安全百 病的处方，但是可以作为你自定义一个安 全系统的起点 计算机安全 3 本章内容 概念 状态机模型 BLP模型 BLP的Multics解释 计算机安全 4 本章内容  概念 状态机模型 BLP模型 BLP的Multics解释 计算机安全 5 概念 安全需求 安全策略 安全系统 安全机制 安全模型 计算机安全 6 安全需求 所谓安全需求，就是在设计一个安全系统 时期望得到的安全保障 不同的用户、不同的行业、不同的地点以 及不同的社会制度有不同的安全需求 个人隐私、商业机密、军事安全、防假冒、 防篡改、可审计等 计算机安全 7 安全需求的例子 例子 保密性 完整性 可用性 可审计性 军事安全 侧重 商用安全 侧重 侧重 电信部门 侧重 计算机安全 8 举例：电子交易中的安全需求 目的：保证电子交易的安全 保证交易双方身份的确定性需求 电子交易的双方，可能素昧平生、相隔千里 要能确认对方的身份 客户端是否是一个骗子？商店是否黑店？ 电子交易的前提是能方便而可靠地确认对方身份 信息的完整性需求 输入时可能会发生意外差错，或者故意欺诈 传输时可能会发生信息丢失、重复或者发生次序差异 电子交易的基础是保持交易双方的信息完整性 计算