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)…….}
系统在任何一个时刻都处于某一种状态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）保税
物流园区保税物流园区是指经国务院批准，在
保税区规划面积或者毗邻保税区的特定港区内设立的、专门发展
现代国际物流业的
海关特殊监管区域。