security protocol verification(Проверка включает в себя: 1) проверку надежности криптографических примитивов, 2) проверку стойкости протокола безопасности к атакам в предположении о надежности криптографических примитивов, на которые он опирается. mathnet.ruAlex_Odeychuk)
HTTP strict transport security(протокол передачи гипертекстовых данных — из кн.: Лугачев М.И. и др. Экономическая информатика. Введение в экономический анализ информационных систем. – М.: МГУ, 2016 Alex_Odeychuk)