Миронов А.М. - Формальная семантика и верификация ПО - 12. Протокол Yaholom

Формальная модель криптографических протоколов. Протокол Yaholom 00:00:15 Вступление 00:01:48 Протокол Yaholom 00:25:06 Формальная модель криптографического протокола 01:10:08 Постановка задачи Курс: Формальная семантика и верификация программного обеспечения Ссылка на плейлист: #мгу #мехмат #миронов #формальнаясемантикапо #верификацияпо