《网络安全技术》第六章 操作系统安全.pptVIP

* 强制访问控制模型 由于MAC通过分级的安全标签实现了信息的单向流通，因此它一直被军方采用，其中最著名的是Bell-LaPadula模型和Biba模型。 * * 1）Bell-LaPadula保密性模型 Bell-LaPadula模型（简称BLP模型）是David Bell和Len LaPadula于1973年提出的一种适用于军事安全策略的计算机操作系统安全模型，它是最早、最常用的一种计算机多级安全模型之一。该模型基于强制访问控制系统，以敏感度来划分资源的安全级别，将数据划分为多安全级别与敏感度系统的多级安全系统。数据和用户被划分为公开、受限、秘密、机密和绝密五个安全等级 * Bell-LaPadula模型的特点： 上读:主体安全级别高于或等于客体信息资源的安全级别时允许查阅的读操作； 有效防止低级用户和进程访问安全级别比他们高的信息资源 下写:安全级别高的用户和进程不能向比他安全级别低的用户和进程写入数据 下级对上级可提交新的意见，但不能看上级的信息。 “上读/下写”规定 “上读/下写”保证了数据的保密性 优点：机密性高，可以有效地防止机密信息向下级泄露 缺点：忽略了完整性，使非法、越权篡改成为可能 * * BLP多级强制访问控制策略 两个重要的安全特性（公理） Simple Security Condition：主体读客体，当且仅当用户的安全等级必须大于或等于该