APA (7th ed.) Citation

Devyanin, P. N. (2020). Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System. Trudy Instituta sistemnogo programmirovaniâ, 32(1), 7-26. https://doi.org/10.15514/ISPRAS-2020-32(1)-1

Chicago Style (17th ed.) Citation

Devyanin, Petr Nikolaevich. "Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System." Trudy Instituta Sistemnogo Programmirovaniâ 32, no. 1 (2020): 7-26. https://doi.org/10.15514/ISPRAS-2020-32(1)-1.

MLA (9th ed.) Citation

Devyanin, Petr Nikolaevich. "Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System." Trudy Instituta Sistemnogo Programmirovaniâ, vol. 32, no. 1, 2020, pp. 7-26, https://doi.org/10.15514/ISPRAS-2020-32(1)-1.