TY - JOUR T1 - Криптографическое условное депонирование деклараций договора и пошаговая верификация AU - Себастьян Филиппе, Александер Глэзер, Эдуард У. Фелтен PY - 2019 T2 - Наука и всеобщая безопасность SP - 3 EP - 14 VL - 27 IS - 1 N2 - Верификация соглашений по контролю над вооружениями и разоружению требует от государств представления деклараций, включающих в себя информацию о секретных военных площадках и ресурсах. Однако, имеются важные случаи, в которых переговоры по таким соглашениям тормозятся из-за того, что стороны неохотно представляют любые такие данные из-за опасения преждевременной передачи информации, имеющей военное значение. Для решения данной проблемы мы предлагаем использовать криптографическое условное депонирование, которое позволяет государству в самом начале сделать полную декларацию площадок и ресурсов и согласиться с ее содержанием, но раскрывать его секретную информацию только поэтапно. В совокупности с режимом инспекции наше условное депонирование позволяет проводить пошаговую верификацию правильности и полноты первоначальной декларации таким образом, чтобы раскрытие информации и инспекции шли в ногу с параллельным дипломатическим и политическим процессами. Мы применяем этот подход к возможной денуклеаризации Северной Кореи. Однако, такой подход может быть применен к любому соглашению, требующему совместного использования засекреченной информации. UR - http://scienceandglobalsecurity.org/ru/archive/sgsr27philippe.pdf 0