• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • A
  • A
  • A
  • A
  • A
Обычная версия сайта
  • RU
  • EN
  • Национальный исследовательский университет «Высшая школа экономики»
  • Публикации ВШЭ
  • Глава
  • Statistical Model Checking of Common Attack Scenarios on Blockchain
  • 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
  • еще
Тематика
Новости
13 октября 2026 г.
Российские ученые поставили под сомнение установление рекорда в замерах свойств сверхпроводников
Топологические изоляторы проводят ток только по поверхности и поэтому рассматриваются как перспективные материалы для будущей электроники и квантовых технологий. Особый интерес представляет их контакт со сверхпроводниками. Физики из НИУ ВШЭ показали, что недавний эксперимент, в котором в такой гибридной структуре якобы наблюдалось объединение электронных пар на рекордном расстоянии 1,5 мкм, допускает более прозаичное объяснение. По их мнению, тот же сигнал может быть обусловлен обычным прохождением электронов через сверхпроводник. Дискуссия исследователей развернулась на страницах Nature Physics.
12 октября 2026 г.
Устойчивое управление и стоимость бизнеса: экономисты ВШЭ выяснили, как они связаны на российском рынке
На российском рынке устойчивое развитие повышает стоимость бизнеса прежде всего тогда, когда становится частью корпоративной стратегии. К такому выводу пришли исследователи НИУ ВШЭ и их зарубежные коллеги, проанализировав практики управления 152 публичных российских компаний. Статья опубликована в журнале Business Strategy and the Environment.
8 октября 2026 г.
Ученые НИУ ВШЭ выяснили, что рейтинг врача более убедителен для пациентов, чем стаж
Исследователи НИУ ВШЭ изучили, как стаж и рейтинг врачей влияют на доверие пациентов к медицинской информации. Оказалось, что люди считают более убедительным мнение врачей, у которых высокий рейтинг, а на опыт работы обращают меньше внимания. Результаты опубликованы в журнале Frontiers in Human Neuroscience.

 

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

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

?

Statistical Model Checking of Common Attack Scenarios on Blockchain

P. 65–77.
Fedotov I., Anton Khritankov
Язык: английский
DOI
Текст на другом сайте
Ключевые слова: formal software verificationStatistical model checking blockchain

В книге

Electronic Proceedings in Theoretical Computer Science (EPTCS). Proceedings of the 9th International Symposium on Symbolic Computation in Software Science
Open Publishing Association, 2021.
Похожие публикации
«Цифровые» акционерные общества: правовой статус корпорации
Иванова Е. Е., Право. Журнал Высшей школы экономики 2026 № 3 С. 109–137
Статья посвящена анализу правового статуса цифровых акционерных обществ (ЦАО) и их участников в российском праве в контексте вопроса о выделении ЦАО в самостоятельную организационно-правовую форму юридического лица. На основе первых зарегистрированных в России ЦАО рассматривается порядок их учреждения, правовая природа цифровой акции как разновидности цифрового финансового актива и особенности оборота корпоративных прав, зафиксированных в распределенном ...
Добавлено: 7 октября 2026 г.
Non-fungible Tokens: Value for Digital Arts and Pricing Factors
Руцкий В. Н., Sudhir A., Elkin S. и др., , in: Software Engineering Application in Systems Design: Proceedings of 6th Computational Methods in Systems and Software 2022, Volume 1Vol. 596.: Cham: Springer, 2023. Ch. 70 P. 805–816.
Добавлено: 7 октября 2026 г.
Tokenization as a Tool for Ensuring the Authenticity of Cultural Heritage Properties in the Digital Age (Think piece UNESCO)
Idrisov Ravshan Ravshanovich, , in: The Global Good. The Future of Culture, Creation, and Author.: M.: UNESCO Chair on Copyright, Neighbouring, Cultural and Information Rights (HSE University), 2026. P. 19–27.
Добавлено: 28 сентября 2026 г.
Electronic Voting System Using an Enterprise Blockchain
Denis González C., Frias Mena D., Massó Muñoz A. и др., Applied Sciences (Switzerland) 2022 Vol. 12 No. 2 Article 531
Добавлено: 18 сентября 2026 г.
Blockchain Technologies for Smart Circular Economy and Organisational Sustainability
Тюркин М. В., Azamat A., Cham: Springer, 2025.
Добавлено: 20 июля 2026 г.
Перспективы интеграции новых цифровых технологий в современное образование для повышения его эффективности
Бояров Е. Н., Социальная компетентность 2025 Т. 10 № 2 С. 42–51
В статье рассматривается проблема интеграции новых цифровых технологий в современное образование с целью повышения его эффективности и качества. Цель исследования – обобщение теоретических и практических подходов к использованию цифровых инструментов в образовательной среде, а также выявление основных направлений и барьеров цифровой трансформации образования. Методы исследования включают анализ научной литературы и публикаций, сравнительный анализ различных подходов, ...
Добавлено: 9 декабря 2025 г.
Возможности и риски цифровизации в социально-политической сфере (по материалам экспертных оценок)
Гаман-Голутвина О.В., В кн.: Альтернативы цифровизации: сохранится ли человек в цивилизации будущего?.: М.: Канон+, 2025. Гл. 5 С. 71–89.
Как влияет применение цифровизации и искусственного интеллекта на развитие человека? В книге "Альтернативы цифровизации: сохранится ли человек в цивилизации будущего?" представлен опыт междисциплинарного исследования этой проблемы, ставшей сегодня одной из ведущих глобальных проблем современного мира. В ее обсуждении принимают участие философы, биологи, социологи, культурологи, психологи, педагоги, математики, специалисты в области технического знания и социальной практики. ...
Добавлено: 8 декабря 2025 г.
2025 XIХ International Symposium on Problems of Redundancy in Information and Control Systems (Redundancy), 5-7 Nov. 2025
IEEE, 2025.
Добавлено: 10 ноября 2025 г.
Управление техническим обслуживанием транспортного парка в организации на основе технологии распределенного реестра
Трофимов С. И., Восков Л. С., Комаров М. М., Бизнес-информатика 2025 Т. 19 № 3 С. 67–84
В условиях растущей конкуренции на рынке транспортных услуг компании ищут новые способы повышения операционной эффективности и снижения затрат на обслуживание автомобильного парка. В статье представлена инновационная модель управления техническим состоянием транспортных средств, описывающая механизм оценки состояния техники с использованием технологии распределенного реестра и смарт-контрактов. Предложена информационная система автоматизации технического обслуживания, способная выполнять функции мониторинга и ...
Добавлено: 23 сентября 2025 г.
Прогноз волатильности криптовалют с использованием Google Trends и GDELT
Тетерин М. А., Экономическая политика 2025 Т. 20 № 4 С. 82–117
Криптовалюты стали важной частью современного финансового рынка. Одними из крупнейших являются Bitcoin, Ether, Litecoin и XRP, их капитализация составляет львиную долю рынка цифровых активов. При этом рынок криптовалют отличается от рынка традиционных финансовых активов более высоким уровнем волатильности цен, что делает методологию построения более точных прогнозов дневной волатильности для этих активов особенно значимой. Оценка дневной ...
Добавлено: 2 сентября 2025 г.
Защита интеллектуальных прав работников науки. Проблемы и практика применения
Буянова М. О., Законы России: опыт, анализ, практика 2025 № 5 С. 59–62
В статье раскрываются проблемы защиты интеллектуальных прав работников науки. Отмечается, что в силу различного правового регулирования отношения по защите права на авторство создаваемых работниками в процессе трудовой деятельности произведений (изобретений, открытий и т.д.) сталкиваются с целым рядом проблем. Среди них – конфликт интересов научного сотрудника и организации, в которой он работает, распределение вознаграждения за результаты ...
Добавлено: 21 июня 2025 г.
Инструментальные средства построения токенизированных сообществ
Авдошин С. М., Тарасова Д. Д., Информационные технологии 2025 Т. 31 № 5 С. 258–270
Токенизация сообществ — это новейшая область знания, возникшая на стыке информационных технологий, социальных и экономических наук. Рассмотрены основные необходимые инструментальные средства токенизации, существующие подходы к их реализации, проблемы токенизированных сообществ и методы их решения для разработки системы токенизации сообществ. ...
Добавлено: 6 мая 2025 г.
NFT-арт: новые возможности для раскрытия созидательного потенциала «агентности» в сфере культуры
Афанасьева И. А., Сорокин П. С., Шаги/Steps 2026 С. 325–351
В настоящее время стремительно увеличивается пространство художественной реальности, основанное на современных технологических разработках и системах массовых коммуникаций. В статье на основе обзора существующих научных и экспертных дискуссий, а также анализа отдельных новейших кейсов произведений искусства рассматриваются основные принципы NFT-искусства на различных этапах (создание, приобретение, хранение, распространение), выявляются особенности спроса на данный тип искусства, анализируются причины ...
Добавлено: 28 апреля 2025 г.
Loan Portfolio Dataset From MakerDAO Blockchain Project
Chaleenutthawut Y., Давыдов В. А., Evdokimov M. и др., IEEE Access 2024 Vol. 12 P. 24843–24854
Децентрализованные финансы (или DeFi от англ. "Decentralized finance") предлагают ряд финансовых инструментов и услуг, использующих возможности технологии web3. В частности протокол Maker позволяет пользователям получать кредиты, обеспеченные криптовалютами. В отличие от традиционных банков, данные Maker прозрачно записываются в блокчейн Ethereum. В этой статье мы сосредоточимся на анализе кредитного аспекта Maker с традиционной финансовой точки зрения. ...
Добавлено: 4 сентября 2024 г.
Обзор показателей эффективности распределенных реестров
А. Т. Джонов, С. М. Авдошин, Информационные технологии 2024 Т. 30 № 3 С. 133–139
За счет использования технологии распределенного реестра появляется возможность обеспечения прозрач-ности, улучшения отслеживания действий внутри процессов и обеспечения доверия в открытых системах в различных секторах экономики. Существует потребность в оценке эффективности работы распределенных реестров на базе измеряемых показателей. В статье представлен обзор показателей эффективности распре-деленных реестров, методы повышения эффективности и оценки работы распределенных реестров. ...
Добавлено: 4 апреля 2024 г.
Статистическое исследование и моделирование влияния цифровой трансформации на потребление банковских услуг
Булыга Е. С., В кн.: Статистические методы анализа экономики и общества. 14-я Международная научно-практическая конференция студентов и аспирантов (16-19 мая 2023 г.).: М.: Издательский дом НИУ ВШЭ, 2023. С. 58–60.
Цифровые трансформации происходят во всех сферах жизни общества. Стремительно развивается цифровой формат предоставления продуктов и услуг. Банковский сектор является важнейшей составляющей финансовой системы России и очень восприимчив к инновациям, поэтому в сфере использования финансовых технологий в банковской сфере также произошли серьезные изменения. Так, согласно данным Банка России, количество счетов с дистанционным доступом в 2021 г. ...
Добавлено: 16 января 2024 г.
Between Сrypto Art and Copyright: NFT Tokens as Tools for Confirming the Authenticity of Art Objects
Kartasheva Anna, Trubina M., Changing Societies and Personalities 2024 Vol. 8 No. 2 P. 508–525
Добавлено: 20 октября 2023 г.
Automated Verification of Multi-Party Agreements and Scheduling of Sending Messages in Distributed Ledger Systems
Fedotov I. A., A. S. Khritankov, Obidare M. D., Programming and Computer Software 2023 Vol. 49 No. 5 P. 448–454
Добавлено: 9 октября 2023 г.
Риски и перспективы токенизации творчества
Будник Р. А., Journal of Digital Technologies and Law 2023 Т. 1 № 3 С. 587–611
Цель: токенизация творчества в одном ряду с криптоэкономикой и сетевой инфраструктурой Web3 представляет собой заметный тренд развития современного общества в третьем десятилетии двадцать первого века. Цель настоящей статьи заключается в исследовании рисков и перспектив, возникающих в процессе распоряжения результатами творческого труда в виде невзаимозаменяемых токенов. Методы: методика настоящей работы построена на анализе различных точек зрения ...
Добавлено: 22 августа 2023 г.
New needs of Russian higher education in the digital age
Никипорец-Такигава Г. Ю., Skorodumova O., Melikov I., Revista Conrado 2022 Vol. 18 No. 88 P. 285–290
Добавлено: 19 июля 2023 г.
Optimizing multi-party agreement protocols
Fedotov I., Anton Khritankov, Barger A., , in: 2022 4th Conference on Blockchain Research and Applications for Innovative Networks and Services, BRAINS 2022.: IEEE, 2022. P. 55–58.
Добавлено: 16 июня 2023 г.
  • О ВЫШКЕ
  • Цифры и факты
  • Руководство и структура
  • Устойчивое развитие в НИУ ВШЭ
  • Преподаватели и сотрудники
  • Корпуса и общежития
  • Закупки
  • Обращения граждан в НИУ ВШЭ
  • Фонд целевого капитала
  • Противодействие коррупции
  • Сведения о доходах, расходах, об имуществе и обязательствах имущественного характера
  • Сведения об образовательной организации
  • Людям с ограниченными возможностями здоровья
  • Единая платежная страница
  • Работа в Вышке
  • ОБРАЗОВАНИЕ
  • Лицей
  • Довузовская подготовка
  • Олимпиады
  • Прием в бакалавриат
  • Вышка+
  • Прием в магистратуру
  • Аспирантура
  • Дополнительное образование
  • Центр развития карьеры
  • Бизнес-инкубатор ВШЭ
  • Образовательные партнерства
  • Обратная связь и взаимодействие с получателями услуг
  • НАУКА
  • Научные подразделения
  • Исследовательские проекты
  • Мониторинги
  • Диссертационные советы
  • Защиты диссертаций
  • Академическое развитие
  • Конкурсы и гранты
  • Внешние научно-информационные ресурсы
  • РЕСУРСЫ
  • Библиотека
  • Издательский дом ВШЭ
  • Книжный магазин «БукВышка»
  • Типография
  • Медиацентр
  • Журналы ВШЭ
  • Публикации
  • http://www.minobrnauki.gov.ru/
    Министерство науки и высшего образования РФ
  • https://edu.gov.ru/
    Министерство просвещения РФ
  • https://elearning.hse.ru/mooc
    Массовые открытые онлайн-курсы
  • НИУ ВШЭ1993–2026
  • Адреса и контакты
  • Условия использования материалов
  • Политика обработки персональных данных
  • Правила применения рекомендательных технологий в НИУ ВШЭ
  • Карта сайта
Редактору