cid 0de00baedb3bca492451967ef498a1d133d1e9a2c301f9f290e0083f1c7d3afe · original · via openalex
Title: Verifying information flow goals in Security-Enhanced Linux Authors: Joshua D. Guttman; Amy L. Herzog; John D. Ramsdell; Clement William Skorupka Venue: Journal of Computer Security Year: 2005 Canonical: doi:10.3233/jcs-2005-13105 URL: https://doi.org/10.3233/jcs-2005-13105 Collector: openalex OA: false 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