BLP模型的基本安全策略是“下读上写”，即主体对客体向下读、向上写。主体可以读安全级别比他低或相等的客体，可以写安全级别比他高或相等的客体。“下读上写”的安全策略保证了数据库中的所有数据只能按照安全级别从低到高的流向流动，从而保证了敏感数据不泄露。

BLP模型的基本元素

S={s1,s2,…，sn} 主体集

O={o1,o2,…，om} 客体集

C={c1,c2,…，cq} 密级的集合 c1

K={k1,k2,…，kr} 部门或类别的集合

A={r,w,e,a,c} 访问属性集

r:只读； w:读写； e:执行； a:添加； c:控制

R={g,r,c,d} 请求元素集

g:get，give; r: release，rescind; c: change,create ; d: delete

D={yes,no,error,?}

yes:请求被执行； no:请求被拒绝； error:系统出错； ？：请求出错

μ={M1,M2,…，Mp} 访问矩阵集

BA={f| f:A→B}

F= Cs ×Co× (Pk)s× (Pk)o

Cs ={f1| f1:S →C} f1给出每个主体的密级

Co ={f2| f2:O→C} f2给出每个客体的密级

(Pk)s={f3| f3:S →Pk} f3给出每个主体的部门集

(Pk)o ={f4| f4:O →Pk} f4给出每个客体的部门集

Pk表示K的幂积Pk=2^K

f ∈F f=(f1,f2,f3,f4)表示访问类函数。其中fs表示主体的安全级函数，fo表示客体当前的安全级函数。

系统状态

V= P(S×O×A) × μ ×F 状态集

对v∈V v=(b,M,f)表示某一状态

b Í S×O×A 表示在当前时刻，哪些主体获得了对哪些客体的权限

b={(s1,o1,r),(s1,o2,w),(s2,o2,a)…….}

M－当前状态访问控制矩阵

f－当前时刻所有主体和客体的密级和部门集

系统在任何一个时刻都处于某一种状态v，即对任何时刻t，必有状态vt与之对应， 随着用户对系统的操作，系统的状态不断地发生变化，只有每一个时刻状态是安全的，系统才可能安全。

安全特性

BLP模型的安全特性定义了系统状态的安全性，体现了BLP模型的安全策略。

以下公式中>表示前者支配后者。

1.自主安全性

状态v=(b,M,f)满足自主安全性if对所有的（si,oj,x)∈b,有x∈Mij

此条性质是说，若（si,oj,x）∈b，即如果在状态v，主体si获得了对客体oj的x访问权，那么si必定得到了相应的自主授权。如果存在（si,oj,x)∈b,但主体si并未获得对客体oj的x访问权的授权，则v被认为不符合自主安全性。

2.简单安全性

状态v=(b,M,f)满足简单安全性iff对所有的（s,o,x)∈b,有（i）x=e或x=a或x=c.

或（ii) (x=r或x=w)且（f1(s)≥f2(o),f3(s)Êf4(o))。

3.一致性

状态v=(b,M,f)满足一致性，当且仅当对所有的s∈S,若o1∈b(s:w,a),o2∈b(s:r,w),则f2(o1)≥f2(o2),f4(o1) Ê f4(o2),其中符号b(s:x1,x2)表示b中主体s对其具有访问特权x1或x2的所有客体的集合。

4.*-特性：S'是S的一个子集，状态v=(b,M,f,H)满足相对于S'的*-特性，当且仅当所有的s∈S=>

(o∈b(s:a))=>(fo(o)>fo(s));(o∈b(s:w))=>(fo(o)=fo(s));(o∈b(s:r))=>(fo(s)>fo(o));*-特性不可下写。

请求集

R= S+×RA× S+ ×O×X 请求集，它的元素是一个完整的请求，不是请求元素集，其中

S+ =SÈ{f}; X=A È {f} ÈF;

R中的元素是一个五元组，表示为（s1,g,s2,Oj,x);

s1,,s2 Î S+ 分别是主体1,主体2;

g Î RA 表示某一请求元素；

o jÎ O 表示某一客体；

x Î X 是访问权限or是空or是主客体的安全级。

状态转换规则

P: R×V→D×V

其中：R是请求集，D是判断集，V是状态集；

对请求（Rk,vn)ÎR×V,在函数r的作用下

r (Rk,v) =(Dm,v*);

系统对请求Rk的反应是Dm,状态由v转换成v*

BLP模型的优缺点

优点：

缺点：

BLP为一种图片压缩格式，体积小，不能直接编辑，是游戏中模型贴图的应用格式。

BLP（Bonded Logistics Park）保税物流园区

保税物流园区是指经国务院批准，在保税区规划面积或者毗邻保税区的特定港区内设立的、专门发展现代国际物流业的海关特殊监管区域。