四川大学学报(工程科学版)
四川大學學報(工程科學版)
사천대학학보(공정과학판)
JOURNAL OF SICHUAN UNIVERSITY(ENGINEERING SCIENCE EDITION)
2008年
4期
115-119
,共5页
信息安全体系结构%BLP模型%Biba模型%RBAC模型%粒度控制%并发行为
信息安全體繫結構%BLP模型%Biba模型%RBAC模型%粒度控製%併髮行為
신식안전체계결구%BLP모형%Biba모형%RBAC모형%립도공제%병발행위
为解决应用区域边界安全体系结构中的多主体访问控制安全问题,分析了应用区域边界的安全体系结构,利用BLP模型、Biba模型和RBAC模型的基本性质,针对该类安全体系结构的数据读/写操作和数据传送问题,详细定义并描述了创建客体规则、创建主体规则和数据传送中发送/接收规则.形式化证明了给出的描述规则是合理的、安全的,由这些规则组成的基于应用区域边界的安全体系结构模型是安全的.
為解決應用區域邊界安全體繫結構中的多主體訪問控製安全問題,分析瞭應用區域邊界的安全體繫結構,利用BLP模型、Biba模型和RBAC模型的基本性質,針對該類安全體繫結構的數據讀/寫操作和數據傳送問題,詳細定義併描述瞭創建客體規則、創建主體規則和數據傳送中髮送/接收規則.形式化證明瞭給齣的描述規則是閤理的、安全的,由這些規則組成的基于應用區域邊界的安全體繫結構模型是安全的.
위해결응용구역변계안전체계결구중적다주체방문공제안전문제,분석료응용구역변계적안전체계결구,이용BLP모형、Biba모형화RBAC모형적기본성질,침대해류안전체계결구적수거독/사조작화수거전송문제,상세정의병묘술료창건객체규칙、창건주체규칙화수거전송중발송/접수규칙.형식화증명료급출적묘술규칙시합리적、안전적,유저사규칙조성적기우응용구역변계적안전체계결구모형시안전적.