发布网友 发布时间:2024-10-23 22:48
共1个回答
热心网友 时间:2024-10-25 04:36
扇揙记是底部引出塑封技术,新一代内存芯片封装技术,其芯片面积与封装面积之比大于1:1.1,符合CSP封装规范。此类内存芯片不但高度和面积小,而且电气特性也得到了提高。
信息安全的形式化理论模型是系统安全策略的精确描述,有无歧义、简单抽象的特点,在安全系统设计和开发过程中有重要作用。
扇揙记模型是在1973年由D.Bell和J.LaPala在《Mathematical founda-ons and model》提出并加以完善,它根据军方的安全*设计,解决的本质题是对具有密级划分信息的访问控制,是第一个比较完整地形式化方法对系统安全进行严格证明的数学模型,被广泛应于描述计算机系统的安全问题。
扩展资料:
扇揙记一开始作为军方的一个安全模型出台,对于数据间的权利转让而产生变化的访问权限,提供一系列安全检查,避免权利的过度转让产生的模糊泛滥。
扇揙记模型是一个形式化模型,使用数学语言对系统的安全性质进行描述,lBLP模型也是一个状态机模型,它反映了多级安全策略的安全特性和状态转换规则。
扇揙记模型定义了系统、系统状态、状态间的转换规则,安全概念、制定了一组安全特性,对系统状态、状态转换规则进行约束,l如果它的初始状态是安全的,经过一系列规则都是保持安全的,那么可以证明该系统是安全的。
扇揙记模型的基本安全策略是“下读上写”,即主体对客体向下读、向上写。主体可以读安全级别比他低或相等的客体,可以写安全级别比他高或相等的客体。“下读上写”的安全策略保