Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06)сборник

Статьи, опубликованные в сборнике

---

• • 2007 К созданию автоматизированных средств верификации программного кода
  • Пучков Ф.М., Шапченко К.А., Андреев О.О.
  • в сборнике Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06), с. 401-439
• • 2007 Концептуальные положения обеспечения информационной безопасности объектов национальной информационно-телекоммуникационной инфраструктуры
  • Васенин В.А., Большаков М.В., Савкин В.Б.
  • в сборнике Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06), с. 495-507
• • 2007 Математические модели и механизмы логического разграничения доступа в операционной системе Linux: текущее состояние и перспективы развития
  • Васенин В.А., Шапченко К.А., Андреев О.О.
  • в сборнике Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06), с. 159-171
• • 2007 Объекты критически важных инфраструктур: анализ защищенности и риски успешной реализации компьютерных атак.
  • Климовский А.А., Большаков М.В., Пучков Ф.М.
  • в сборнике Материалы Второй международной научной конференции по проблемам безопасности и противодействия терроризму. Пятая общероссийская научная конференция "Математика и безопасность информационных технологий" (МаБИТ-06), с. 315-335