Журнал «Системная информатика»
ISSN 2307-6410
Главная
Наши авторы
Статьи
Поиск
Для авторов
О журнале
English
Russian
Меню
Поиск статей
По названию
По аннотации
По ключевым словам
По УДК
По автору
- Любой -
Абунегм Абдельрахман Али Хассанеин
Адрианова Ирина Борисовна
Афзал Мубин
Ахмадеева Ирина Равильевна
Байшань Айсайти
Максимова Александра Юрьевна
Алексюк Артем Олегович
Колесенков Александр Николаевич
Обухова Алиса Андреевна
Андреева Татьяна Анатольевна
Миронов Андрей Михайлович
Гумиров Андрей Витальевич
Нечесов Андрей Витальевич
Андрианов Павел Сергеевич
Хованская Анна Станиславовна
Аксенов Антон Александрович
Ануреев Игорь Сергеевич
Апанович Зинаида Владимировна
Баар Томас
Багиров Эльшан
Баранов Сергей Николаевич
Батура Татьяна Викторовна
Березин Сергей Андреевич
Бодин Евгений Викторович
Бондаренко Иван Юрьевич
Боровикова Олеся Игнатьевна
Boulanger Frédéric
Бручес Елена Павловна
Булгаков Кирилл Владимирович
Бульонков Михаил Алексеевич
Бурдонов Игорь Борисович
Черненко Иван Михайлович
Черемушкин Евгений Сергеевич
Чурина Татьяна Геннадьевна
Кузовлев Даниил Дмитриевич
де Карвальо Даниэль
Демин Александр Викторович
Янбулатов Денис Ринатович
Кармакар Диман
Стенькин Дмитрий Александрович
Свириденко Дмитрий Иванович
Дубко Анатолий Владимирович
Емельянов Павел Геннадьевич
Ермаков Антон Дмитриевич
Фирсов Николай Иванович
Гаранина Наталья Олеговна
Толоконников Георгий Константинович
Гончар Глеб Евгеньевич
Гнатенко Антон Романович
Горлач Сергей Петрович
Городняя Лидия Васильевна
Грехов Герман Андреевич
Грибовская Наталия Сергеевна
Громов Максим Леонидович
Горбачёнок Дарья Игоревна
Хернандес Армандо
Якушева Софья Федоровна
Идрисов Ренат Искандерович
Насибулов Илья Андреевич
Иртегов Дмитрий Валентинович
Ищенко Артем Дмитриевич
Ицыксон Владимир Михайлович
Горобец Иван Александрович
Дорохов Иван
Иванов Александр Иванович
Каблуков Иван Владимирович
Касьянов Виктор Николаевич
Касьянов Виктор Николаевич
Касьянова Елена Викторовна
Хадеми Анахита
Хорошилов Алексей Владимирович
Хританков Антон Сергеевич
Когтенков Александр Валентинович
Кондратьев Дмитрий Александрович
Кононенко Ирина Семеновна
Косачев Александр Сергеевич
Крайнева Ирина Александровна
Кудасов Николай Дмитриевич
Кулямин Виктор Вячеславович
Кушик Наталья Геннадьевна
Лештаев Сергей Викторович
Летичевский Александр Адольфович
Бояндин Лев Константинович
Лях Татьяна Викторовна
Липский Никита Валерьевич
Малов Владимир Юрьевич
Марчук Александр Гурьевич
Марьясов Илья Владимирович
Маццара Мануэль
Меристе Мерик
Мезенцева Анастасия Алексеевна
Михеев Виталий Витальевич
Мингела Богдан Андреевич
Мохагеги Мохаммадсадык
Мурзин Федор Александрович
Мутилин Вадим Сергеевич
Тучкова Наталия Павловна
Непомнящий Валерий Александрович
Нестеренко Татьяна Викторовна
Никифоров Виктор Викентьевич
Никитин Сергей Ильич
Одинцов Сергей Павлович
Атаева Ольга Муратовна
Овчинникова Кристина Алексеевна
Петухов Сергей Валентинович
Петренко Александр Константинович
Филиппова Марина Яковлевна
Пименов Иван Сергеевич
Пономарев Денис Константинович
Промский Алексей Владимирович
Рассохина Анастасия Александровна
Розов Андрей Сергеевич
Рубцова Юлия Владимировна
Сафина Лариса Раисовна
Саломатина Наталья Васильевна
Сэнборн Киллу
Шульте Хорст
Селиванов Виктор Львович
Барыкин Сергей Евгеньевич
Гусев Сергей Игоревич
Серый Алексей Сергеевич
Шабалдина Наталия Владимировна
Щербина Святослав Анатольевич
Шелехов Владимир Иванович
Шестаков Владимир Константинович
Шевченко Игорь Васильевич
Шилов Николай Вячеславович
Шилов Валерий Владимирович
Шмелёва Татьяна Рудольфовна
Шошмина Ирина Владимировна
Сидоров Вадим Вячеславович
Сидоров Владимир Анатольевич
Сидорова Елена Анатольевна
Скопин Игорь Николаевич
Соколов Павел Павлович
Соловьев Владимир Валерьевич
Старолетов Сергей Михайлович
Старцев Павел Анатольевич
Стененко Александр Александрович
Taha Safouan
Кондрашова Татьяна Ивановна
Чичигин Александр Дмитриевич
Темербекова Гульгайша Габдуловна
Тихонова Татьяна Ивановна
Тимофеев Петр Сергеевич
Тодоров Василь
Трошков Николай Евгеньевич
Трошков Сергей Николаевич
Тумуров Эрдэм Гармаевич
Твардовский Александр Сергеевич
Елисеев Вадим Олегович
Марченко Вадим Витальевич
Винарский Евгений Максимович
Вирбицкайте Ирина Бонавентуровна
Бондаренко Виталий Иванович
Визовитин Николай Валерьевич
Горбаченко Владимир Иванович
Пасичняк Владислав Евгеньевич
Власов Дмитрий Юрьевич
Волянская Татьяна Александровна
Дементьева Яна Юрьевна
Евтушенко Нина Владимировна
Разбитнова Юлия Юрьевна
Загорулько Юрий Алексеевич
Зайцев Дмитрий Анатольевич
Захаров Владимир Анатольевич
Зубарев Алексей Юрьевич
Зюбин Владимир Евгеньевич
По номеру
- Любой -
Системная информатика, 2025, № 28
Системная информатика, 2025, № 27
Системная информатика, 2025, № 26
Системная информатика, 2024, № 25
Системная информатика, 2024, № 24
Системная информатика, 2023, № 23
Системная информатика, 2023, № 22
Системная информатика, 2022, № 21
Системная информатика, 2022, № 20
Системная информатика, 2021, № 19
Системная информатика, 2021, № 18
Системная информатика, 2020, № 17
Системная информатика, 2020, № 16
Системная информатика, 2019, № 15
Системная информатика, 2019, № 14
Системная информатика, 2018, № 13
Системная информатика, 2018, № 12
Системная информатика, 2017, № 11
Системная информатика, 2017, № 10
Системная информатика, 2017, № 9
Системная информатика, 2016, № 8
Системная информатика, 2016, № 7
Системная информатика, 2015, № 6
Системная информатика, 2015, № 5
Системная информатика, 2014, № 4
Системная информатика, 2014, № 3
Системная информатика, 2013, № 2
Системная информатика, 2013, № 1
По году
криптографические протоколы
Миронов А.М.
Процессный подход к верификации криптографических протоколов
//
Системная информатика. —
2025
. — № 28.
—
С. 65-106
Подписаться на криптографические протоколы
Russian
English
Главная
Наши авторы
Статьи
Поиск
Для авторов
О журнале
English
Russian
