Применение графо-аналитических моделей при верификации программных продуктов
Верификации программных продуктов как проблема информационной безопасности. Особенности применения графо-аналитических моделей при верификации программных продуктов. Анализ перспектив использования кубических покрытий в областях безопасности информации.
Подобные документы
Анализ производительности и работоспособности трудовой деятельности сметчиков, увеличения сферы программных продуктов. Раскрытие основных преимуществ и значимости сметных программных продуктов "Гранд-Смета", "Smeta.RU", "1С: Смета", "Смета Визард".
статья, добавлен 26.07.2018Разработка программных продуктов для анализа фреймворков, с последующими рекомендациями для их выбора. Проектирование пользовательского интерфейса. Алгоритм проведения сравнения однотипных программных продуктов, созданных на базе различных фреймворков.
диссертация, добавлен 14.12.2019Уязвимости программного обеспечения. Разработка программного решения для обработки исходных данных базы National Vulnerability Database. Получение статистики по уязвимостям программных продуктов, являющихся составными частями архитектуры веб-сервисов.
статья, добавлен 29.08.2016Использование различных механизмов защиты с целью обеспечения информационной безопасности организации. Условия применение физических, аппаратных, программных, аппаратно-программных, криптографических, административных и морально-этических средств защиты.
статья, добавлен 30.03.2019Изучение основных понятий и положений методологии и технологии разработки ПО. Обзор общих принципов разработки программных систем. Разработка техники практических навыков использования инструментальных средств для разработки программных продуктов.
учебное пособие, добавлен 23.09.2017Определение значения учета горюче-смазочных материалов, как одного из основных процессов на каждом предприятии. Рассмотрение интегрального показателя качества для программных продуктов учета. Исследование и анализ качеств функциональных возможностей.
статья, добавлен 11.03.2019Разработка конфигурации "Автоматизация учета продаж программных продуктов, поставляемых франчайзинговой фирмой" на платформе "1С: Предприятие 8.2.". Составление алгоритма поиска информации о поставщиках, клиентах и реализуемой продукции, доходе фирмы.
дипломная работа, добавлен 21.02.2016Обеспечение безопасности взаимодействия пользователей, процессов и систем как одна из актуальных задач защиты информации в информационно-телекоммуникационных сетях. Общая характеристика методов и средств верификации криптографических протоколов.
статья, добавлен 24.03.2019Экспертная оценка качества инновационных программных продуктов, обоснование управленческих решений. Критерии комбинаторного покрытия для получения набора тестов и экспертных оценок. Правомерность использования возможностей метода модульного тестирования.
статья, добавлен 22.05.2017Изучение понятия облачных вычислений, как технологии распределённой обработки данных, в которой компьютерные ресурсы и мощности предоставляются пользователю как интернет-сервис. Обзор программных продуктов 1С, реализующих технологию облачных вычислений.
курсовая работа, добавлен 15.05.2014Возможности модельно-ориентированное проектирование при помощи программных продуктов MathWorks, позволяющие автоматизировать процесс разработки, отладки и верификации программного обеспечения для встраиваемых систем управления. Пакет прикладных программ.
статья, добавлен 13.02.2016Рассмотрение продуктов для проектного менеджмента ввиду появления новых бизнес-моделей продажи и распространения программных продуктов. Характеристика преимуществ продажи дистрибутива продукта на физическом носителе или по электронным каналам связи.
статья, добавлен 24.01.2017- 38. Обзор программных продуктов в области корпоративных информационных систем управления предприятием
Характеристика возможностей программных продуктов в области корпоративных информационных систем управления предприятием. Ознакомление с функциональной структурой системы "Галактика". Рассмотрение и анализ основных компонентов программы "Lotus Notes".
статья, добавлен 18.12.2017 Элементы системы контроля версий (СКВ) программных продуктов. Критерии выбора и архитектура. Типовые примеры веток. Схема локальной СКВ. Централизованное управление версиями. Распределенные системы контроля версий. Контентно-адресуемая файловая система.
курсовая работа, добавлен 19.05.2014Характеристика параллельных распределительных систем в вычислительных процессах. Применение компонентной сети Петри, используя бисимуляционную эквивалентность полученных моделей Крипке. Методы и способы спецификации и верификации параллельных процессов.
научная работа, добавлен 28.02.2016Современные способы обеспечения информационной безопасности, включающие в себя мандатный подход. Характеристика программных продуктов, поддерживающих его. ОС Astra Linux Special Edition, которая предоставляет хранилище информации о правах пользователя.
статья, добавлен 16.10.2024История возникновения первых сетевых технологий, как прототипов современных корпоративных (ведомственных), территориальных и глобальных сетей, их особенности. Роль клиентских программных продуктов. Суть информационной перегрузки и проблемы безопасности.
контрольная работа, добавлен 17.10.2010Состав программных продуктов "Верба", их назначение, функциональные особенности и сферы практического применения. Средства криптографической защиты "Верба – О(OW)". Вычисление функции хэширования. АРМ Администратора безопасности. Функции библиотек.
курсовая работа, добавлен 03.02.2011Исследование программной системы, предназначенной для моделирования и верификации вероятностных многоагентных систем. Вероятностные темпоральные логики ветвящегося и линейного времени. Алгоритм верификации полиномиальной сложности. Язык программ агентов.
статья, добавлен 19.01.2018Рассмотрение подхода к количественной оценке существующих программных продуктов расчета метрических характеристик физических схем баз данных. Использование иерархической аналитической процедуры Саати при количественной оценке программного продукта.
статья, добавлен 21.05.2016Подходы к верификации протоколов безопасности. Определение набора свойств, подлежащих проверке. Графический вывод шаблонов трассировки. Симметричное и асимметричное шифрование криптографических данных. Верификационные средства логического вывода.
статья, добавлен 10.04.2019Характеристика компьютерных вирусов и определение признаков вирусного заражения. Рассмотрение и анализ процесса определения угрозы безопасности информации в информационной системе. Исследование содержания понятия Марковского случайного процесса.
курсовая работа, добавлен 19.02.2024Особенности функциональной и математической моделей видеоконтроля и верификации объектов организации. Поиск связей, расстояния между дескрипторами особых точек на сравниваемых изображениях. Модули (интерфейсный, модуль выделения и др.) модели верификации.
статья, добавлен 10.01.2016Сущность объектного подхода к разработке программных средств. Объектное моделирование как этап внешнего описания при объектном подходе. Особенности этапа конструирования программного средства при объектном подходе. Язык описания программных продуктов.
реферат, добавлен 18.09.2009Понятие, цели и задачи федерального казначейства. Основная необходимость внедрения саморегулирующего источника информации. Архитектура "клиент-сервер" автоматизированной информационной технологии финансового органа. Суть применения программных продуктов.
контрольная работа, добавлен 10.05.2015