信息安全与技术
信息安全與技術
신식안전여기술
INFORMATION SECURITY AND TECHNOLOGY
2013年
11期
35-40
,共6页
SELinux%安全策略%有色Petri网%自动化分析
SELinux%安全策略%有色Petri網%自動化分析
SELinux%안전책략%유색Petri망%자동화분석
SELinux是嵌入到Linux内核中并得到推广应用的安全增强模块.由于其安全策略配置复杂且工作量较大,故而研究相关的安全策略辅助配置手段及SELinux安全策略的自动化分析方法与技术很有必要.本文基于有色Petri网建立了SELinux安全策略的自动化分析模型,给出了原型实现和测试结果.相关结果表明,有色Petri网分析方法和对应原型能较好地完成SELinux安全策略的有效性分析,并可实现带有中间过滤类型的信息流查询且更加方便简洁.
SELinux是嵌入到Linux內覈中併得到推廣應用的安全增彊模塊.由于其安全策略配置複雜且工作量較大,故而研究相關的安全策略輔助配置手段及SELinux安全策略的自動化分析方法與技術很有必要.本文基于有色Petri網建立瞭SELinux安全策略的自動化分析模型,給齣瞭原型實現和測試結果.相關結果錶明,有色Petri網分析方法和對應原型能較好地完成SELinux安全策略的有效性分析,併可實現帶有中間過濾類型的信息流查詢且更加方便簡潔.
SELinux시감입도Linux내핵중병득도추엄응용적안전증강모괴.유우기안전책략배치복잡차공작량교대,고이연구상관적안전책략보조배치수단급SELinux안전책략적자동화분석방법여기술흔유필요.본문기우유색Petri망건립료SELinux안전책략적자동화분석모형,급출료원형실현화측시결과.상관결과표명,유색Petri망분석방법화대응원형능교호지완성SELinux안전책략적유효성분석,병가실현대유중간과려류형적신식류사순차경가방편간길.
