Золотов Игнат Игоревич

Статья: ОЦЕНКА ПОГРЕШНОСТИ ВЫЧИСЛЕНИЯ КРИПТОГРАФИЧЕСКИХ АЛГОРИТМОВ С ПЛАВАЮЩЕЙ ТОЧКОЙ

Авторы: Золотов Игнат Игоревич, Ким Андрей Павлович, Шутов Василий Александрович

Выходные данные статьи

Выходные данные статьи: Золотов И.И., Ким А.П., Шутов В.А. ОЦЕНКА ПОГРЕШНОСТИ ВЫЧИСЛЕНИЯ КРИПТОГРАФИЧЕСКИХ АЛГОРИТМОВ С ПЛАВАЮЩЕЙ ТОЧКОЙ // Интернаука: электрон. научн. журн. 2025. № 43(407). URL: https://internauka.org/journal/science/internauka/407 (дата обращения: 28.01.2026).

Журнал: Научный журнал «Интернаука» № 43(407)

Секция: 7. Математика

Статус статьи: Статья опубликована

Статья: ФОРМАЛЬНЫЕ МОДЕЛИ ПОЛИТИК БЕЗОПАСНОСТИ И ИХ ПРОВЕРКА СРЕДСТВАМИ ЛОГИКИ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ

Авторы: Золотов Игнат Игоревич, Ким Андрей Павлович, Шутов Василий Александрович

Выходные данные статьи

Выходные данные статьи: Золотов И.И., Ким А.П., Шутов В.А. ФОРМАЛЬНЫЕ МОДЕЛИ ПОЛИТИК БЕЗОПАСНОСТИ И ИХ ПРОВЕРКА СРЕДСТВАМИ ЛОГИКИ ВЫСКАЗЫВАНИЙ И ПРЕДИКАТОВ // Интернаука: электрон. научн. журн. 2025. № 43(407). URL: https://internauka.org/journal/science/internauka/407 (дата обращения: 28.01.2026).

Журнал: Научный журнал «Интернаука» № 43(407)

Секция: 7. Математика

Статус статьи: Статья опубликована