1 Область применения Этот документ устанавливает основу для проверки спецификаций криптографических протоколов в соответствии с лучшими академическими и отраслевыми практиками.
BS ISO/IEC 29128-1:2023 История
2023BS ISO/IEC 29128-1:2023 Отслеживаемые изменения. Информационная безопасность, кибербезопасность и защита конфиденциальности. Верификация криптографических протоколов. Рамки