Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
52 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Implementation of multi-domain isolation architecture and communication mechanism in Linux;Third International Conference on Computer Science and Communication Technology (ICCSCT 2022);2022-12-29
2. A Case Study in Information Flow Refinement for Low Level Systems;The Logic of Software. A Tasting Menu of Formal Methods;2022
3. Using formal security models in secure databases;Physico-mathematical modelling and informational technologies;2021-07-07
4. Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System;Programming and Computer Software;2020-12
5. Authorization Model Definition for an Adaptable Workflow within Cloud Environment;Proceedings of the 2019 3rd International Conference on Cloud and Big Data Computing;2019-08-28