JOURNAL ARTICLE
Verifying information flow goals in Security-Enhanced Linux
Joshua D. GuttmanAmy L. HerzogJohn D. RamsdellClement William Skorupka
Year: 2005 Journal: Journal of Computer Security Vol: 13 (1)Pages: 115-134 Publisher: IOS Press
Abstract
In this paper, we present a systematic way to determine the information flow security goals achieved by systems running a secure O/S, specifically systems running Security-Enhanced Linux. A formalization of the access control mechanism of the SELinux
Keywords:
Computer science Information flow Operating system Information security Computer security Programming language Software engineering
Metrics
85
Cited By
9.20
FWCI (Field Weighted Citation Impact)
12
Refs
0.98
Citation Normalized Percentile
Is in top 1%
Is in top 10%
Citation History
Topics
Security and Verification in Computing
Physical Sciences → Computer Science → Artificial Intelligence
Access Control and Trust
Social Sciences → Social Sciences → Sociology and Political Science
Advanced Malware Detection Techniques
Physical Sciences → Computer Science → Signal Processing
Related Documents
BOOK-CHAPTER
Information Flow Query and Verification for Security Policy of Security-Enhanced Linux
Lecture notes in computer science Year: 2006 Pages: 389-404
JOURNAL ARTICLE
Security Enhanced Linux
Journal: Zenodo (CERN European Organization for Nuclear Research) Year: 2014
JOURNAL ARTICLE
Security Enhanced Linux
Journal: Zenodo (CERN European Organization for Nuclear Research) Year: 2014
BOOK-CHAPTER
Combining Different Proof Techniques for Verifying Information Flow Security
Heiko MantelHenning SudbrockTina Kraußer
Lecture notes in computer science Year: 2007 Pages: 94-110