Научный сервис сети интернет

проводят с 20 по 25 сентября 2010 года Международную суперкомпьютерную конференцию с элементами научной школы для молодежи

Тема суперкомпьютерных технологий сейчас все время на слуху и постоянно обсуждается. Все чаще задаются вопросы о том, суперкомпьютеры какой мощности необходимы России, в каком количестве и главное — для каких именно целей? Анализируя мировую практику, объективный уровень такой необходимости можно определить так: страна, желающая создавать не просто конкурентоспособную продукцию высочайшего качества, а продукцию завтрашнего дня, должна превзойти всех в высокопроизводительных вычислениях. А отсюда уже следуют и области приложения суперкомпьютерных технологий, и масштаб распространения, и их важность для науки, образования и промышленности.

Суперкомпьютерные центры и решаемые там задачи, их теоретические и практические аспекты, наука и образование — эти, как и многие другие проблемы будут обсуждаться на 12-й конференции, объединяющей доклады по параллельным вычислениям, суперкомпьютерным технологиям и технологиям распределенной обработки данных, методам параллельного программирования, использованию как сети Интернет в науке, так и самой науки для развития Интернет.

В первый день работы конференции будет объявлена 13-я редакция списка Top50 самых мощных компьютеров СНГ.

На конференции пройдет совещание представителей Суперкомпьютерного консорциума университетов России по вопросам развития суперкомпьютерного образования в России.

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

Конференция проводится при поддержке Российского фонда фундаментальных
исследований и Минобрнауки РФ. Генеральный спонсор конференции — HP. Золотые спонсоры — Intel, Т-Платформы, РСК СКИФ. Спонсоры конференции — AMD, APC, Сторус. Спонсор секции конференции — IBM.

Конференция серии «Научный сервис в сети Интернет» проводится в двенадцатый раз, в 2009 году в ее работе приняли участие 275 человек.

Информационная поддержка конференции осуществляется газетой «Поиск», информационно-аналитическим центром Parallel.ru, журналом «Суперкомпьютеры», издательством «Открытые системы», журналом «Прикладная информатика».

Источник

ИНФОРМАЦИОННОЕ СООБЩЕНИЕ

Всероссийскую научную конференцию

» Научный сервис в сети Интернет»

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

Предполагаемые темы для обсуждения охватывают следующие направления исследований:

Научные исследования и Интернет.
Русскоязычные научные ресурсы в Интернете, Интернет-проекты в науке.
Модели и методы построения поисковых систем и систем навигации в Интернете.
Технологии и опыт построения информационных систем, баз данных, документации и результатов эксперимента на основе Интернет-технологий.
Распределенные вычисления и Интернет.
Опыт организации компьютерных парков, кампусов и центров открытого доступа в Интернет в ВУЗах.
Интернет-технологии для библиотек и электронные библиотеки.
Технологии и опыт построения региональных образовательных и научных сетей и ресурсов, создание информационных и вычислительных серверов коллективного пользования в локальных и региональных сетях.
Дистанционное обучение, Internet-технологии в учебном процессе ВУЗа.
Виртуальные музеи.
Электронные издания на базе Internet-технологий.
Удаленный доступ к экспериментальным комплексам для образования и научных исследований.

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

К началу работы конференции предполагается публикация тезисов докладов. Лучшие доклады будут рекомендованы к опубликованию в журналах «Программирование» и «Открытые системы».

ПРЕДСТАВЛЕНИЕ РАБОТ И ЗАЯВОК НА УЧАСТИЕ В РАБОТЕ КОНФЕРЕНЦИИ

Для включения доклада в программу конференции и сборник опубликованных тезисов авторам необходимо представить до 10 июня 1999 года:

тезисы на русском языке
- объем — до 5 страниц А4,
- формат — Microsoft Word 6.0 for Windows,
- шрифт — Times New Roman Cyr (обычный текст — 14pt, заголовки разделов — 16 pt),
- отступы от края страницы — по 2 см.
Заявки на участие в конференции (доступна примерная форма заявки) необходимо выслать до 15 августа 1999 г. по адресу: 119899, г.Москва, Воробьевы горы, МГУ, НИВЦ, лаборатория Параллельных информационных технологий, Вл.В.Воеводину или по электронной почте (voevodin@vvv.srcc.msu.su).

ОРГАНИЗАЦИЯ КОНФЕРЕНЦИИ

Председатель организационного и программного комитетов конференции: Воеводин В.В., член-корреспондент РАН, ИВМ РАН.
- Абрамов С.М., д.ф.-м.н.
- Васенин В.А., д.ф.-м.н.
- Воеводин В.В., чл.-корр. РАН
- Воеводин Вл.В., д.ф.-м.н.
- Жижченко А.Б., д.ф.-м.н.
- Забродин А.В., д.ф.-м.н.
- Иванников В.П., чл.-корр. РАН
- Кузнецов С.Д., д.ф.-м.н.
- Левин В.К., чл.-корр. РАН
- Николаев И.А., д.ф.-м.н.
- Мендкович А.С., д.х.н.
- Савин Г.И., чл.-корр. РАН
- Сюнтюренко О.В., д.т.н.
- Тихонравов А.В., д.ф.-м.н.
- Рябов Г.Г., чл.-корр. РАН
- Шириков В.П., д.ф.-м.н.
- Щур Л.Н., д.ф.-м.н.
- Александров А.Л., МГУ
- Воеводин В.В., ИВМ РАН
- Воеводин Вл.В., МГУ
- Дорохова Н.И., РГУ
- Кияшко Т.М., РГУ
- Кондратенко В.А., РГУ
- Натанзон Е.В., РГУ
- Орехова О.Д., РГУ
- Фролов А.В., ИВМ РАН
МЕСТО ПРОВЕДЕНИЯ КОНФЕРЕНЦИИ И ТРАНСПОРТИРОВКА УЧАСТНИКОВ

Конференция проводится на базе отдыха «Моряк», расположенной в 20км от Новороссийска в живописном месте на берегу Черного моря недалеко от поселка Дюрсо. Между базой отдыха и Новороссийском существует регулярное автобусное сообщение.

В день заезда 20 сентября 1999 г. участников конференции будут встречать представители Оргкомитета в гостинице «Бригантина» (г.Новороссийск, Анапское шоссе, 18) с 10-00 до 19-30. Проезд железнодорожным транспортом до г.Новороссийск, самолетом — до г.Анапа (далее автобусом до Новороссийска).

Оргкомитет просит участников приобрести обратные билеты заранее (день отъезда — 26 сентября). —>

УСЛОВИЯ УЧАСТИЯ

Будут объявлены дополнительно.

КОНТАКТЫ
- Воеводин Владимир Валентинович,
  тел.(095)-939-23-47,
  e-mail: voevodin@vvv.srcc.msu.su
- Александров Александр Леонидович,
  тел. (095)-939-22-26,
  e-mail: alex@alex.srcc.msu.su
- Кондратенко Владимир Алексеевич,
  тел. (863)-2-28-02-66,
  e-mail: kondr@rsu.rnd.runnet.ru
- Натанзон Елизавета Васильевна,
  e-mail: natan@mmedia0.rnd.runnet.ru
Источник

Научный сервис сети интернет

Представлен опыт верификации реализаций клиента криптографического протокола TLS версии 1.3. TLS сегодня является одним из наиболее востребованных криптографических протоколов, предназначенных для создания защищенных каналов передачи данных. Протокол обеспечивает необходимую для своих задач функциональность: конфиденциальность передаваемых данных, целостность данных, аутентификацию сторон. В новой версии протокола TLS 1.3 была существенно переработана архитектура, устранен ряд недостатков предыдущих версий, выявленных как при разработке реализаций, так и в процессе их эксплуатации.

В работе использован новый тестовый набор для верификации реализаций клиента протокола TLS 1.3 на соответствие спецификациям интернет, разработанный на основе спецификации RFC 8446 с использованием технологии UniTESK и методов мутационного тестирования. Для тестирования реализаций на соответствие формальным спецификациям применена технология UniTESK, предоставляющая средства автоматизации тестирования на основе использования конечных автоматов. Состояния тестируемой системы задают состояния автомата, а тестовые воздействия – переходы этого автомата. При выполнении перехода заданное воздействие передается на тестируемую реализацию, после чего регистрируются реакции реализации и автоматически выносится вердикт о соответствии наблюдаемого поведения спецификации. Мутационные методы тестирования используются для обнаружения нестандартного поведения тестируемой системы (завершение из-за фатальной ошибки, «подвисание», ошибки доступа к памяти) с помощью передачи некорректных данных, такие ситуации часто остаются за рамками требований спецификаций. В сообщения, сформированные на основе разработанной модели протокола, вносятся какие-либо изменения. Модель протокола дает возможность вносить изменения в поток данных на любом этапе сетевого обмена, что позволяет тестовому сценарию проходить через все значимые состояния протокола и в каждом таком состоянии проводить тестирование реализации в соответствие с заданной программой. Представленный подход доказал свою эффективность в нескольких наших проектах при тестировании сетевых протоколов, обеспечив обнаружение различных отклонений от спецификации и других ошибок. Текущая работа является частью проекта верификации протокола TLS 1.3 и охватывает реализации клиентской части протокола.

Ключевые слова: безопасность, TLS, TLSv1.3, протоколы, тестирование, оценка устойчивости, интернет, стандарты, формальные методы спецификации.

Источник

Научный сервис сети интернет