|
Протокол сертификации целостности облачных вычислений
Е. С. Шишкинa, Е. С. Кислицынba a ОАО «ИнфоТеКС»
b Московский государственный университет имени М.В. Ломоносова
Аннотация:
В статье сформулирована задача сертификации целостности вычислений, проводимых стороной, которой мы не обязательно доверяем. Предложен интерактивный многопользовательский протокол решающий эту задачу при заданных ограничениях. По сравнению с ближайшим аналогом, предложенный протокол упрощает процедуру построения доказательства с $O(n\log n)$ до $O(n)$, а сложность коммуникации сводит к одному раунду при сопоставимой длине сертификата.
Ключевые слова:
целостность вычислений, интерактивные доказательства, вычислительные сертификаты.
Образец цитирования:
Е. С. Шишкин, Е. С. Кислицын, “Протокол сертификации целостности облачных вычислений”, Труды ИСП РАН, 32:4 (2020), 115–132
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/tisp528 https://www.mathnet.ru/rus/tisp/v32/i4/p115
|
Статистика просмотров: |
Страница аннотации: | 57 | PDF полного текста: | 52 | Список литературы: | 15 |
|