Применение графо-аналитических моделей при верификации программных продуктов
Научно-технические аспекты процедуры сертификации по требованиям безопасности информации программных продуктов в России. Исследование методики верификации программных средств с использованием графо-аналитической модели и комплексных кубических покрытий.
Подобные документы
Основные этапы развития средств разработки программного обеспечения. Структурный, объектный и компонентный подход к программированию. Языки программирования и методологии. Система обозначений, используемых для описания некоторого класса моделей.
курсовая работа, добавлен 15.12.2019Рассмотрение проблемы угроз безопасности информации. Определение уязвимости компьютерных сетей. Характеристика средств защиты информации и их классификация. Возможности аппаратных и программных средств защиты информации, их достоинства и недостатки.
курсовая работа, добавлен 03.10.2017Рассмотрение программных решений возможностей импорта данных о товарах и поставщиках. Характеристика особенностей аналитической иерархической процедуры Саати. Изучение значения весовых коэффициентов, соответствующих функциональным возможностям продуктов.
статья, добавлен 20.07.2018Необходимость правового обеспечения, лицензирования и сертификации в области защиты информации. Применение организационных, аппаратных, криптографических, программных и физических методов и средств защиты автоматизированных систем обработки данных.
реферат, добавлен 12.09.2012Сущность информационной системы как взаимосвязанной совокупности средств, методов и персонала, используемых для хранения, обработки и выдачи информации. Классификация и структура программных продуктов обработки. Составление и расчет сетевого графика.
курсовая работа, добавлен 20.11.2013Система ввода-вывода звука. Устройства для работы с видеокадрами, хранения мультимедийной информации. Демонстрационный материал. Виды проекционной техники. Этапы создания компьютерной презентации. Разработка ее с использованием программных средств.
презентация, добавлен 19.09.2013Виды систем управления базами данных. Обеспечение безопасности информации. Работа в многопользовательских средах. Анализ основных характеристик программных продуктов, используемых в правовой сфере. Доступ к корпоративным данным посредством языка SQL.
реферат, добавлен 24.03.2022- 108. Модель жизненного цикла разработки программного обеспечения в рамках научно-исследовательских работ
Обзор проблем, возникающих при разработке экспериментальных образцов программных продуктов в рамках научно-исследовательских работ (НИР). Анализ модели жизненного цикла программного обеспечения в рамках НИР, особенности и возможности ее применения.
статья, добавлен 15.10.2018 Анализ существующих моделей и программных комплексов и систем обработки потоковой информации в многопередельном производстве (СОПИМП). Обоснование выбора базовой методологии и средств моделирования СОПИМП, особенности разработки имитационной модели.
автореферат, добавлен 02.08.2018Разработка системного подхода к инженерной подготовке и разработке организационно-технологической документации. Характеристика программных продуктов для строительного производства. Сущность создания интегрированной информационно-аналитической системы.
статья, добавлен 30.05.2017Защита программного обеспечения от несанкционированного копирования законами об авторских правах. Приобретение лицензии (права) на использование. Схемы серверных продуктов. Условно-бесплатное распространение программного обеспечения для компьютера.
реферат, добавлен 22.04.2014Понятие языка программирования. Способы и методы оптимизации программы, аспекты структурного программирования и вычисления констант, понятие оптимизирующих компиляторов. Общая характеристика основных языков программирования, их отличительные черты.
курсовая работа, добавлен 26.03.2009Анализ текущей ситуации на рынке биометрических программных интерфейсов, их внедрение для защиты важной информации, а также в современных системах обеспечения безопасности. Использование биометрических программных интерфейсов в банковском секторе.
статья, добавлен 19.12.2017Автоматизация тестирования коммерческих программных продуктов. Методы многокритериальной оптимизации оценки экономической эффективности. Разработка приложений, соответствующих требованиям сервис-ориентированных архитектур. Информационное обеспечение.
дипломная работа, добавлен 13.04.2022Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Группы программных средств, применяемых в экономических информационных системах. Значение и основные компоненты экспертных систем. Характеристика многомерных, реляционных и гибридных OLAP продуктов. Роль Internet-технологий в современной экономике.
реферат, добавлен 23.10.2012Анализ особенностей разработки и стандартизации программных средств и информационных технологий, рассмотрение основных требований. Знакомство с этапами формирования отчета "Заказы за период". Общая характеристика способов установки и запуска программы.
курсовая работа, добавлен 14.06.2013Разработка методики анализа программного кода на предмет анализируемости, позволяющей получать объективную, количественную оценку показателя качества в соответствии с поставленными требованиями, назначением и специфическими особенностями продукта.
автореферат, добавлен 02.05.2018Рассмотрение основных угроз информационной безопасности и их классификация. Характеристика и классификация средств защиты информации. Раскрытие возможности аппаратных и программных средств защиты информации, выявление их достоинств и недостатков.
курсовая работа, добавлен 05.05.2019Применение автоматизированных систем в управлении, направления и преимущества их использования. Рассмотрение лидирующих производителей программных продуктов на рынке России и стран Содружества Независимых Государств, перспективы и сложности их развития.
статья, добавлен 25.07.2021Состав программных продуктов "Верба", их назначение, функциональные особенности и сферы практического применения. Средства криптографической защиты "Верба – О(OW)". Вычисление функции хэширования. АРМ Администратора безопасности. Функции библиотек.
курсовая работа, добавлен 03.02.2011Применение информационных технологий в военной сфере. Выявление последних инноваций и новых технологий невиданных миру до нынешних дней. Анализ тенденций к увеличению роли программных средств и продуктов для повышения качества ведения военного дела.
статья, добавлен 15.03.2019Научно-техническая политика в области стандартизации информационных технологий и проектирования систем в России. Согласованная структура пакета стандартов. Менеджмент возможностей программных продуктов. Средства сопровождения. Стандартизация в мире.
контрольная работа, добавлен 25.06.2013Применение систем контроля и автоматизации в ресторанном бизнесе, современный рынок программных продуктов для ресторанного бизнеса. Автоматизация процессов обслуживания посетителей (фронт-офиса) на предприятиях индустрии питания и гостеприимства.
статья, добавлен 16.03.2019Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019