Анализ моделей безопасности компьютерных систем

Анализ моделей безопасности компьютерных систем

Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет у...

Full description

Saved in:
Bibliographic Details
Published in:Труды Института прикладной математики и механики
Date:2010
Main Author: Скобелев, В.В.
Format: Article
Language:Russian
Published: Інститут прикладної математики і механіки НАН України 2010
Online Access:https://nasplib.isofts.kiev.ua/handle/123456789/123968
Tags: Add Tag
No Tags, Be the first to tag this record!
Journal Title:Digital Library of Periodicals of National Academy of Sciences of Ukraine
Cite this:Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос.

Institution

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id nasplib_isofts_kiev_ua-123456789-123968
record_format dspace
spelling Скобелев, В.В.
2017-09-15T17:28:18Z
2017-09-15T17:28:18Z
2010
Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос.
1683-4720
https://nasplib.isofts.kiev.ua/handle/123456789/123968
519.7+681.3
Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет унифицированные средства преодоления целого комплекса уязвимостей современных сетевых компьютерных систем. Указан ряд задач, связанных с обеспечением взаимодействия формальных моделей безопасности компьютерных систем с криптосистемой.
Дана стаття є оглядом з теорії комп'ютерної безпеки. У ній представлено ретроспективний аналіз моделей, які здійснили найбільший вплив на розвиток цієї теорії. Охарактеризовано клас ДП-моделей, опрацюванню якого приділяється значна увага в останній час, та який надає: уніфіковані засоби для подолання цілого комплексу вразливостей сучасних мереж комп'ютерних систем. Зазначено низку задач, пов'язаних із забезпеченням взаємодії формальних моделей безпеки комп'ютерних систем з криптосистемою.
The given is some survey of the theory of computer security. It is presented retrospective analysis of models exerted a major influence on the development of this theory. It is characterized the class of AF-models, elaboration of which received considerable attention in recent and which provides a unified means to overcome the whole range of vulnerabilities of modern nets of computer systems. Some problems connected with interaction of formal models of computer security with any crypt-system are pointed.
ru
Інститут прикладної математики і механіки НАН України
Труды Института прикладной математики и механики
Анализ моделей безопасности компьютерных систем
Аналіз моделей безпеки комп’ютерних систем
Analysis of security models for computer systems
Article
published earlier
institution Digital Library of Periodicals of National Academy of Sciences of Ukraine
collection DSpace DC
title Анализ моделей безопасности компьютерных систем
spellingShingle Анализ моделей безопасности компьютерных систем
Скобелев, В.В.
title_short Анализ моделей безопасности компьютерных систем
title_full Анализ моделей безопасности компьютерных систем
title_fullStr Анализ моделей безопасности компьютерных систем
title_full_unstemmed Анализ моделей безопасности компьютерных систем
title_sort анализ моделей безопасности компьютерных систем
author Скобелев, В.В.
author_facet Скобелев, В.В.
publishDate 2010
language Russian
container_title Труды Института прикладной математики и механики
publisher Інститут прикладної математики і механіки НАН України
format Article
title_alt Аналіз моделей безпеки комп’ютерних систем
Analysis of security models for computer systems
description Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет унифицированные средства преодоления целого комплекса уязвимостей современных сетевых компьютерных систем. Указан ряд задач, связанных с обеспечением взаимодействия формальных моделей безопасности компьютерных систем с криптосистемой. Дана стаття є оглядом з теорії комп'ютерної безпеки. У ній представлено ретроспективний аналіз моделей, які здійснили найбільший вплив на розвиток цієї теорії. Охарактеризовано клас ДП-моделей, опрацюванню якого приділяється значна увага в останній час, та який надає: уніфіковані засоби для подолання цілого комплексу вразливостей сучасних мереж комп'ютерних систем. Зазначено низку задач, пов'язаних із забезпеченням взаємодії формальних моделей безпеки комп'ютерних систем з криптосистемою. The given is some survey of the theory of computer security. It is presented retrospective analysis of models exerted a major influence on the development of this theory. It is characterized the class of AF-models, elaboration of which received considerable attention in recent and which provides a unified means to overcome the whole range of vulnerabilities of modern nets of computer systems. Some problems connected with interaction of formal models of computer security with any crypt-system are pointed.
issn 1683-4720
url https://nasplib.isofts.kiev.ua/handle/123456789/123968
citation_txt Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос.
work_keys_str_mv AT skobelevvv analizmodeleibezopasnostikompʹûternyhsistem
AT skobelevvv analízmodeleibezpekikompûternihsistem
AT skobelevvv analysisofsecuritymodelsforcomputersystems
first_indexed 2025-12-01T04:37:54Z
last_indexed 2025-12-01T04:37:54Z
_version_ 1850859339597742080

Similar Items