процедуры обеспечения безопасности(A specification that defines security-related data objects and rules about how the objects are used to maintain security on a computer system)
проверка протокола безопасности(Проверка включает в себя: 1) проверку надежности криптографических примитивов, 2) проверку стойкости протокола безопасности к атакам в предположении о надежности криптографических примитивов, на которые он опирается. mathnet.ruAlex_Odeychuk)