Editing FLASK (section)

{{Short description|Operating system security architecture}}
{{Multiple issues|
{{More citations needed|date=December 2009}}
{{Notability|date=November 2012}}
{{More footnotes|date=March 2010}}
}}
The '''Flux Advanced Security Kernel''' ('''FLASK''') is an [[operating system]] [[Computer security|security architecture]] that provides flexible support for security policies. It is a joint venture between the [[National Security Agency]], the [[University of Utah]], and the [[Secure Computing Corporation]] project designed to provide a framework for a more secure [[operating system]]. Development and implementation started with the [[Mach (kernel)|Mach]] [[microkernel]], and has since shifted its focus to the [[Linux]] operating system. FLASK is a core framework in [[Security-focused operating system|security-focused]] operating systems such as [[National Security Agency|NSA]]'s [[Security-Enhanced Linux]] (SELinux), [[OpenSolaris]] FMAC and [[FreeBSD#TrustedBSD|TrustedBSD]]. This means that SELinux can be thought of as an implementation of FLASK.<ref>{{Cite web|url=https://access.redhat.com/documentation/en-US/Red_Hat_Enterprise_Linux/7/html/SELinux_Users_and_Administrators_Guide/sect-Security-Enhanced_Linux-Further_Information-Other_Resources.html |title=Red Hat Enterprise Linux - Red Hat Customer Portal |publisher=Redhat.com |date= |access-date=2015-04-23}}</ref><ref>{{Cite web|url=http://www.cs.utah.edu/flux/fluke/html/flask.html|title=Flask: Flux Advanced Security Kernel|access-date=2015-04-23}}</ref>