APA (7th ed.) Citation

Kang, J., Zhao, J., & Zhao, Y. (2026). K-SELinux: Formal analysis and verification of SELinux policies via semantic execution. Frontiers of Computer Science, 20(6), 1. https://doi.org/10.1007/s11704-024-40495-7

Chicago Style (17th ed.) Citation

Kang, Jinhui, Jianhong Zhao, and Yongwang Zhao. "K-SELinux: Formal Analysis and Verification of SELinux Policies via Semantic Execution." Frontiers of Computer Science 20, no. 6 (2026): 1. https://doi.org/10.1007/s11704-024-40495-7.

MLA (9th ed.) Citation

Kang, Jinhui, et al. "K-SELinux: Formal Analysis and Verification of SELinux Policies via Semantic Execution." Frontiers of Computer Science, vol. 20, no. 6, 2026, p. 1, https://doi.org/10.1007/s11704-024-40495-7.