проверка протокола безопасности(Проверка включает в себя: 1) проверку надежности криптографических примитивов, 2) проверку стойкости протокола безопасности к атакам в предположении о надежности криптографических примитивов, на которые он опирается. mathnet.ruAlex_Odeychuk)