Анализ моделей безопасности компьютерных систем
Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет у...
Збережено в:
Дата: | 2010 |
---|---|
Автор: | |
Формат: | Стаття |
Мова: | Russian |
Опубліковано: |
Інститут прикладної математики і механіки НАН України
2010
|
Назва видання: | Труды Института прикладной математики и механики |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/123968 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraineid |
irk-123456789-123968 |
---|---|
record_format |
dspace |
spelling |
irk-123456789-1239682017-09-16T03:03:55Z Анализ моделей безопасности компьютерных систем Скобелев, В.В. Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет унифицированные средства преодоления целого комплекса уязвимостей современных сетевых компьютерных систем. Указан ряд задач, связанных с обеспечением взаимодействия формальных моделей безопасности компьютерных систем с криптосистемой. Дана стаття є оглядом з теорії комп'ютерної безпеки. У ній представлено ретроспективний аналіз моделей, які здійснили найбільший вплив на розвиток цієї теорії. Охарактеризовано клас ДП-моделей, опрацюванню якого приділяється значна увага в останній час, та який надає: уніфіковані засоби для подолання цілого комплексу вразливостей сучасних мереж комп'ютерних систем. Зазначено низку задач, пов'язаних із забезпеченням взаємодії формальних моделей безпеки комп'ютерних систем з криптосистемою. 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. 2010 Article Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос. 1683-4720 http://dspace.nbuv.gov.ua/handle/123456789/123968 519.7+681.3 ru Труды Института прикладной математики и механики Інститут прикладної математики і механіки НАН України |
institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
collection |
DSpace DC |
language |
Russian |
description |
Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет унифицированные средства преодоления целого комплекса уязвимостей современных сетевых компьютерных систем. Указан ряд задач, связанных с обеспечением взаимодействия формальных моделей безопасности компьютерных систем с криптосистемой. |
format |
Article |
author |
Скобелев, В.В. |
spellingShingle |
Скобелев, В.В. Анализ моделей безопасности компьютерных систем Труды Института прикладной математики и механики |
author_facet |
Скобелев, В.В. |
author_sort |
Скобелев, В.В. |
title |
Анализ моделей безопасности компьютерных систем |
title_short |
Анализ моделей безопасности компьютерных систем |
title_full |
Анализ моделей безопасности компьютерных систем |
title_fullStr |
Анализ моделей безопасности компьютерных систем |
title_full_unstemmed |
Анализ моделей безопасности компьютерных систем |
title_sort |
анализ моделей безопасности компьютерных систем |
publisher |
Інститут прикладної математики і механіки НАН України |
publishDate |
2010 |
url |
http://dspace.nbuv.gov.ua/handle/123456789/123968 |
citation_txt |
Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос. |
series |
Труды Института прикладной математики и механики |
work_keys_str_mv |
AT skobelevvv analizmodelejbezopasnostikompʹûternyhsistem |
first_indexed |
2023-10-18T20:45:23Z |
last_indexed |
2023-10-18T20:45:23Z |
_version_ |
1796151026725683200 |