data.prot. | security protocol verification | проверка протокола безопасности (Проверка включает в себя: 1) проверку надежности криптографических примитивов, 2) проверку стойкости протокола безопасности к атакам в предположении о надежности криптографических примитивов, на которые он опирается. mathnet.ru Alex_Odeychuk) |