Логика составления протокола - Protocol composition logic

Логика составления протоколов - это формальный метод, который используется для проверки свойств безопасности протоколов, которые используют симметричный ключ и Криптография с открытым ключом. PCL разработан на основе технологические расчеты с действиями для возможных шагов протокола, таких как генерация некоторого случайного числа, выполнение шифрования и дешифрования, отправка и получение сообщений и цифровой подписи проверочные действия.

Были обнаружены некоторые проблемы с логикой, подразумевающие, что некоторые требуемые в настоящее время доказательства не могут быть доказаны в рамках логики.[1]

внешняя ссылка

Рекомендации

  1. ^ Кремерс, Кас (2008), "О логике композиции протокола PCL", Материалы симпозиума ACM 2008 г. по информационной, компьютерной и коммуникационной безопасности - ASIACCS '08, п. 66, arXiv:0709.1080, Дои:10.1145/1368310.1368324, ISBN  9781595939791, S2CID  7618247