Метод и модель рефлексивного управления защищённостью сетевых автоматизированных систем
Диссертация
Анализ защищенности осуществляется на основе поиска уязвимых мест во всей сети, состоящей из соединений, узлов (например, коммуникационного оборудования), хостов, рабочих станций, приложений и баз данных. Эти элементы нуждаются как в оценке эффективности их защиты, так и в поиске в них неизвестных уязвимостей. Процесс анализа защищенности предполагает исследование сети для выявления в ней слабых… Читать ещё >
Список литературы
- Автоматизация проектирования вычислительных систем: Языки, моделирования и базы данных/ Под редакцией М.Брейера. М.: Мир, 1979
- Агафонов В.Н. Спецификация программ: понятийные средства и их организация. Новосибирск: Наука, 1990. 224 с.
- Баер Ж.Л. Методы исследования параллелизма/ Системы параллельной обработки. М.: Мир, 1985.
- Блауберг И.В., Садовский В. Н., Юдин Э. Г. Системный подход: предпосылки, проблемы, трудности. Издательство «Знание», 1969.
- Бонгард М.М. Проблема узнавания. Наука, 1967.
- Бэрри Нанс. Компьютерные сети: Пер. с английского М.:БИНОМ, 1996. — 400 с. с илл.
- Гальперин П.Я. Психология мышления и учение о поэтапном формировании умственных действий. В сб. «Исследование мышления в советской психологии». Издательство «Наука», 1966.
- Глушков В.М. Основы безбумажной информатики. М.: Наука, 1987. 552 с.
- Горбатов В.А. и др. САПР систем логического управления/ В. А. Горбатов, А. В. Крылов, Н.В.Федоров- Под ред. В. А. Горбатова. -М.:Энергоатомиздат, 1988. 232 с. с илл.
- Ю.Горбатов В. А. Синтез логических схем в произвольном базисе. / Теория дискретных автоматов. Рига: Зинатне, 1967.
- П.Горбатов В. А. Схемы управления ЦВМ и графы. М.: Энергия, 1971.
- Горбатов В.А. Теория частично упорядоченных систем. М.: Советское радио, 1976.
- З.Горбатов В. А., Павлов П. Г., Четвериков В. Н. Логическоеуправление информационными процессами. М.: Энергоатомиздат, 1984
- Игнатьев М.Б. и др. Активные методы обеспечения надежности алгоритмов и программ/ Б. М. Игнатьев, В. В. Фильчаков, Л. Г. Осовецкий. СПб.: Политехника, 1992. — 288 с. с илл.
- Игнатьев М.Б., Путилов В. А., Смольков Г. Я. Модели и системы управления комплексными экспериментальными исследованиями. М.: Наука, 1986. 232 с.
- Ильин В.Д. Система порождения программ. М.: Наука, 1989, 264 с.
- Информационное общество: Информационные войны. Информационное управление. Информационная безопасность/ Под редакцией М. А. Вуса. СПб.: Издательство С.-Петербургского университета, 1999. — 212 с.
- Камерфорд Р. Сети систем проектирования последнее звено в автоматизации производства/ Электроника. 1980. № 15
- Клир Дж. Системология. Автоматизация решения системных задач. М.: Радио и связь, 1990. 544 с.
- Крайзмер Л.П., Кулик Б. А. Персональный компьютер на вашем рабочем месте. СПб.: Лениздат, 1991. — 286 с.
- Ладенко И.С., Тульчинский Г. Л. Логика целевого управления. -Новосибирск: Наука, 1988. 208 с.
- Лайнбаржер П. Психологическая война. Воениздат, 1962.
- Лефевр В.А. Конфликтующие структуры. 2-е издание, переработанное и дополненное. — Советское радио, 1973 — 158 с.
- Лефевр В.А. Формальный метод исследования рефлексивных процессов. «Вопросы философии», 1971, № 9.
- Лефевр В.А., Логика рефлексивных игр и рефлексивное управление. В сб. «Принятие решения человеком», Тбилиси. Издательство «Мецниереба», 1967.
- Лефевр В.А., Смолян Г. Л. Алгебра конфликта. М.: Знание, 1968 -63 с. — (Новое в жизни, науке, технике. Математика, кибернетика)
- Липаев В.В. Проектирование математического обеспечения АСУ. -М.: Советское радио, 1977. 400 с.
- Липаев В.В. Проектирование программных средств: Учебное пособие для вузов по специальности «Автом. сист. обр. информ. и упр.». М.: Высшая школа, 1990. — 303 с. с илл.
- Липаев В.В. Распределение ресурсов в вычислительных системах. -М.: Статистика. 1979. 248 с.
- Лонгботтом Р. Надежность вычислительных систем: Перевод с английского/ Под редакцией П. П. Пархоменко. М.: Энергоатомиздат, 1985. 288 с.
- Майерс Г. Искусство тестирования программ: Перевод с английского М.: Финансы и статистика, 1982.178 с.
- Майоров С.А., Новиков Г. И., Алиев Т. И. и др. Основы теории вычислительных систем. М.: Высшая школа, 1978. 408 с.
- Машинное проектирование программного обеспечения. М.: Международный центр по информатике и электронике, 1990.115 с.
- Мобильность программного обеспечения: Перевод с английского/ Под редакцией Д. Б. Подшивалова. М.: Мир, 1980. 336 с.
- Зб.Осуга С. Обработка знаний. М.: Мир, 1989. 293 с.
- Першиков В.И., Савинков В. М. Толковый словарь по информатике. М.: Финансы и статистика, 1991. — 543 с.
- Представление и использование знаний/ Под редакцией Х. Уэно, М.Исидзуева. М.: Мир, 1989. 235 с.
- Системы автоматизированного проектирования/ Под редакцией Дж. Аллана. М.: Наука, 1985
- Словарь по кибернетике/ Под редакцией академика В. С. Михалевича. 2-е издание, переработанное и дополненное. -Киев. Главная редакция Украинской Советской Энциклопедии имени М. П. Баэкана, 1989 — 751 с.
- Тезисы докладов и выступлений 1 Международной конференции «Обучение САПР в инженерных вузах». Тбилиси: ЮНЕСКО, ЮНИДО, ГПИ, 1987.
- Терминологический словарь по основам информатики и вычислительной техники/А.П.Ершов, Н. М. Шанский, А. П. Окунева, Н.В.Баско- Под редакцией А. П. Ершова, Н. М. Шанского. М.: Просвещение, 1991. — 159 е., с илл.
- Фокс Дж. Программное обеспечение и его разработка: Перевод с английского/ Под редакцией Д. Б. Подшивалова. М.: Мир, 1985. 268 с.
- Холстед М.Х. Начала науки о программах: Перевод с английского -М.: Финансы и статистика, 1981.128 с.
- Шенк Р. Обработка концептуальной информации. М.: Энергия, 1960. 254 с.
- Шураков В.В. Надежность программного обеспечения систем обработки данных. М.: Статистика, 1981. 215 с.
- Brix Н. Construction of high-quality software with formally guaranteed properties/ Advanced Information Processing, 1990.
- Lefebvre V. Das system im system. «Ideen des axakten Wissens», Stuttgart, 1970, № 10.
- Rapoport Anotol, Chamah A.M. Prisoner’s Dilemma. Ann. Arbor: University of Michigan Press, 1965.
- Rapoport Anotol. Strategy and Conscience. N.Y. 1964.
- Series on case reports/ American programmer. 1990. — Volume 3 -№ 2−4.