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

• Опубліковано в: : Труды Института прикладной математики и механики
• Дата: 2010
• Автор: Скобелев, В.В.
• Формат: Стаття
• Мова: Російська
• Опубліковано: Інститут прикладної математики і механіки НАН України 2010
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/123968
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос.

Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет унифицированные средства преодоления целого комплекса уязвимостей современных сетевых компьютерных систем. Указан ряд задач, связанных с обеспечением взаимодействия формальных моделей безопасности компьютерных систем с криптосистемой. Дана стаття є оглядом з теорії комп'ютерної безпеки. У ній представлено ретроспективний аналіз моделей, які здійснили найбільший вплив на розвиток цієї теорії. Охарактеризовано клас ДП-моделей, опрацюванню якого приділяється значна увага в останній час, та який надає: уніфіковані засоби для подолання цілого комплексу вразливостей сучасних мереж комп'ютерних систем. Зазначено низку задач, пов'язаних із забезпеченням взаємодії формальних моделей безпеки комп'ютерних систем з криптосистемою. 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.