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