Анализ моделей безопасности компьютерных систем
Данная работа представляет собой обзор по теории компьютерной безопасности. В ней дан ретроспективный анализ моделей, оказавших основное влияние на развитие этой теории. Охарактеризован класс ДП-моделей, проработке которого уделяется значительное внимание в последнее время, и который предоставляет у...
Saved in:
| 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| _version_ | 1862641864254947328 |
|---|---|
| author | Скобелев, В.В. |
| author_facet | Скобелев, В.В. |
| citation_txt | Анализ моделей безопасности компьютерных систем / В.В. Скобелев // Труды Института прикладной математики и механики НАН Украины. — Донецьк: ІПММ НАН України, 2010. — Т. 21. — С. 200-208. — Бібліогр.: 40 назв. — рос. |
| collection | DSpace DC |
| container_title | Труды Института прикладной математики и механики |
| 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.
|
| first_indexed | 2025-12-01T04:37:54Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-123968 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1683-4720 |
| language | Russian |
| last_indexed | 2025-12-01T04:37:54Z |
| publishDate | 2010 |
| publisher | Інститут прикладної математики і механіки НАН України |
| 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 |
| spellingShingle | Анализ моделей безопасности компьютерных систем Скобелев, В.В. |
| title | Анализ моделей безопасности компьютерных систем |
| title_alt | Аналіз моделей безпеки комп’ютерних систем Analysis of security models for computer systems |
| title_full | Анализ моделей безопасности компьютерных систем |
| title_fullStr | Анализ моделей безопасности компьютерных систем |
| title_full_unstemmed | Анализ моделей безопасности компьютерных систем |
| title_short | Анализ моделей безопасности компьютерных систем |
| title_sort | анализ моделей безопасности компьютерных систем |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/123968 |
| work_keys_str_mv | AT skobelevvv analizmodeleibezopasnostikompʹûternyhsistem AT skobelevvv analízmodeleibezpekikompûternihsistem AT skobelevvv analysisofsecuritymodelsforcomputersystems |