Verification of 800 Automata-Based Programs Built by means of Genetic Program...Iosif ItkinMichael Lukin, Maxim Buzdalov and Anatoly Shalyto Saint Petersburg State University of Information Technologies, Mechanics and Optics, Saint Petersburg
Keynote on JavaDay Omsk 2014 about new features in Java 8Alexey ZinovievZinoviev Alexey presented this paper on JavaDay Omsk 2014. Paper covers next topics: Java 8, Stream API, Method reference, roadmap for Java 9, default methods in interfaes, SAM, functional interface.
Ayın Lukapu'su (Haziran 2013)LukapuHaziran ayının Lukapu'su olarak sizlere Sevgili Mine Pakiş'in sevimli mi sevimli fotokitabını sunuyoruz :)
Lukapu Büyük Kare armağan ettiğimiz Sevgili Mine Hanım'a sevgilerimizi gönderiyoruz :)
Ayın Lukapu'su (Ocak 2014)LukapuSizlere Ocak ayının Lukapu'su olarak sevgili Ahmet Seçkin Yılmaz'ın çok beğendiğimiz fotokitabını sunuyoruz. Lukapu Büyük Kare armağan ettiğimiz sevgili Seçkin Bey'e segilerimizi yolluyoruz :)
Ayın lukapusu (Aralık 2013)LukapuAralık ayı Lukapu'su olarak sizlere Sinem Can'ın çok beğendiğimiz fotokitabını sunuyoruz :) Lukapu Büyük Kare armağan ettiğimiz Sinem Hanım'a sevgilerimizi yolluyoruz :)
Ayın Lukapu'su (Eylül 2013)LukapuLukapu Büyük Kare armağan ettiğimiz Eylül ayının Lukapu'su olarak Sevgili Adil Aybar'ın fotokitabını sizlerle paylaşıyoruz. Sevgili Adil Bey'e sevgilerimizi yolluyoruz :)
http://www.lukapu.com
Тематические карты на LeafletJS с плагинами.Ivan IgnatyevРассмотрение использования leafletjs с плагинами для создания тематических карт на примере Москвы и карты ледовых катков.
Python, Django и корпоративные информационные системыPyNSKСофт для автоматизации бизнеса составляет значительную часть всего существующего на планете программного обеспечения. Рассмотрим требования к нему и особенности его разработки. Оценим, насколько Python для этого подходит, и облегчают ли фреймворки жизнь в кровавом энтерпрайзе.
Докладчик: Анатолий Щербаков
Видео: https://youtu.be/G_ks3sO1Mbs
Дракон в мешке: от LLVM к C++ и проблемам неопределенного поведенияPlatonov SergeyВ этом докладе Дмитрий кратко рассказывает о таком звере, как LLVM, о котором много кто слышал, но немногие щупали.
Что такое компилятор на самом деле? Как происходит компиляция программы, как работают оптимизации и, наконец, откуда берется неопределенное поведение в детерменированных программах на C++?
Мониторинг и отладка MySQL: максимум информации при минимальных потерях / Све...OnticoРИТ++ 2017, Backend Conf
Зал Сан-Паулу, 6 июня, 17:00
Тезисы:
http://backendconf.ru/2017/abstracts/2777.html
В сложной ситуации хорошо иметь под рукой детали: сообщения об ошибках, статистику времени выполнения запросов, данные о производительности операционной системы и железа. Много деталей! Современные версии MySQL позволяют собрать информацию практически обо всём. Однако любой включённый мониторинг имеет свою цену: производительность. Именно поэтому универсального решения "всё включено", подходящего для любого MySQL-приложения, не существует. Даже при использовании инструментов с графическим интерфейсом у вас всегда есть выбор: что отслеживать и что нет.
В докладе я хочу обсудить, какие опции должны быть включены всегда, какие опциональны и при каких обстоятельствах их включать. Мы рассмотрим встроенные возможности MySQL, Percona-серверов и внешние решения.
Ayın Lukapu'su (Haziran 2013)LukapuHaziran ayının Lukapu'su olarak sizlere Sevgili Mine Pakiş'in sevimli mi sevimli fotokitabını sunuyoruz :)
Lukapu Büyük Kare armağan ettiğimiz Sevgili Mine Hanım'a sevgilerimizi gönderiyoruz :)
Ayın Lukapu'su (Ocak 2014)LukapuSizlere Ocak ayının Lukapu'su olarak sevgili Ahmet Seçkin Yılmaz'ın çok beğendiğimiz fotokitabını sunuyoruz. Lukapu Büyük Kare armağan ettiğimiz sevgili Seçkin Bey'e segilerimizi yolluyoruz :)
Ayın lukapusu (Aralık 2013)LukapuAralık ayı Lukapu'su olarak sizlere Sinem Can'ın çok beğendiğimiz fotokitabını sunuyoruz :) Lukapu Büyük Kare armağan ettiğimiz Sinem Hanım'a sevgilerimizi yolluyoruz :)
Ayın Lukapu'su (Eylül 2013)LukapuLukapu Büyük Kare armağan ettiğimiz Eylül ayının Lukapu'su olarak Sevgili Adil Aybar'ın fotokitabını sizlerle paylaşıyoruz. Sevgili Adil Bey'e sevgilerimizi yolluyoruz :)
http://www.lukapu.com
Тематические карты на LeafletJS с плагинами.Ivan IgnatyevРассмотрение использования leafletjs с плагинами для создания тематических карт на примере Москвы и карты ледовых катков.
Python, Django и корпоративные информационные системыPyNSKСофт для автоматизации бизнеса составляет значительную часть всего существующего на планете программного обеспечения. Рассмотрим требования к нему и особенности его разработки. Оценим, насколько Python для этого подходит, и облегчают ли фреймворки жизнь в кровавом энтерпрайзе.
Докладчик: Анатолий Щербаков
Видео: https://youtu.be/G_ks3sO1Mbs
Дракон в мешке: от LLVM к C++ и проблемам неопределенного поведенияPlatonov SergeyВ этом докладе Дмитрий кратко рассказывает о таком звере, как LLVM, о котором много кто слышал, но немногие щупали.
Что такое компилятор на самом деле? Как происходит компиляция программы, как работают оптимизации и, наконец, откуда берется неопределенное поведение в детерменированных программах на C++?
Мониторинг и отладка MySQL: максимум информации при минимальных потерях / Све...OnticoРИТ++ 2017, Backend Conf
Зал Сан-Паулу, 6 июня, 17:00
Тезисы:
http://backendconf.ru/2017/abstracts/2777.html
В сложной ситуации хорошо иметь под рукой детали: сообщения об ошибках, статистику времени выполнения запросов, данные о производительности операционной системы и железа. Много деталей! Современные версии MySQL позволяют собрать информацию практически обо всём. Однако любой включённый мониторинг имеет свою цену: производительность. Именно поэтому универсального решения "всё включено", подходящего для любого MySQL-приложения, не существует. Даже при использовании инструментов с графическим интерфейсом у вас всегда есть выбор: что отслеживать и что нет.
В докладе я хочу обсудить, какие опции должны быть включены всегда, какие опциональны и при каких обстоятельствах их включать. Мы рассмотрим встроенные возможности MySQL, Percona-серверов и внешние решения.
2. 2
План лекции
● Введение в криптографию
● Математика современной криптографии
● Современные криптографические
алгоритмы
Цель лекции — изучить современные
криптографические алгоритмы
3. 3
Common Criteria (Общие
критерии)
● Оценочный стандарт
● С техническими рекомендациями
● Охватывает весь ЖЦ системы
● Гармонизирован как ГОСТ Р ИСО МЭК 15408
4. 4
Функциональные
требования
● FAU - аудит/протоколирование;
● FIA - идентификация/аутентификация;
● FRU - использование ресурсов
● FCO - неотказуемость
● FPR - приватность
● FDP - защита данных пользователя;
● FPT - защита функций безопасности
● FCS - криптографическая поддержка;
● FMT - управление безопасностью
● FTA - управление сеансами работы пользователей
● FTP - доверенный маршрут/канал
5. 5
FCS — Криптографическая
поддержка
● Класс, определяющий криптографические
требования — криптографическую
поддержку ИС
● Два семейства
– Требования к криптографическим ключам
– Требования к криптографическим операциям
7. 7
FCS_CKM -Управление и
Аудит
● Управление: Изменение атрибутов
ключей(пользователь, тип ключа, время
действия, допустимое использование)
● Аудит:
– Минимальный: успешное/неуспешное
действие
– Базовый: атрибуты и содержание объекта,
кроме секретной информации
– Детализированный: нет
8. 8
FCS_COP —
Криптографические
операции
1. Операция, алгоритм, длина ключа, стандарт
– Зависимости: FMT_MSA.2, FDP_ITC.1,
FCS_CKM.1, FCS_CKM.4
● Возможные операции:
– Шифрование/расшифровка
– Генерация/верификация
подписей/контрольных сумм
– Генерация случайных чисел
– И т.д.
● Для каждой операции — своя итерация
9. 9
FCS_COP — Управление и
Аудит
● Управление: нет
● Аудит:
– Минимальный: успех/неуспех, тип операции
– Базовый: режим операции, атрибуты
субъектов и объектов
33. 33
Ассиметричные алгоритмы
● Основной недостаток симметричных
алгоритмов — Передача ключа
● МОЖНО ли шифровать одним ключом, а
расшифровывать другим?
34. 34
Ассиметричные алгоритмы
● Основной недостаток симметричных
алгоритмов — Передача ключа
● МОЖНО ли шифровать одним ключом, а
расшифровывать другим?
● Односторонние функции (с лазейкой)
● Открытый ключ — ключ шифрования
● Закрытый ключ — ключ расшифрования
35. 35
Немного математики
● Числа можно объединить в группы над R
● Они объединяются тем, что (некоторые)
операции над числами группы дают опять же
число группы
● Поле Галуа — конечное множество с двумя
бинарными операциями: + и * , образует
коммутативную ассоциативную группу c
единицей , все ненулевые элементы
которого обратимы
● Пример — остатки от деления на простое
число Zp
36. 36
Основная функция
● Работа в дискретном поле Галуа
● Возведения в степень и логарифмирование
● Дискретное логарифмирование в больших
числах — достаточно сложная задача
вычислительно (и не решается однозначно
аналитически, надо проверять варианты)
37. 37
Алгоритм RSA
● Простые числа p,q
● n= p*q
● φ(n)= (p-1)(q-1)
● e, НОД(e,φ(n)) =1
● d * e = 1 mod φ(n) (mod — остаток от
деления)
● Открытый ключ (e,n), закрытый — (d,n)
●
Шифрование: c = me
(mod n)
●
Расшифровка: m = cd
(mod n)=med
(mod n)=m
38. 38
Алгоритм Диффи-
Хеллмана
● Получение общего ключа
● Два субъекта — Алиса и Боб
● Всем известное: p — простое число
●
Всем известное: g такое, что gφ(p)
=1 mod p
(корень кольца mod p)
● Секреты — a(Алиса) и b(Боб) —натуральные
●
A = ga
mod p , B = gb
mod p
● Обмениваемся A и B — всем известное
●
Общее s = Ab
modp = Ba
mod p = gab
mod p