Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System
Saved in:
Published in | Trudy Instituta sistemnogo programmirovaniâ Vol. 32; no. 1; pp. 7 - 26 |
---|---|
Main Author | |
Format | Journal Article |
Language | English |
Published |
2020
|
Online Access | Get full text |
ISSN | 2079-8156 2220-6426 |
DOI | 10.15514/ISPRAS-2020-32(1)-1 |
Cover
ISSN: | 2079-8156 2220-6426 |
---|---|
DOI: | 10.15514/ISPRAS-2020-32(1)-1 |