• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Книги
  • Principles of Security and Trust - Proceedings of the 3rd International Conference, POST 2014
  • RU
  • EN
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 2028
  • 2027
  • 2026
  • 2025
  • 2024
  • 2023
  • 2022
  • 2021
  • 2020
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011
  • 2010
  • 2009
  • 2008
  • 2007
  • 2006
  • 2005
  • 2004
  • 2003
  • 2002
  • 2001
  • 2000
  • 1999
  • 1998
  • 1997
  • 1996
  • 1995
  • 1994
  • 1993
  • 1992
  • 1991
  • 1990
  • 1989
  • 1988
  • 1987
  • 1986
  • 1985
  • 1984
  • 1983
  • 1982
  • 1981
  • 1980
  • 1979
  • 1978
  • 1977
  • 1976
  • 1975
  • 1974
  • 1973
  • 1972
  • 1971
  • 1970
  • 1969
  • 1968
  • 1967
  • 1966
  • 1965
  • 1964
  • 1963
  • 1958
  • еще
Тематика
Новости
18 сентября 2026 г.
«Время на содержательные вопросы у нас не лимитировалось»
Международная лаборатория атомистического суперкомпьютерного моделирования и многомасштабного анализа НИУ ВШЭ провела масштабную конференцию «Молекулярная динамика». Участники могли услышать всех докладчиков, а сами докладчики — ответить на любое количество содержательных вопросов. О подготовке конференции и дискуссиях «Вышка.Главное» поговорила с заведующим лабораторией Григорием Смирновым и ее главным научным сотрудником Генри Норманом.
18 сентября 2026 г.
Ученые ВШЭ займутся изучением очарованных адронов в рамках BESIII
Высшая школа экономики стала университетом — участником международной коллаборации BESIII (Beijing Spectrometer III) в области физики высоких энергий. Присоединение к коллаборации стало первым практическим результатом реализации меморандума о сотрудничестве, подписанного в 2025 году между НИУ ВШЭ и Институтом физики высоких энергий (IHEP) в Пекине (КНР).
17 сентября 2026 г.
<a>НИУ ВШЭ представил в Китае исследование о безопасности нейросетей для анализа видео
Ученые Высшей школы экономики презентавали на международной конференции ChinaMM 2026 в Китае исследование о том, как искажения при передаче видео влияют на работу нейросетей. Авторы предложили новый способ проверять устойчивость таких моделей в условиях, близких к реальному использованию видеосервисов.

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Публикации
  • Книги
  • Статьи
  • Главы в книгах
  • Препринты
  • Верификация публикаций
  • Расширенный поиск
  • Правила использования материалов
  • Наука в ВШЭ

?

Principles of Security and Trust - Proceedings of the 3rd International Conference, POST 2014

Vol. 8414. Springer, 2014.
Научный редактор: M. Abadi, S. Kremer
Главы книги
When Not All Bits Are Equal: Worth-Based Information Flow
Щедров А., Alvim M. S., Schneider F. B., , in: Principles of Security and Trust - Proceedings of the 3rd International Conference, POST 2014Vol. 8414.: Springer, 2014. P. 120–139.
Добавлено: 29 мая 2015 г.
Язык: английский
Текст на другом сайте
Ключевые слова: cryptographycryptographic protocolsquantitative aspects of information flow information flow control in programming languages
Principles of Security and Trust - Proceedings of the 3rd International Conference, POST 2014
Похожие публикации
Construction of Boolean Functions from Hermitian Codes
Соса Гомез Г., Paez-Osuna O., Rojas O. и др., Mathematics 2022 Vol. 10 No. 6 Article 899
Добавлено: 18 сентября 2026 г.
Local Search Trajectories over S-box space
Martínez-Díaz I., Legón-Pérez C. M., Rojas O. и др., Journal of Information Security and Applications 2022 Vol. 69 Article 103272
Добавлено: 18 сентября 2026 г.
Mathematical problems and solutions of the Ninth International Olympiad in Cryptography NSUCRYPTO
Idrisova V. A., Tokareva N. N., Gorodilova A. A. и др., Prikladnaya Diskretnaya Matematika 2023 No. 62 P. 29–54
Добавлено: 19 марта 2024 г.
An overview of the Eight International Olympiad in Cryptography “Non-Stop University CRYPTO”
Gorodilova A. A., Tokareva N. N., Agievich S. V. и др., Siberian Electronic Mathematical Reports 2022 Vol. 19 No. 1 P. A.9–A.37
Добавлено: 19 марта 2024 г.
Possibility of Recovering Message Segments Based on Side Information about Original Characters
Malashina A., Doklady Mathematics 2024 Vol. 108 No. 2 P. S282–S292
To provide secure information exchange in communication channels, the correctness of the operation of the relevant information protection systems must be preliminary studied. The mathematical algorithms used in such systems are correct and can theoretically provide the correct statistical properties of the output stream compared to the input. However, at the stage of implementation (programming) ...
Добавлено: 11 ноября 2023 г.
О возможности восстановления отрезков сообщения по информации о значениях исходных символов
А. Г. Малашина, Доклады Российской академии наук. Математика, информатика, процессы управления (ранее - Доклады Академии Наук. Математика) 2023 Т. 514 № 2 С. 138–149
В целях обеспечения защищенного информационного обмена в каналах связи необходимо предварительное исследование корректности работы соответствующих систем защиты информации. Несмотря на то что используемые в таких системах математические алгоритмы корректны и теоретически обеспечивают правильные статистические свойства выходного потока по сравнению с входным, на этапе реализации (программирования) данных алгоритмов защиты или на этапах сборки конечного оборудования (использования ...
Добавлено: 1 ноября 2023 г.
Information disclosure in the framework of kolmogorov complexity
Верещагин Н. К., Theoretical Computer Science 2023 Vol. 940 P. 108–122
Добавлено: 19 декабря 2022 г.
Методика оценки безопасности криптографических протоколов
А. Ю. Нестеренко, А. М. Семенов, Прикладная дискретная математика 2022 № 56 С. 33–82
Предлагается метод оценки безопасности криптографических протоколов, используемых для защиты информации как в информационно-телекоммуникационных сетях, так и в сетях "Интернета вещей". Описывается порядок оценки безопасности информационной системы, включающий в себя построение перечня угроз, модели угроз и детализации модели и возможностей нарушителя. Рассматривается понятие "свойство безопасности", приводится расширенный перечень указанных свойств, их классификация и формальная математическая модель. ...
Добавлено: 7 июля 2022 г.
Правовая информатика
Дмитрик Н. А., М.: Инфотропик Медиа, 2022.
Вы держите в руках учебник по правовой информатике, то есть теоретической части курса "Информационные технологии в деятельности юриста", который автор читает на Юридическом факультете МГУ имени М.В. Ломоносова. Правовая информатика состоит из трёх частей: теории информации, теоретических основ информационных технологий и основ безопасного поведения в киберпространстве. Для удобства учебный материал изложен по лекциям. Технические, технологические, экономические ...
Добавлено: 1 апреля 2022 г.
Новые находки памятников древнепермского языка и письма
Грищенко А. И., Понарядов В. В., Урало-алтайские исследования 2021 № 4 (43) С. 7–34
В статье впервые публикуются ранее неизвестные или не введенные в научный оборот памятники древнепермского языка, записанные абуром. Все эти тексты представляют собой приписки на славяно-русских рукописных книгах XV в.: на смеси древнепермского с русским в «Беседах» Григория Великого (1460—70-е гг.), писцовые записи на книге со словами Исаака Сирина (1486) и на двух томах с новыми ...
Добавлено: 18 января 2022 г.
Применение статистических тестов NIST для анализа выходных последовательностей блочных шифров
Перов А. А., Научный вестник Новосибирского государственного технического университета 2019 Т. 76 № 3 С. 87–96
Современные итеративные блочные шифры являются одним из наиболее востребованных средств обеспечения защищенного обмена информацией в высокоскоростных сетях передачи данных. Широкое применение данной технологии и развитие вычислительных мощностей порождают целый перечень угроз криптоанализа шифров. Обеспечение криптографической стойкости является в данном случае одним из ключевых аспектов криптографического алгоритма, однако криптографическая стойкость невозможна без обеспечения удовлетворительных статистических свойств, ...
Добавлено: 22 ноября 2021 г.
Using Machine Learning Technologies for Carrying out Statistical Analysis of Block Ciphers
Перов А. А., Conference: 2019 International Multi-Conference on Engineering, Computer and Information Sciences (SIBIRCON) 2019 P. 851–854
Добавлено: 20 ноября 2021 г.
Automata Under Effective Observation
Бабаш А. В., , in: Proceedings of the 10th International Scientific and Practical Conference named after A. I. Kitov "Information Technologies and Mathematical Methods in Economics and Management (IT&MM-2020)"/, Moscow, Russia, October 15-16, 2020Vol. 2830.: CEUR Workshop Proceedings, 2021. P. 337–359.
A trapdoor cipher is a cipher whose algorithm contains some hidden structure (a trapdoor) providing the existence of a subliminal information channel. In cryptographic practice, there could be situations when a constructed cipher may contain some critical defect (a trapdoor) whose identification can significantly weaken the cryptographic strength of this cipher. In this paper, we ...
Добавлено: 2 ноября 2021 г.
Криптографические методы защиты информации для изучающих компьютерную безопасность
Лось А. Б., Нестеренко А. Ю., Рожков М. И., М.: Юрайт, 2021.
Учебник предназначен для студентов высших учебных заведений, обучающихся по специальности 10.00.00. Основное внимание уделено строгому математическому обоснованию, эффективной реализации и анализу трудоемкости алгоритмов, используемых в криптографических приложениях. Приведено описание современных криптографических схем и протоколов, использующих изложенные теоретические сведения. ...
Добавлено: 30 сентября 2021 г.
Новые подходы к дешифрованию классических шифров. Приложения к процессам целевой подготовки молодых специалистов.
Бабаш А. В., Баранова Е. К., В кн.: Информационные технологии в государственном управлении. Цифровая трансформация и человеческий капитал: сборник научных трудов 19-й научно-практической конференции (Москва, 29 апреля 2021 г.).: Проспект, 2021. С. 26–47.
Предлагаются новые атаки на шифр случайного гаммирования, шифр простой замены, шифр перестановки, дисковые шифры, блочные шифры с расчетом их трудоемкости и надежности. ...
Добавлено: 30 августа 2021 г.
Информационные технологии в государственном управлении. Цифровая трансформация и человеческий капитал: сборник научных трудов 19-й науч.-практ._конф. (Москва, 29 апреля 2021 г.) /под ред. Н.И.Куренкова [и др.] - М.: Изд-во «Проспект», 2021
М.: Проспект, 2021.
В сборнике представлены конкурсные работы 19-й научно- практической конференции, посвященной вопросам текущего и перспективного использования современных ИКТ для решения задач управления крупными и целевыми проектами, построения информационных систем для органов государственной власти, местного самоуправления и рассмотрения процессов цифровой трансформации социально-экономического развития общества. ...
Добавлено: 30 августа 2021 г.
A Comprehensive and Reproducible Comparison of Cryptographic Primitives Execution on Android Devices
Ometov A., Zeman K., Masek P. и др., IEEE Access 2021 No. 9 P. 54625–54638
Добавлено: 26 августа 2021 г.
Криптографические методы защиты информации. Лабораторный практикум + Приложение: дополнительные материалы
Баранова Е. К., Бабаш А. В., КноРус, 2022.
Посвящено рассмотрению практических вопросов защиты информации методами криптографии и стеганографии. В пособие включены описания лабораторных работ с комплектом исполняемых программных модулей. Все практические работы предваряет теоретический раздел и заключает перечень контрольных вопросов. Соответствует ФГОС ВО последнего поколения. Для студентов бакалавриата и магистратуры, обучающихся по направлению «Информационная безопасность». ...
Добавлено: 16 июня 2021 г.
КРИПТОГРАФИЧЕСКИЕ МЕХАНИЗМЫ ЗАЩИЩЕННОГО ВЗАИМОДЕЙСТВИЯ КОНТРОЛЬНЫХ И ИЗМЕРИТЕЛЬНЫХ УСТРОЙСТВ
Нестеренко А. Ю., Семенов А. М., Безопасность информационных технологий 2020 Т. 27 № 4 С. 7–16
В работе описываются ключевые особенности криптографического протокола, обеспечивающего защищенное взаимодействие контрольных и измерительных устройств. Описывается иерархическая структура, лежащая в основе данного протокола, и связи между транспортным и сеансовым уровнями модели ISO, к которой привязаны различные этапы обработки сообщений. Безопасность данного протокола, основана на применении стандартизированных отечественных криптографических алгоритмов и механизмов, которые позволяют обеспечить аутентификацию и ...
Добавлено: 2 декабря 2020 г.
An Overview on Blockchain for Smartphones:State-of-the-Art, Consensus, Implementation,Challenges and Future Trends
Ometov A., Bardinova Y., AFANASYEVA A. и др., IEEE Access 2020 Vol. 8 P. 103994–104015
Добавлено: 8 октября 2020 г.
On the practical implementation of Russian protocols for low-resource cryptographic modules
Нестеренко А. Ю., Семенов А. М., Journal of Computer Virology and Hacking Techniques 2020 Vol. 16 No. 4 P. 305–312
В 2018 году авторы этой статьи разработали криптографический механизм, который был принят в 2019 году в качестве рекомендации по стандартизации Р 1323565.1.028-2019 «Криптографические механизмы для безопасного взаимодействия контрольно-измерительных приборов» Техническим комитетом «Защита криптографической информации». Эти рекомендации содержат описание семейства криптографических протоколов, предназначенных для получения ключевой информации, а также для обмена зашифрованной информацией с защитой целостности. ...
Добавлено: 4 августа 2020 г.
“3D Visualization Applied to PRBG and Cryptography”
Dubois M., Филиол Э. А., Computer Science and Information Technology 2016 Vol. 4 No. 5 P. 171–180
Добавлено: 15 мая 2020 г.
On the Lightweight McEliece Cryptosystem for Low-Power Devices
Иванов Ф. И., Крук Е. А., Крещук А. А., , in: 2019 XVI International Symposium "Problems of Redundancy in Information and Control Systems" (REDUNDANCY).: IEEE, 2019. P. 133–138.
Добавлено: 17 марта 2020 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору