• 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
Расширенный поиск
Высшая школа экономики
Национальный исследовательский университет
Приоритетные направления
  • бизнес-информатика
  • государственное и муниципальное управление
  • гуманитарные науки
  • инженерные науки
  • компьютерно-математическое
  • математика
  • менеджмент
  • право
  • социология
  • экономика
по году
  • 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
  • еще
Тематика
Новости
19 августа 2026 г.
Ученые ВШЭ разработали алгоритм, позволяющий производить более надежные процессоры для ЦОД
Ученые из МИЭМ ВШЭ и Самарского университета создали алгоритм LRF-3D для автоматического обхода неработающих узлов в трехмерных сетях на кристалле. Благодаря своей иерархической организации он превосходит аналоги по быстродействию и точности пути, повышая надежность процессоров для использования в ЦОД, суперкомпьютерах и ИИ-вычислениях. Исходные коды алгоритмов и тестов опубликованы в открытом доступе.
13 августа 2026 г.
Социальная интеграция: на перекрестках знаний и ценностей
Международная лаборатория исследований социальной интеграции (МЛИСИ) НИУ ВШЭ занимается изучением проблем уязвимых слоев населения и поиском методов их вовлечения в полноценную повседневную жизнь. Для поиска решений ученые лаборатории сочетают разработку передовых методов с практической работой «в поле». О деятельности лаборатории новостной службе «Вышка.Главное» рассказала ее заведующая Елена Ярская-Смирнова.
12 августа 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
Похожие публикации
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 г.
Квантовая революция: на что способна «атомная бомба XXI века»?
Прокопчук Е. Э., Russia in Global Affairs 2020 Т. 18 № 2 С. 172–188
Первая квантовая революция, определившая развитие физики в XX веке, стала предпосылкой для появления ядерного оружия, транзисторов, лазеров, мобильной телефонной связи и интернета. Начало XXI столетия стало временем второй квантовой революции. Её последствия пока не проявились в полной мере. Страны, способные создать квантовый компьютер – устройство, которое может решать задачи, недоступные самым мощным суперкомпьютерам классического типа, – получат ...
Добавлено: 9 марта 2020 г.
Security Evaluation of a Brute-force Attack on a Cipher Using a Statistical Criterion for Plaintext
Бабаш А. В., Сизов В. А., Микрюков А. А., Automatic Control and Computer Sciences 2019 Vol. 53 No. 1 P. 39–44
Добавлено: 22 февраля 2020 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору