Аранов, Владислав Юрьевич. Метод защиты от компьютерных атак, основанных на анализе исполняемого машинного кода [Текст] / В. Ю. Аранов, В. С. Заборовский> // Проблемы информационной безопасности. Компьютерные системы. - 2013. - № 4. - С. 93-97 : граф. - Библиогр.: с. 97 (5 назв.) . - ISSN 2071-8217
Рубрики: Вычислительная техника Программирование ЭВМ. Компьютерные программы. Программотехника Кл.слова (ненормированные): Петри сеть -- виртуальные машины -- диофантовые уравнения -- запутывающее преобразование исполняемого кода -- исполняемый код компьютерных программ -- псевдослучайная архитектура -- сеть Петри Аннотация: Развивается метод к защите исполняемого кода компьютерных программ, основанный на выполнении вычислений в среде виртуальных машин с псевдослучайной архитектурой. Доп.точки доступа: Заборовский, Владимир Сергеевич (1956-) Нет сведений об экземплярах (Источник в БД не найден) |
Исаев, Дмитрий Валентинович (кандидат экономических наук; доцент). Моделирование реализации проектов внедрения аналитических информационных систем [Текст] / Д. В. Исаев ; рец. Т. К. Кравченко> // Аудит и финансовый анализ. - 2014. - № 6. - С. 416-422 : 1 рис. - Библиогр.: с. 422 (12 назв.). - Рец. Кравченко Т. К. на ст. автора приведена в конце . - ISSN 0236-2988
Рубрики: Вычислительная техника Системное программное обеспечение Кл.слова (ненормированные): Петри сеть -- имитационное моделирование -- программное обеспечение -- проектное событие -- проекты -- сеть Петри -- управление проектами Аннотация: В статье рассматриваются вопросы моделирования реализации проектов внедрения аналитических информационных систем. Выявлены особенности проектов, обоснована применимость дискретно-событийного моделирования. Предложена модель на основе сети Петри, позволяющая описать элементы проекта с учетом вероятностного характера временных параметров и возможности повторного выполнения проектных работ. Доп.точки доступа: Кравченко, Т. К. (доктор экономических наук; профессор) \.\ Нет сведений об экземплярах (Источник в БД не найден) |
Басыня, Евгений Александрович (кандидат технических наук). Моделирование метода обеспечения качества выпускаемого ПО с использованием аппарата сетей Петри [Текст] = Modeling Quality Assurance Methods for the Produced Software Using Petri Network Machinery / Е. А. Басыня, Е. А. Малышев> // Защита информации. Инсайд. - 2023. - № 5 (113). - С. 16-22 : ил., схем. - Библиогр.: с. 22
Рубрики: Информатика Информатизация общества. Информационная политика Кл.слова (ненормированные): Петри сеть -- автоматизированное тестирование -- программное обеспечение -- разработка программного обеспечения -- сеть Петри Аннотация: В статье представлены результаты моделирования и проектирования метода обеспечения качества выпускаемого программного обеспечения как одного из возможных составных решений, подтверждающих аутентичность и достоверность результатов научно-исследовательских работ. Осуществлен анализ аппарата сетей Петри, отображены входные и выходные позиции переходов, а также приведена графическая формализация процесса моделирования. Исследуется динамика поведения сетей Петри. В заключение производится анализ свойств сети Петри предлагаемого метода, гарантирующий ее соответствие исходным заявленным параметрам. Доп.точки доступа: Малышев, Егор Алексеевич Нет сведений об экземплярах (Источник в БД не найден) |