Интернет магазин китайских планшетных компьютеров



Компьютеры - Криптодоказующие программы

22 января 2011





это специальные программные средства, смоделированные на основе формальных моделей с использованием штатных средств и алгебры процессов, а также с приведением к математической логике философских теорий о знании, с целью доказать криптостойкость протоколов, и, по-возможности, найти недостатки в безопасности.

Классификация

С учетом определения и анализа криптодоказующих программ выделяют следующую классификацию, или так называемые приемы моделирования и формализации:

  • подход, использующий знания и абстракции тождественной логики, представленные в конкретный момент времени или в конкретное событие;
  • подход, основанный на «агентах», моделирующий деятельность протоколов при помощи мультимножественных подстановок;
  • подход, основанный на алгебре процессов;
  • подход, основанный на пространстве стрендов.


Просмотров: 569


<<< Криптографически стойкий генератор псевдослучайных чисел
Криптологическая бомба >>>