Парсим и кодогенерируем для С++ с использованием clangcorehard_by
Зачастую в промышленном программировании возникают рутинные задачи, которые могут быть единожды эффективно решены с помощью кодогенерации. В докладе представлена классификация таких проблем в контексте С++ и предложено решение, основанное на семействе инструментов clang. Приводятся примеры решения подобных задач из реальных проектов.
Парсим и кодогенерируем для С++ с использованием clangcorehard_by
Зачастую в промышленном программировании возникают рутинные задачи, которые могут быть единожды эффективно решены с помощью кодогенерации. В докладе представлена классификация таких проблем в контексте С++ и предложено решение, основанное на семействе инструментов clang. Приводятся примеры решения подобных задач из реальных проектов.
Hyperledger Fabric: From Proof Of Concept to ProductionDmitry Zhvakin
В данной презентации рассмотрим следующие вопросы:
1. Зачем авиакомпании блокчейн?
2. Почему Hyperledger Fabric?
3. Какие у него плюсы и минусы?
4. S7 Techlab Opensource
5. Проблемы Fabric и их решение перед запуском в production
Flame graph: новый взгляд на старое профилированиеКирилл Борисов
Все хотят знать, как выполняется их код. Многие догадываются, чем это можно измерить. И лишь немногие находят в себе силы продраться через результаты измерений. Проблема ещё более усложняется, если приложение исполняется в нескольких процессах, потоках или на разных серверах. Вал измерений захлестывает разработчика, и уже не видно конца...
В этом докладе мы попытаемся упростить все это с помощью визуализации, а именно — flame graph'ов, красивых и наглядных . Также вместе рассмотрим процесс сбора данных, их подготовку и на примерах поучимся читать получившиеся графики.
Сага о кластере. Все что вы хотели знать про горизонтальное масштабирование в...Ontico
Популярность постгреса в мире и России растет, с каждым новым релизом появляется все новая и новая функциональность, постгрес становится реальной угрозой монополии Оракл, уже подвинул Монго на поле свободных NoSQL СУБД, однако мировое сообщество ждет решения для горизонтального масштабирования. Создание постгресового кластера является крайне трудной задачей, так как постгрес является базой данных, ориентированной на целостность данных, а используемый алгоритм обеспечения конкурентности транзакций ставит серьезные челленджи перед разработчиками алгоритмов распределенных транзакций.
Оказывается, уже целых пять групп работает над этой задачей, и мы расскажем про их подходы, трудности, в том числе, и политические. Отдельно остановимся на российском опыте и нашем вкладе в решение этой задачи.
CV в пайплайне распознавания ценников товаров: трюки и хитрости Николай Масл...Mail.ru Group
Расскажу про различные полезные библиотеки и функции Python: от простых и известных, до специфичных и редких. Поделюсь тем, какие технологии мы используем при разработке, обучении и деплое наших моделей: что помогало улучшить качество, а что тормозило разработку.
Hyperledger Fabric: From Proof Of Concept to ProductionDmitry Zhvakin
В данной презентации рассмотрим следующие вопросы:
1. Зачем авиакомпании блокчейн?
2. Почему Hyperledger Fabric?
3. Какие у него плюсы и минусы?
4. S7 Techlab Opensource
5. Проблемы Fabric и их решение перед запуском в production
Flame graph: новый взгляд на старое профилированиеКирилл Борисов
Все хотят знать, как выполняется их код. Многие догадываются, чем это можно измерить. И лишь немногие находят в себе силы продраться через результаты измерений. Проблема ещё более усложняется, если приложение исполняется в нескольких процессах, потоках или на разных серверах. Вал измерений захлестывает разработчика, и уже не видно конца...
В этом докладе мы попытаемся упростить все это с помощью визуализации, а именно — flame graph'ов, красивых и наглядных . Также вместе рассмотрим процесс сбора данных, их подготовку и на примерах поучимся читать получившиеся графики.
Сага о кластере. Все что вы хотели знать про горизонтальное масштабирование в...Ontico
Популярность постгреса в мире и России растет, с каждым новым релизом появляется все новая и новая функциональность, постгрес становится реальной угрозой монополии Оракл, уже подвинул Монго на поле свободных NoSQL СУБД, однако мировое сообщество ждет решения для горизонтального масштабирования. Создание постгресового кластера является крайне трудной задачей, так как постгрес является базой данных, ориентированной на целостность данных, а используемый алгоритм обеспечения конкурентности транзакций ставит серьезные челленджи перед разработчиками алгоритмов распределенных транзакций.
Оказывается, уже целых пять групп работает над этой задачей, и мы расскажем про их подходы, трудности, в том числе, и политические. Отдельно остановимся на российском опыте и нашем вкладе в решение этой задачи.
CV в пайплайне распознавания ценников товаров: трюки и хитрости Николай Масл...Mail.ru Group
Расскажу про различные полезные библиотеки и функции Python: от простых и известных, до специфичных и редких. Поделюсь тем, какие технологии мы используем при разработке, обучении и деплое наших моделей: что помогало улучшить качество, а что тормозило разработку.
2. 2
План лекции
● Что такое неотказуемость и каково её
значение
● Проектирование по 15408.2
● Реализация неотказуемости
Цель лекции — получить представление о
неотказуемости и цифровой подписи
9. 9
Cертификаты
● Может содержать:
– информация о владельце ключа,
– сведения об открытом ключе,
– его назначение и область применения
– название центра сертификации
10. 10
Cертификаты
● В РФ (по закону) должен:
– уникальный регистрационный номер
– даты и время начала и окончания срока
действия
– ФИО или псевдоним владельца
– открытый ключ
– наименование и реквизиты ЦС
– наименование криптографического
алгоритма
– информацию об ограничении использования
11. 11
Распространение
сертификатов
● Централизованная схема (PKI)
– УЦ
– Иерархическое распространение
– Доверие снизу вверх
– М.б. улучшена (сетевая PKI)
● Децентрализованная схема
– Сеть доверия (Web of trust)
– Накопление базы доверенных лиц
– Выступление в качестве доверителя
12. 12
Функциональные
требования
● FAU - аудит/протоколирование;
● FIA - идентификация/аутентификация;
● FRU - использование ресурсов
● FCO - неотказуемость
● FPR - приватность
● FDP - защита данных пользователя;
● FPT - защита функций безопасности
● FCS - криптографическая поддержка;
● FMT - управление безопасностью
● FTA - управление сеансами работы пользователей
● FTP - доверенный маршрут/канал
16. 16
Обощенный алгоритм
создания ЭЦП
● Получение хэша от сообщения
● Добавление энтропии
● Проведение операции с лазейкой
● Добавление еще энтропии
● Еще операция с лазейкой
● Результат двух операций - подпись
17. 17
Обощенный алгоритм
проверки ЭЦП
● Вычисление одной функции очистки
● Вычисление второй функции очистки
● Очистка при помощи результатов
вычисления подписи от энтропии
● Сравнение подписей
18. 18
Алгоритм DSA - Создание
подписи
● Выбрать хэш-функцию H, длину ключей L и
N, q — простое N-битное, p — простое L-
битное , p–1 кратно q, g = h(p–1)/q
mod p
● Создать ключи:приватный 0<x<q, открытый y
= gx
mod p
●
r = (gk
mod p ) mod q != 0
●
s = k-1
(H(m) + xr) mod q !=0
● Подпись (r,s)
19. 19
Алгоритм DSA - Проверка
подписи
● r !=0, s != 0
● w = s-1 mod q
● u1
= H(m) w mod q
● u2
= r w mod q
● v = (gu1
yu2
mod p ) mod q
● v = r
20. 20
Алгоритм ГОСТ 34.10
● Выбрать:
– Простое число p
– Эллиптическую кривую E y2
= x3
+ ax + b
(mod p)
– m != p , m — число точек кривой
– простое q, m = nq, q — число точек
циклической подгруппы кривой
– Точка P(xp
, yp
) E, qP = 0∈
– Функцию хеша H
21. 21
Алгоритм ГОСТ 34.10
● Открытый ключ 0<d<q
● Закрытый ключ Q(xq
, yq
), dQ = P
● e = z mod q, z = h(M)
● C(xc
, yc
) = kP, 0<k<q
● r = xc
mod q !=0
● s = (rd + ke) mod q !=0
● Подпись (r,s)
22. 22
Алгоритм ГОСТ 34.10
● r<q, s<q
● e = z mod q , z = h(M)
●
v = e-1
mod q
● z1
= sv mod q
● z2
= -rv mod q
● C(xc
, yc
) = z1
P + z2
Q
● R = xc
mod q
● R = r