IFCIL: An Information Flow Configuration Language for SELinux

Security Enhanced Linux (SELinux) is a security architecture for Linux implementing mandatory access control. It has been used in numerous security-critical contexts ranging from servers to mobile devices. But this is challenging as SELinux security policies are difficult to write, understand, and m...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2022 IEEE 35th Computer Security Foundations Symposium (CSF) S. 243 - 259
Hauptverfasser:	Ceragioli, Lorenzo, Galletta, Letterio, Degano, Pierpaolo, Basin, David
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE 01.08.2022
Schlagworte:	Access control Computer architecture Computer security Distance measurement formal methods and verification information flow control language based security Linux Mobile handsets SELinux Servers
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!