Объектно-функциональная верификация информационной безопасности распределенных автоматизированных информационных систем таможенных органов

Формализация проблемы обеспечения безопасности информации в распределенных автоматизированных информационных системах с мультикаскадной моделью жизненного цикла. Методы верификации формальной спецификации системы обеспечения безопасности информации.

Подобные документы

  • Анализ способов обеспечения автоматизированных информационных систем (АИС). Исследование понятия АИС и основные способы построения АИС. Повышение производительности и эффективности труда работников, улучшение качества информационной продукции и услуг.

    статья, добавлен 25.02.2019

  • Методы, средства и процедуры, реализация которых обеспечивает достижение цели автоматизированных информационных систем. Сущность функций управления и информационно-технологических функций. Обработка данных в автоматизированных информационных системах.

    презентация, добавлен 02.01.2019

  • Утеря конфиденциальной информации финансовых учреждений. Защита информации как на сетевом, так и на прикладном уровнях. Централизованный сбор и анализ событий информационной безопасности, поступающих из различных систем. Включение логов безопасности.

    статья, добавлен 03.05.2019

  • Анализ понятий в области безопасности информационных технологий. Цель защиты автоматизированной системы и циркулирующей в ней информации. Правовые основы обеспечения безопасности информационных технологий и персональных данных. Сертификация и аттестация.

    дипломная работа, добавлен 31.05.2013

  • Закономерности, модели и методы построения мобильных распределенных баз данных, управление ими в автоматизированных информационных системах МЧС России. Разработка методологии структурных трансформаций МРБД при изменении условий их функционирования.

    автореферат, добавлен 13.02.2018

  • История возникновения и развития информационной безопасности. Средства обеспечения безопасности процессов переработки информации. Виды угроз информационной безопасности (классифицированных по характеру нарушения). Механизмы шифрования (криптографии).

    реферат, добавлен 31.05.2015

  • Основные понятия автоматизированных информационных систем. Технические средста информации, устройства ввода и вывода. Основы объектно-ориентированного программирования. Компьютерные сети и интернет-технологии. Администрирование в информационных системах.

    отчет по практике, добавлен 16.02.2016

  • Исследование проблемы обеспечения безопасности автоматизированных систем. Анализ и изучение критериев классификации возможных угроз с целью выбора оптимальных средств защиты. Рассмотрение количественных и качественных методов оценки опасности рисков.

    реферат, добавлен 20.03.2015

  • Причины обострения проблемы обеспечения безопасности информационных технологий. Субъекты информационных отношений и их безопасность. Классификация каналов проникновения в систему и утечки информации. Цели защиты автоматизированной системы и информации.

    реферат, добавлен 13.11.2014

  • Аппаратные и программные решения, современные сетевые технологии, применяемые для построения распределенных автоматизированных обучающих систем. Способы организации сетевой среды распределенной обучающей системы на принципе открытой архитектуры.

    автореферат, добавлен 30.03.2013

  • Процесс обучения объектно-ориентированному программированию с предварительным рассмотрением алгоритмических конструкций структурного языка. Проектирование информационных систем на основе объектно-ориентированного подхода, визуальное моделирование.

    дипломная работа, добавлен 12.10.2014

  • Современные технические средства обеспечения управления информационными ресурсами. Основные требования и характеристики автоматизированных информационных систем (АИС). Сущность, структура, организация и расчет оптимального технического обеспечения АИС.

    контрольная работа, добавлен 31.05.2016

  • Защита информации в автоматизированных системах. Настройки компонентов системы и средств защиты для обеспечения безопасности обрабатываемой в ней информации от различного рода несанкционированных воздействий. Преимущества и недостатки "Avast Premier".

    курсовая работа, добавлен 15.05.2015

  • Понятие безопасности информационной системы и угроз, которым она подвержена. Пути несанкционированного доступа к информации. Причины возникновения каналов утечки. Методы обеспечения безопасности информации. Кодирование, шифрование и защита данных.

    контрольная работа, добавлен 11.11.2010

  • Классификация автоматизированных систем. Частная модель угроз информационной безопасности и рекомендации по защите конфиденциальной информации, обрабатываемой в системах. Средства защиты и меры по предотвращению реализации основных угроз безопасности.

    курсовая работа, добавлен 22.11.2013

  • Применение информационных технологий в разных сферах жизни. Основные интересы злоумышленников. Угрозы информационной безопасности для организации: внутренние и внешние. Необходимость разработки требований по соблюдению правил информационной безопасности.

    статья, добавлен 20.02.2019

  • Классификация информации, которая используется в автоматизированных системах, требования к ней. Виды классификаторов и их сравнительное описание. Принципы кодирования библиотечной информации. Унифицированные системы документации, их плюсы и минусы.

    лекция, добавлен 29.06.2015

  • Общее понятие и классификация автоматизированных систем. Краткая характеристика автоматических информационных систем статистического учета и отчетности правоохранительных органов. Порядок сбора, обработки и публикации статистической информации.

    реферат, добавлен 25.04.2010

  • Стандарты оформления проектной документации. Организационно-правовые аспекты защиты информации. Государственная политика в сфере обеспечения безопасности. Структура организационно-правового обеспечения системы проектирования информационных систем.

    курсовая работа, добавлен 29.02.2020

  • Основные концептуальные положения системы защиты информации. Компоненты модели информационной безопасности. Классификация угроз конфиденциальной информации, их источники. Способы защиты информации, характеристика защитных действий в информационных сетях.

    реферат, добавлен 19.11.2010

  • Рассмотрение основных методов обеспечения информационной безопасности. Определение различий между санкционированным и несанкционированным доступом к информации. Классификация угроз информационной безопасности. Обзор подходов к обеспечению безопасности.

    реферат, добавлен 16.04.2017

  • Исследование видов угроз безопасности экономической информационной системы. Несанкционированное использование информационных ресурсов. Методы и средства защиты информации. Основные виды защиты, используемые в практической маркетинговой деятельности.

    реферат, добавлен 15.12.2013

  • Рассмотрение проблем обеспечения информационной безопасности коммерческих продуктов. Характеристика методов защиты информации. Средства идентификации и аутентификации пользователей, средства шифрования информации, межсетевые экраны, антивирусная защита.

    реферат, добавлен 21.11.2011

  • Апробация способа визуального конструирования автоматизированных информационных систем для проектирования предметной области модели формализованной спецификации. Разработка компонентной модели рабочей информационной системы с описанием её взаимосвязей.

    статья, добавлен 27.02.2019

  • Особенности использования информационных технологий во всех сферах жизни современного общества. Изучение проблемы защиты информации. Рассмотрение основных источников угроз информационной безопасности. Носители угроз информационной безопасности.

    статья, добавлен 22.03.2019

Работы в архивах красиво оформлены согласно требованиям ВУЗов и содержат рисунки, диаграммы, формулы и т.д.
PPT, PPTX и PDF-файлы представлены только в архивах.
Рекомендуем скачать работу и оценить ее, кликнув по соответствующей звездочке.