[计算机信息安全] 关于改进BLP模型的一些想法——建立BLP-BIBA模型_其他计算机专业毕业资源

[计算机信息安全] 关于改进BLP模型的一些想法——建立BLP-BIBA模型

简介：摘要：针对BLP模型存在的一些问题，结合BLP模型和BIBA模型建立了BLP-BIBA模型，并讨论了一些具体问题解决方法。关键字： BLP模型 Biba模型数据保密性数据完整性 BLP-BIBA模型一．BLP模型及其优缺点 BLP模型简介： ...

请与管理员联系购买资料 QQ:5739126

目录不存在参考资料 [1] Dieter Gollmann著；华蓓蒋凡等译．计算机安全．第一版．人民邮电出版社．2003.12
[2] Ross J.Anderson著；蒋佳刘新喜等译．信息安全工程．第一版．机械工业出版社．2003.8
[3] John McLean．The Specification and Modeling of Computer Security．IEEE Computer．January 1990
[4]蒋韬，李信满，刘积仁．信息安全模型研究．小型微型计算机系统．第21卷第10期．2000.10
[5]赵庆松，张晓平．安全操作系统和安全模型．网络安全技术与应用．2003.10
[6]王伟，杨义先著．操作系统的安全控制和安全模型．互联网时间．平台与管理版

摘要：
针对BLP模型存在的一些问题，结合BLP模型和BIBA模型建立了BLP-BIBA模型，并讨论了一些具体问题解决方法。

关键字：
BLP模型 Biba模型数据保密性数据完整性 BLP-BIBA模型

一．BLP模型及其优缺点
BLP模型简介：
BLP模型是最早的一种安全模型，也是最有名的多级安全策略模型。它给出了军事安全策略的一种数学描述，用计算机可实现的方式定义。它已为许多操作系统所使用。
由于它描述的是军事安全策略，受到美国国防部的特别推崇，以至于在很长一段时期人们将多级安全策略等同于强制访问控制策略。

BLP模型的安全特性：
BLP模型有三条基本性质
⑴自主安全性
状态v=(b,M,f)满足自主安全性，当且仅当对所有的(si,oj,x)∈b，有x∈Mij。
⑵简单安全性
状态v=(b,M,f)满足简单安全性，当且仅当对所有的(s,o,x)∈b，有
（i）x=e或x=a或x=c
或(ii) (x=r或x=w)且(f1(s)≥f2(o)，f3(s) f4(o))。
⑶*—性质
状态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,…,xn)表示b中主体s对其具有访问特权xi(1≤i≤n)的所有客体的集合。
一个状态v如果满足上述三条性质，那么v才是安全状态。
......

[计算机信息安全] 关于改进BLP模型的一些想法——建立BLP-BIBA模型

栏目导航

热门关键词

最新论文

随机论文