| rus | eng |

Резник Сергей Александрович

Гражданство: Россия Почтовый адрес (офис): 190103 Санкт-Петербург, ул. 10-я Красноармейская, 22А «Сан Майкросистемс» Тел.: +7-(812)-334-6101 Факс: +7-(812)-334-6238 Должность: соискатель Сергей Александрович Резник, соискатель научно-исследовательской группы компьютерной безопасности Санкт-Петербургского института информатики и автоматизации РАН (научный руководитель – проф. д.т.н. И.В.Котенко), работает в СПИИРАН с 2005 г. Окончил Санкт-Петербургский Государственный Университет (1996 г.). Основное место работы — компания «Сан Майкросистемс». E-mail: Sergey[DOT]Reznick[AT]sun[DOT]com http://comsec.spb.ru/reznik/

Наверх 

Наверх 

Текущие гранты и проекты

• Котенко И.В. (Руководитель проекта). “Математические модели, методы и алгоритмы проактивной защиты от вредоносного программного обеспечения в компьютерных сетях и системах”. Проект по программе фундаментальных исследований Отделения нанотехнологий и информационных технологий РАН "Архитектура, системные решения, программное обеспечение, стандартизация и информационная безопасность информационно-вычислительных комплексов новых поколений»", 2009-2011 (Исследователь).

Предыдущие гранты и проекты

• Котенко И.В. (Руководитель проекта). НИР по заказу секции прикладных проблем Российской академии наук. Государственный контракт, 2008-2009 (Исследователь).
• Котенко И.В. (Руководитель проекта). “Модели и методы построения и поддержки функционирования интеллектуальных адаптивных систем защиты информации, основывающиеся на моделировании поведения систем защиты, реализации верифицированных политик безопасности, оценке защищенности и проактивном мониторинге”. Грант Российского Фонда Фундаментальных Исследований (РФФИ) № 07-01-00547, 2007-2009 (Исследователь).
  Report-07-01-00547a-2007short.pdf [application/pdf] (193198 bytes)
  Report-07-01-00547a-2008short.pdf [application/pdf] (205945 bytes)
  Report-07-01-00547a-2009short.pdf [application/pdf] (943498 bytes)
• Котенко И.В. (Руководитель проекта от СПИИРАН). “Удаленное доверие посредством программной аутентификации в реальном времени (RE-TRUST)”. Проект Шестой рамочной программы (FP6) Европейского Сообщества. Контракт 021186-2, 2006-2009 (Исследователь).
• Котенко И.В. (Руководитель проекта от СПИИРАН). “Средства и модели защиты информации, основанные на политике безопасности (POSITIF)”. Проект Шестой рамочной программы (FP6) Европейского Сообщества. Контракт IST-2002-002314, 2003-2007 (Исследователь).

Наверх 

Статьи

2009

1. Резник С.А. Комбинированные подходы к верификации протоколов безопасности // VI Санкт-Петербургская межрегиональная конференция «Информационная безопасность регионов России (ИБРР-2009). 28-30 октября 2009 г. Материалы конференции. СПб, 2009. С.122-123.
2. Котенко И.В., Резник С.А., Шоров А.В. Верификация протоколов безопасности на основе комбинированного использования существующих методов и средств // Труды СПИИРАН. Вып.8. СПб.: Наука, 2009. C.292-310.
3. Резник С.А., Котенко И.В. Методы и средства верификации для комбинированного анализа протоколов безопасности // Защита информации. Инсайд, № 3, 2009. С.56-72.

2008

1. Резник С.А. Комплексный подход к верификации протоколов безопасности на примере протокола RE-TRUST // XI Санкт-Петербургская Международная Конференция “Региональная информатика-2008” (“РИ-2008”). Материалы конференции. СПб., 2008. С.111.
2. Десницкий В.А., Котенко И.В., Резник С.А. Разработка и анализ протокола обмена сообщениями для механизма удаленного доверия // Труды Международных научно-технических конференций “Интеллектуальные системы (AIS'08)” и “Интеллектуальные САПР (CAD-2008)”. М.: Физматлит, 2008.
3. Десницкий В.А., Котенко И.В., Резник С.А. Разработка и анализ протокола обмена сообщениями для защиты программ посредством “удаленного доверия” // Методы и технические средства обеспечения безопасности информации. Материалы ХVII Общероссийской научно-технической конференции. 7-11 июля 2008 года. Санкт-Петербург. Издательство Политехнического университета. 2008.
4. Десницкий В.А., Котенко И.В., Резник С.А. Разработка и верификация протокола обмена сообщениями для защиты программ на основе механизма “удаленного доверия” // Защита информации. Инсайд, № 4, 2008. С.59-63; № 5, 2008. С.68-74.

2007

1. Резник С.А., Черватюк О.В. Обнаружение конфликтов фильтрации и защиты каналов в политике безопасности на основе методов верификации на модели // Методы и технические средства обеспечения безопасности информации. Материалы ХVI Общероссийской научно-технической конференции. 27-29 июня 2007 года. Санкт-Петербург. Издательство Политехнического университета. 2007. C.37.
2. Котенко И.В., Тишков А.В., Черватюк О.В., Резник С.А., Сидельникова Е.В. Система верификации политики безопасности компьютерной сети // Вестник компьютерных и информационных технологий, № 11, 2007. C.48-56.

2006

1. Тишков А.В., Котенко И.В., Черватюк О.В., Лакомов Д.П., Резник С.А., Сидельникова Е.В. Обнаружение и разрешение конфликтов в политиках безопасности компьютерных сетей // Труды СПИИРАН, Выпуск 3, Том 2. СПб.: Наука, 2006. С.102-114.
2. Тишков А.В., Черватюк О.В., Лакомов Д.П., Резник С.А., Сидельникова Е.В. Обнаружение и разрешение противоречий в спецификациях сложных систем // КИИ-2006. X Национальная конференция по искусственному интеллекту с международным участием. Труды конференции. Том 1. М.: Физматлит, 2006. С.87-90. ISBN: 5-9221-0757-7.
   NCAI-06-A-Tishkov.pdf [application/pdf] (8427 bytes)
   NCAI-06-Tishkov.pdf [application/pdf] (338635 bytes)

Наверх