K-SELinux: formal analysis and verification of SELinux policies via semantic execution.
Saved in:
| Title: | K-SELinux: formal analysis and verification of SELinux policies via semantic execution. |
|---|---|
| Authors: | Kang, Jinhui1, Zhao, Jianhong1, Zhao, Yongwang1,2, zhaoyw@zju.edu.cn |
| Source: | Frontiers of Computer Science; Jun2026, Vol. 20 Issue 6, p1-14, 14p |
| Database: | Applied Science & Technology Source |
| ISSN: | 20952228 |
|---|---|
| DOI: | 10.1007/s11704-024-40495-7 |
