2021
DOI: 10.21681/2311-3456-2021-1-41-56
|View full text |Cite
|
Sign up to set email alerts
|

Multi-Level Policy Model Access Control Security Operating Systems of the Windows Family

Abstract: The purpose of research – development of a more advanced Windows NT family access control mechanism to protect against information leakage from memory by hidden channels. The method of research – analysis of Windows NT family models of mandatory access control and integrity control, modeling of access control security policy for specified security properties, automatic verification of models. The Lamport Temporal Logic of Actions (TLA +) used to describe the model and its specification is used. TLA+ allows aut… Show more

Help me understand this report

This publication either has no citations yet, or we are still processing them

Set email alert for when this publication receives citations?

See others like this or search for similar articles