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

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

Повний опис

Збережено в:
Бібліографічні деталі
Видавець:Інститут прикладної математики і механіки НАН України
Дата:2010
Автор: Скобелев, В.В.
Формат: Стаття
Мова:Russian
Опубліковано: Інститут прикладної математики і механіки НАН України 2010
Назва видання:Труды Института прикладной математики и механики
Онлайн доступ:http://dspace.nbuv.gov.ua/handle/123456789/123968
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
Цитувати:Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос.

Репозиторії

Digital Library of Periodicals of National Academy of Sciences of Ukraine
id 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