V. G. Proskurin, “Approaches to development of discretionary DP-model of the modern secure operating systems”, Prikl. Diskr. Mat., 2011, supplement № 4, 55

Prikladnaya Diskretnaya Matematika

RUS ENG

JOURNALS PEOPLE ORGANISATIONS CONFERENCES SEMINARS VIDEO LIBRARY PACKAGE AMSBIB

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

	General information
	Latest issue
	Archive
	Impact factor

	Search papers
	Search references

	RSS
	Latest issue
	Current issues
	Archive issues
	What is RSS

Prikl. Diskr. Mat.:
Year:
Volume:
Issue:
Page:
	Find

Personal entry:
Login:
Password:
	Save password
	Enter
	Forgotten password?
	Register

Prikladnaya Diskretnaya Matematika, 2011, supplement № 4, Pages 55–57 (Mi pdm318)

Mathematical Foundations of Computer Security

Approaches to development of discretionary DP-model of the modern secure operating systems

V. G. Proskurin

Institute of Cryptography, Communications and Informatics, Moscow

Full-text PDF (424 kB)

References:

PDF

HTML

Abstract: This article represents the discretionary DP-model (ZOS DP-model) developing and concretizing existing DP-models for a case when the secure operating system (OS) is considered as modeled computer system. This new DP-model allows to apply the scientific tools of DP-models to formal description and a scientific substantiation of the various practical decisions implemented in modern secure OS. In particular, it is supposed to use ZOS DP-model for increasing the security of domestic operating systems.

Document Type: Article

UDC: 004.94

Language: Russian

Citation: V. G. Proskurin, “Approaches to development of discretionary DP-model of the modern secure operating systems”, Prikl. Diskr. Mat., 2011, supplement № 4, 55–57

Citation in format AMSBIB

\Bibitem{Pro11}

\by V.~G.~Proskurin

\paper Approaches to development of discretionary DP-model of the modern secure operating systems

\jour Prikl. Diskr. Mat.

\yr 2011

\pages 55--57

\issueinfo supplement № 4

\mathnet{http://mi.mathnet.ru/pdm318}

Linking options:

https://www.mathnet.ru/eng/pdm318

https://www.mathnet.ru/eng/pdm/y2011/i13/p55

Citing articles in Google Scholar: Russian citations, English citations
Related articles in Google Scholar: Russian articles, English articles

Registration to the website

Logotypes