Берілген қолдану контекстіндегі криптожүйенің тиімділігін бағалайтын формальды модельді құру

Берілген қолдану контекстіндегі криптожүйенің тиімділігін бағалайтын формальды модельді құру.

• Мақсаттары мен міндеттері

• Берілген қолдану контекстіндегі криптожүйенің тиімділігін бағалайтын формальды модельді құру.
• Криптожүйелердің тұрақтылығын бағалайтын әр түрлі атакалардан қорғауға арналған инструментальды құралдарды құру.
• Ақпараттық қауіпсіздікті қамтамасыз етудегі инвестицияның экономикалық тиімділігінің әдісінің сараптамасын бағалау және жүйелендіру.

• Криптожүйенің тиімділігін бағалау процесі

• Жүйенің тұрақтылығын бағалау (атакаларға қарсы)

• Криптожүйені зақымдаған аткалардың жиынын ерекшелеу

• Потенциальды қастандық ойлаушыларды анықтау

• Криптожүйелерді сипаттап беру

• Этап 4

• Этап 3

• Этап 2

• Этап 1

• Этап 5

• Криптожүйені мекеменің қажеттіліктеріне сәйкес етіп шешім шығару