Comparison of specification decomposition methods in Event-B von Devyanin, P. N., Kulyamin, V. V., Petrenko, A. K., Khoroshilov, A. V., Shchepetkov, I. V.

Volltext

Integrating RBAC, MIC, and MLS in Verified Hierarchical Security Model for Operating System von Devyanin, P. N., Khoroshilov, A. V., Kuliamin, V. V., Petrenko, A. K., Shchepetkov, I. V.

Volltext

The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB von Devyanin, P. N., Leonova, M. A.

Volltext

System administration in MROSL DP-model von Devyanin, P. N.

Volltext

The role DP-model of access and information flows control inoperating systems of Linux sets von Devyanin, P. N.

Volltext

Formation of a dictionary of terms in the theory of modeling thesecure access and information flows control in computer systems von Devyanin, P. N.

Volltext

ANALYSIS OF CONDITIONS FOR RECEPTION OF ACCESS OWNING WITHIN THE BASE ROLE DP-MODEL OF COMPUTER SYSTEMS WITHOUT MEMORY INFORMATION FLOWS von Devyanin, P. N.

Volltext

Past, present, future of agricultural tractors von Didmanidze, O. N., Devyanin, S. N., Parlyuk, Ye. P.

Volltext