ИНФОРМАЦИОННАЯ БЕЗОПАСНОСТЬ
| Выпуск | Название | Файл | |
| № 4 (2025) | Платформа PLIF: моделирование и проверка информационных потоков в программных блоках баз данных с использованием аппарата темпоральной логики действий TLA+ |
 (Rus) |
|
| Тимаков А.А., Рыжов И.Г. | |||
| № 6 (2024) | Высокоскоростной алгоритм скалярного умножения для проектирования нейронных сетей, сохраняющих конфиденциальность |
(Rus) |
|
| Лапина М.А., Ширяев Е.М., Бабенко М.Г., Истамов И. | |||
| № 6 (2024) | Алгоритмы размещения и запроса к конфиденциальным данным на облаке |
(Rus) |
|
| Варновский Н.П., Мартишин С.А., Храпченко М.В., Шокуров А.В. | |||
| № 4 (2024) | Сравнительный анализ эффективности алгоритмов хэширования с точки зрения применения в схемах zk-SNARK в распределенных реестрах |
(Rus) |
|
| Кондырев Д.О. | |||
| № 1 (2024) | Описание семантики языка Paralocks в TLA+ |
(Rus) |
|
| Тимаков А.А. | |||
| № 4 (2023) | ВАРИАНТ РЕАЛИЗАЦИИ ПРОЦЕДУРЫ АНАЛИЗА ИНФОРМАЦИОННЫХ ПОТОКОВ В ПРОГРАММНЫХ БЛОКАХ PL/SQL С ИСПОЛЬЗОВАНИЕМ ПЛАТФОРМЫ PLIF |
(Rus) |
|
| Тимаков А.А. | |||
| 1 - 6 из 6 результатов | |||