Применение теории топосов к изучению криптосистем

Делается попытка построить новую математическую модель криптосистем, охватывающую, в том числе, модели, эффективно использовавшиеся для описания ряда криптографических ситуаций (логические свойства, вероятностные свойства, исследования не полностью определенных систем). В основе построения указанной модели лежит тот факт, что составляющие основу указанных выше моделей множества, пространства с мерой, нечеткие множества являются объектами подходящего топоса. Рассматриваются произвольные топосы и криптосистемы, в которых пространства текстов и ключей являются объектами данного топоса.