Information flow query and verification for security policy of Security-Enhanced Linux

NCUIR > School of Management at National Central University > Graduate Institute of Information Management > journal & Dissertation > Item 987654321/31544

Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/31544

Title:	Information flow query and verification for security policy of Security-Enhanced Linux
Authors:	Chen,Yi-Ming;Kao,Yung-Wei
Contributors:	資訊管理研究所
Date:	2006
Issue Date:	2010-07-06 17:50:34 (UTC+8)
Publisher:	中央大學
Abstract:	This paper presents a Colored Petri Nets (CPN) approach to analyze the information flow in the policy file of Security-Enhanced Linux (SELinux). The SELinux access control decisions are based on a security policy file that contains several thousands of se
Relation:	ADVANCES IN INFORMATION AND COMPUTER SECURITY, PROCEEDINGS
Appears in Collections:	[Graduate Institute of Information Management] journal & Dissertation

Files in This Item:

File	Description	Size	Format
index.html		0Kb	HTML	306	View/Open

社群 sharing