14 ВСЕРОССИЙСКАЯ КОНФЕРЕНЦИЯ
«СИБИРСКАЯ НАУЧНАЯ ШКОЛА-СЕМИНАР С МЕЖДУНАРОДНЫМ УЧАСТИЕМ
"КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ"»
SIBECRYPT'15
«СИБИРСКАЯ НАУЧНАЯ ШКОЛА-СЕМИНАР С МЕЖДУНАРОДНЫМ УЧАСТИЕМ
"КОМПЬЮТЕРНАЯ БЕЗОПАСНОСТЬ И КРИПТОГРАФИЯ"»
SIBECRYPT'15
Организаторы:
Томский государственный университет
Новосибирский государственный университет экономики и управления
Институт математики СО РАН им. С.Л. Соболева
Институт криптографии, связи и информатики Академии ФСБ
Московский государственный университет им. М.В. Ломоносова
Цель школы-семинара: обсуждение фундаментальных математических проблем криптографии и защиты информации в компьютерных системах и сетях, обмен научными результатами по развитию теоретических основ и созданию программно-аппаратных средств компьютерной безопасности.
Тематика школы-семинара имеет математическую направленность, и ее научную основу образует прикладная дискретная математика. В соответствии с этим проблематику исследований по тематике школы-семинара составляют проблемы дискретной математики, возникающие в компьютерной безопасности и криптографии. Они распределяются по следующим основным направлениям:
1) теоретические основы прикладной дискретной математики – алгебраические структуры, дискретные функции, комбинаторный анализ, теория чисел, математическая логика, теория информации, системы уравнений над конечными полями и кольцами;
2) математические методы криптографии – синтез криптосистем, методы криптоанализа, генераторы псевдослучайных последовательностей, оценка стойкости криптосистем, криптографические протоколы, математические методы квантовой криптографии;
3) математические методы стеганографии – синтез стеганосистем, методы стеганоанализа, оценка стойкости стеганосистем;
4) математические основы компьютерной безопасности – математические модели безопасности компьютерных систем (КС), математические методы анализа безопасности КС, математические методы синтеза защищенных КС;
5) математические основы надежности вычислительных и управляющих систем (ВиУС) – математические модели функциональной устойчивости ВиУС (к отказам, неисправностям, сбоям, состязаниям, исследованию), математические методы анализа функциональной устойчивости ВиУС, математические методы синтеза функционально устойчивых ВиУС, математические методы верификации логических схем и программ, математические методы синтеза самопроверяемых и контролепригодных схем;
6) прикладная теория кодирования – коды для сжатия данных и защиты информации, коды для обнаружения и исправления ошибок, построение оптимальных кодов, анализ свойств кодов;
7) прикладная теория автоматов – автоматные модели сетевых протоколов, криптосистем и управляющих систем, автоматы без потери информации, эксперименты с автоматами, декомпозиция автоматов, автоматные уравнения, клеточные автоматы;
8) логическое проектирование дискретных автоматов – математические модели и методы анализа, синтеза, оптимизации и оценки сложности дискретных автоматов, аппаратная реализация криптоалгоритмов;
9) математические основы информатики и программирования – формальные языки и грамматики, алгоритмические системы, языки программирования, структуры и алгоритмы обработки данных, теория вычислительной сложности;
10) вычислительные методы в дискретной математике – теоретико-числовые методы в криптографии, вычислительные методы в теории чисел и общей алгебре, комбинаторные алгоритмы, параллельные вычисления, методы дискретной оптимизации, дискретно-событийное и клеточно-автоматное моделирование;
11) математические основы интеллектуальных систем – базы данных, базы знаний, логический вывод, экспертные системы, математическая лингвистика;
12) прикладная теория графов – графовые модели в информатике и программировании, в компьютерной безопасности, вычислительных и управляющих системах, в интеллектуальных системах;
13) исторические очерки по дискретной математике и ее приложениям – в криптографии, компьютерной безопасности, кибернетике, информатике, программировании и теории надежности.
Организационный комитет школы-семинара:
Агибалов Г.П., профессор, ТГУ, Томск, председатель
Алексеев В.Б., профессор, МГУ, Москва
Девянин П.Н., профессор, ИКСИ, Москва
Липский В.Б., доцент, ТГУ, Томск
Новиков А.В., профессор, НГУЭУ, Новосибирск
Панкратова И.А., доцент, ТГУ, Томск, ответственный секретарь
Пестунова Т.М., доцент, НГУЭУ, Новосибирск
Пестунов А.И., доцент, НГУЭУ, Новосибирск
Потекаев А.И., профессор, директор СФТИ, Томск
Салий В.Н., профессор, СГУ, Саратов
Сафонов К.В., профессор, СибГАУ, Красноярск
Токарева Н.Н., доцент, ИМ им. С.Л. Соболева СО РАН, Новосибирск
Фомичёв В.М., профессор, Финансовый университет при Правительстве РФ, Москва
Черемушкин А.В., чл.-корр. АК России, ИКСИ, Москва
Рабочие языки: русский и английский.
Томский государственный университет
Новосибирский государственный университет экономики и управления
Институт математики СО РАН им. С.Л. Соболева
Институт криптографии, связи и информатики Академии ФСБ
Московский государственный университет им. М.В. Ломоносова
Цель школы-семинара: обсуждение фундаментальных математических проблем криптографии и защиты информации в компьютерных системах и сетях, обмен научными результатами по развитию теоретических основ и созданию программно-аппаратных средств компьютерной безопасности.
Тематика школы-семинара имеет математическую направленность, и ее научную основу образует прикладная дискретная математика. В соответствии с этим проблематику исследований по тематике школы-семинара составляют проблемы дискретной математики, возникающие в компьютерной безопасности и криптографии. Они распределяются по следующим основным направлениям:
1) теоретические основы прикладной дискретной математики – алгебраические структуры, дискретные функции, комбинаторный анализ, теория чисел, математическая логика, теория информации, системы уравнений над конечными полями и кольцами;
2) математические методы криптографии – синтез криптосистем, методы криптоанализа, генераторы псевдослучайных последовательностей, оценка стойкости криптосистем, криптографические протоколы, математические методы квантовой криптографии;
3) математические методы стеганографии – синтез стеганосистем, методы стеганоанализа, оценка стойкости стеганосистем;
4) математические основы компьютерной безопасности – математические модели безопасности компьютерных систем (КС), математические методы анализа безопасности КС, математические методы синтеза защищенных КС;
5) математические основы надежности вычислительных и управляющих систем (ВиУС) – математические модели функциональной устойчивости ВиУС (к отказам, неисправностям, сбоям, состязаниям, исследованию), математические методы анализа функциональной устойчивости ВиУС, математические методы синтеза функционально устойчивых ВиУС, математические методы верификации логических схем и программ, математические методы синтеза самопроверяемых и контролепригодных схем;
6) прикладная теория кодирования – коды для сжатия данных и защиты информации, коды для обнаружения и исправления ошибок, построение оптимальных кодов, анализ свойств кодов;
7) прикладная теория автоматов – автоматные модели сетевых протоколов, криптосистем и управляющих систем, автоматы без потери информации, эксперименты с автоматами, декомпозиция автоматов, автоматные уравнения, клеточные автоматы;
8) логическое проектирование дискретных автоматов – математические модели и методы анализа, синтеза, оптимизации и оценки сложности дискретных автоматов, аппаратная реализация криптоалгоритмов;
9) математические основы информатики и программирования – формальные языки и грамматики, алгоритмические системы, языки программирования, структуры и алгоритмы обработки данных, теория вычислительной сложности;
10) вычислительные методы в дискретной математике – теоретико-числовые методы в криптографии, вычислительные методы в теории чисел и общей алгебре, комбинаторные алгоритмы, параллельные вычисления, методы дискретной оптимизации, дискретно-событийное и клеточно-автоматное моделирование;
11) математические основы интеллектуальных систем – базы данных, базы знаний, логический вывод, экспертные системы, математическая лингвистика;
12) прикладная теория графов – графовые модели в информатике и программировании, в компьютерной безопасности, вычислительных и управляющих системах, в интеллектуальных системах;
13) исторические очерки по дискретной математике и ее приложениям – в криптографии, компьютерной безопасности, кибернетике, информатике, программировании и теории надежности.
Организационный комитет школы-семинара:
Агибалов Г.П., профессор, ТГУ, Томск, председатель
Алексеев В.Б., профессор, МГУ, Москва
Девянин П.Н., профессор, ИКСИ, Москва
Липский В.Б., доцент, ТГУ, Томск
Новиков А.В., профессор, НГУЭУ, Новосибирск
Панкратова И.А., доцент, ТГУ, Томск, ответственный секретарь
Пестунова Т.М., доцент, НГУЭУ, Новосибирск
Пестунов А.И., доцент, НГУЭУ, Новосибирск
Потекаев А.И., профессор, директор СФТИ, Томск
Салий В.Н., профессор, СГУ, Саратов
Сафонов К.В., профессор, СибГАУ, Красноярск
Токарева Н.Н., доцент, ИМ им. С.Л. Соболева СО РАН, Новосибирск
Фомичёв В.М., профессор, Финансовый университет при Правительстве РФ, Москва
Черемушкин А.В., чл.-корр. АК России, ИКСИ, Москва
Рабочие языки: русский и английский.
Сайт: http://sibecrypt.tsu.ru/
Формы докладов: цикл лекций (одна или более; 1,5 ч. на лекцию), пленарный доклад (до 45 мин.) и секционный доклад (до 15 мин.).
Представление докладов. К представлению и публикации в материалах школы-семинара принимаются тезисы докладов на русском или английском языках объёмом до трёх страниц, включая рисунки (не цветные), список литературы и содержательные аннотации на русском и английском языке. Объём аннотации на английском языке - от одной четверти до половины страницы. Тезисы должны быть подготовлены в формате LaTeX с использованием стилевого файла sibecrypt.sty. Правила подготовки тезисов совпадают с правилами подготовки статей в журнал «Прикладная дискретная математика», выставленными на сайте http://vestnik.tsu.ru/pdm/. Стилевой файл и шаблон для подготовки тезисов доступны на сайте sibecrypt.tsu.ru в разделе История/Доклады/2012.
Несодержательность или безграмотность английской аннотации является основанием для отклонения тезисов!
Требования к содержанию тезисов. Тезисы должны обязательно содержать конкретный новый результат по тематике школы-семинара. Это может быть модель, метод, алгоритм, теорема, доказательство, оценки (теоретические или экспериментальные) и т.п. Допускаются также тезисы обзорного доклада как заявка на лекцию для участников школы-семинара и студентов принимающего ВУЗа.
Издание трудов школы-семинара. Тезисы докладов и аннотации к ним, удовлетворяющие требованиям к содержанию и оформлению, будут изданы в трудах школы-семинара к ее открытию, а полнотекстовые доклады и лекции, подготовленные как статьи в журнал «Прикладная дискретная математика», будут опубликованы (по мере их готовности, в том числе и до школы-семинара) в очередных номерах журнала по рекомендации оргкомитета и после надлежащего рецензирования. Для ускорения и повышения качества рецензирования статей и тезисов приветствуется их одновременная присылка в оргкомитет.
Сроки
- Заявка на доклад или лекцию (ФИО, место работы, должность; название доклада или лекции; направление, к которому относится доклад) принимается до 1 февраля 2015 г.
- Тезисы докладов с аннотациями принимаются до 31 марта 2015 г.
- Извещение о принятии доклада будет отправлено до 30 апреля 2015 г.
Тезисы доклада с аннотацией следует посылать по электронной почте в tex-файле и в pdf-файле. Каждый файл именовать фамилией первого автора (образец: Ivanov.tex, Ivanov.pdf). К TeX'овскому исходнику не забудьте приложить и графические файлы, если они есть! Графики, диаграммы и т.п. рисунки должны быть созданы и присланы в векторном формате (.eps, .svg, .pdf и т.п.) без использования растровых вставок, в оттенках серого цвета. Имена графических файлов рекомендуется начинать с фамилии первого автора, так же, как и имя основного файла.
Электронный адрес для представления заявок, тезисов и аннотаций:
bykovas@isc.tsu.ru
Ответственный секретарь Оргкомитета школы-семинара
Ирина Анатольевна Панкратова,
ТГУ, кафедра защиты информации и криптографии ФПМК
634050, Томск, пр. Ленина 36
E-mail: pank@isc.tsu.ru
Телефон для срочной оперативной связи: 8-913-845-24-30.
Формы докладов: цикл лекций (одна или более; 1,5 ч. на лекцию), пленарный доклад (до 45 мин.) и секционный доклад (до 15 мин.).
Представление докладов. К представлению и публикации в материалах школы-семинара принимаются тезисы докладов на русском или английском языках объёмом до трёх страниц, включая рисунки (не цветные), список литературы и содержательные аннотации на русском и английском языке. Объём аннотации на английском языке - от одной четверти до половины страницы. Тезисы должны быть подготовлены в формате LaTeX с использованием стилевого файла sibecrypt.sty. Правила подготовки тезисов совпадают с правилами подготовки статей в журнал «Прикладная дискретная математика», выставленными на сайте http://vestnik.tsu.ru/pdm/. Стилевой файл и шаблон для подготовки тезисов доступны на сайте sibecrypt.tsu.ru в разделе История/Доклады/2012.
Несодержательность или безграмотность английской аннотации является основанием для отклонения тезисов!
Требования к содержанию тезисов. Тезисы должны обязательно содержать конкретный новый результат по тематике школы-семинара. Это может быть модель, метод, алгоритм, теорема, доказательство, оценки (теоретические или экспериментальные) и т.п. Допускаются также тезисы обзорного доклада как заявка на лекцию для участников школы-семинара и студентов принимающего ВУЗа.
Издание трудов школы-семинара. Тезисы докладов и аннотации к ним, удовлетворяющие требованиям к содержанию и оформлению, будут изданы в трудах школы-семинара к ее открытию, а полнотекстовые доклады и лекции, подготовленные как статьи в журнал «Прикладная дискретная математика», будут опубликованы (по мере их готовности, в том числе и до школы-семинара) в очередных номерах журнала по рекомендации оргкомитета и после надлежащего рецензирования. Для ускорения и повышения качества рецензирования статей и тезисов приветствуется их одновременная присылка в оргкомитет.
Сроки
- Заявка на доклад или лекцию (ФИО, место работы, должность; название доклада или лекции; направление, к которому относится доклад) принимается до 1 февраля 2015 г.
- Тезисы докладов с аннотациями принимаются до 31 марта 2015 г.
- Извещение о принятии доклада будет отправлено до 30 апреля 2015 г.
Тезисы доклада с аннотацией следует посылать по электронной почте в tex-файле и в pdf-файле. Каждый файл именовать фамилией первого автора (образец: Ivanov.tex, Ivanov.pdf). К TeX'овскому исходнику не забудьте приложить и графические файлы, если они есть! Графики, диаграммы и т.п. рисунки должны быть созданы и присланы в векторном формате (.eps, .svg, .pdf и т.п.) без использования растровых вставок, в оттенках серого цвета. Имена графических файлов рекомендуется начинать с фамилии первого автора, так же, как и имя основного файла.
Электронный адрес для представления заявок, тезисов и аннотаций:
bykovas@isc.tsu.ru
Ответственный секретарь Оргкомитета школы-семинара
Ирина Анатольевна Панкратова,
ТГУ, кафедра защиты информации и криптографии ФПМК
634050, Томск, пр. Ленина 36
E-mail: pank@isc.tsu.ru
Телефон для срочной оперативной связи: 8-913-845-24-30.