Author:
Zanin Giorgio,Mancini Luigi Vincenzo
Cited by
36 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SELinux-based operating system security research;Second International Conference on Applied Statistics, Computational Mathematics, and Software Engineering (ASCMSE 2023);2023-08-23
2. SEPAL: Towards a Large-scale Analysis of SEAndroid Policy Customization;Proceedings of the Web Conference 2021;2021-04-19
3. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System;Programming and Computer Software;2020-12
4. Runtime Verification of Linux Kernel Security Module;Lecture Notes in Computer Science;2020
5. Formal Modeling of Multi-Level Security and Integrity Control Implemented with SELinux;2019 Actual Problems of Systems and Software Engineering (APSSE);2019-11