Логика композиции протокола
Логика композиции протоколов — это формальный метод , который можно использовать для доказательства свойств безопасности криптографических протоколов , использующих криптографию с симметричным ключом и криптографию с открытым ключом . PCL разработан на основе расчета процессов с действиями для различных возможных этапов протокола (например, генерация случайных чисел, выполнение операций шифрования, дешифрования и цифровой подписи , а также отправка и получение сообщений). [1]
Были обнаружены некоторые проблемы с логикой, а это означает, что некоторые заявленные в настоящее время результаты не могут быть доказаны с помощью логики. [2]
Ссылки
[ редактировать ]- ^ Датта, Анупам; Дерек, Анте; Митчелл, Джон К.; Рой, Арнаб (апрель 2007 г.). «Логика композиции протокола (PCL)» . Электронные заметки по теоретической информатике . 172 : 311–358. дои : 10.1016/j.entcs.2007.02.012 . ISSN 1571-0661 .
- ^ Кремерс, Кас (2008 г.), «О логике композиции протоколов PCL», Материалы симпозиума ACM 2008 г. по информационной, компьютерной и коммуникационной безопасности - ASIACCS '08 , стр. 66, arXiv : 0709.1080 , doi : 10.1145/1368310.1368324 , ISBN 9781595939791 , S2CID 7618247
 | Эта статья, посвященная криптографии, незавершена . Вы можете помочь Википедии, расширив ее . |