Crossmark

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System

Published Online: 2020-12-11

Published Print: 2020-12

Authors

Devyanin, P. N.

Khoroshilov, A. V.

Kuliamin, V. V.

Petrenko, A. K.

Shchepetkov, I. V.
License Information

Text and Data Mining valid from 2020-12-01

Version of Record valid from 2020-12-01
More Information

Article History

Received: 13 January 2020

Revised: 10 February 2020

Accepted: 17 February 2020

First Online: 11 December 2020

Document is current