Work

Specifying and Verifying Information Flow Control in SELinux Configurations

Year: 2024

Type: article

Source: ACM Transactions on Privacy and Security

DOI: 10.1145/3690636

Authors: Lorenzo Ceragioli, Letterio Galletta, Pierpaolo Degano, David Basin

Institutions: IMT School for Advanced Studies Lucca, University of Pisa, ETH Zurich

Language: English

Topic: Security and Verification in Computing

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

SDG: Peace, justice, and strong institutions

Open Access status: closed

Funder: Ministero dell'Università e della Ricerca

OpenAlex ID: W4402005606

FWCI: 0.298

Cites: 23

Cited by: 2

Related to: 10