计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2006年
13期
136-138
,共3页
BLP模型%应用%权限管理%分布式%网络环境
BLP模型%應用%權限管理%分佈式%網絡環境
BLP모형%응용%권한관리%분포식%망락배경
经典BLP模型是实现计算机系统多级安全的理论基础,被视作基本安全公理.BLP模型采用形式化方法,通过定义系统、状态、转换、规则等将系统描述为有穷状态机来研究其安全性.论文简单介绍了BLP模型及其公理系统,总结了该模型目前存在的安全缺陷和问题,并针对这些问题分析了BLP模型结合具体应用、结合权限管理及在分布式网络环境下的相关研究,指出在确保安全的前提下,实用、易用是BLP模型的研究方向.
經典BLP模型是實現計算機繫統多級安全的理論基礎,被視作基本安全公理.BLP模型採用形式化方法,通過定義繫統、狀態、轉換、規則等將繫統描述為有窮狀態機來研究其安全性.論文簡單介紹瞭BLP模型及其公理繫統,總結瞭該模型目前存在的安全缺陷和問題,併針對這些問題分析瞭BLP模型結閤具體應用、結閤權限管理及在分佈式網絡環境下的相關研究,指齣在確保安全的前提下,實用、易用是BLP模型的研究方嚮.
경전BLP모형시실현계산궤계통다급안전적이론기출,피시작기본안전공리.BLP모형채용형식화방법,통과정의계통、상태、전환、규칙등장계통묘술위유궁상태궤래연구기안전성.논문간단개소료BLP모형급기공리계통,총결료해모형목전존재적안전결함화문제,병침대저사문제분석료BLP모형결합구체응용、결합권한관리급재분포식망락배경하적상관연구,지출재학보안전적전제하,실용、역용시BLP모형적연구방향.
