Программно-аппаратная платформа CHERIoT 1.0 для повышения безопасности кода на языке Си

Программно-аппаратная платформа CHERIoT 1.0 для повышения безопасности кода на языке Си

Представлен финальный вариант спецификации программной-аппаратной платформы CHERIoT 1.0 (Capability Hardware Extension to RISC-V for Internet of Things), определяющей расширение набора команд (ISA) для создания защищённых устройств. CHERIoT предоставляет аппаратные возможности для отслеживания доступа к памяти, проверки корректности работы с указателями и обеспечения изоляции блоков кода. Одновременно опубликован стабильный релиз эталонной формальной модели CHERIoT ISA, определённой на языке Sail и применяемой для создания симулятора. Наработки проекта распространяются под лицензией BSD.
Читать далее...
20:20, 04.11.2025
 
Рубрика: «Наука и Технологии»   Поделиться: Поделиться новостью в Facebook Поделиться новостью в Twittere Поделиться новостью в VK Поделиться новостью в Pinterest Поделиться новостью в Reddit

ИИ-модели Meta* откажутся от открытого исходного кодаИИ-модели Meta* откажутся от открытого исходного кода Meta* разрабатывает новую ИИ-модель под кодовым названием «Avocado"*, и, по сообщениям СМИ, она может быть закрытой, а не открытой. Что для компании нехарактерно. Модель «Avocado", которая должна выйти в 2026 году, создаётся внутри небольшого подразделения Meta AI Superintelligence Labs. Пока неясно ...

Гарантия безопасности: платформа Боцман получила государственную верификацию ФСТЭК РоссииГарантия безопасности: платформа «Боцман» получила государственную верификацию ФСТЭК России Платформа контейнеризации «Боцман» от компании «Платформа Боцман» (входит в «Группу Астра») официально получила... ...

Рег.облако автоматизировал управление облаком с помощью кода«Рег.облако» автоматизировал управление облаком с помощью кода Облачный провайдер «Рег.облако» представил новый инструмент в облаке, который позволяет DevOps-инженерам и другим... ...

Рег.облако автоматизировал управление облаком с помощью кодаРег.облако автоматизировал управление облаком с помощью кода Компания упростила внедрение Infrastructure as Code (IaC) для команд разработки, выпустив Terraform-провайдер. С помощью нового решения DevOps- и IT-команды могут быстрее и безопаснее управлять облачной инфраструктурой, снижая … ...

СМИ: Москва напугала Токио, кода подлодки РФ и КНР начали кружить вокруг ЯпонииСМИ: Москва напугала Токио, кода подлодки РФ и КНР начали кружить вокруг Японии Москва напугала Токио манёвром с подлодками в ответ на её территориальные претензии — призывы Японии к России вернуть Курилы, сообщает Baijiahao ...

Без кода и за секунды: Google расширяет доступ к AI-инструменту OpalБез кода и за секунды: Google расширяет доступ к AI-инструменту Opal С помощью Opal пользователи могут вводить описание желаемого приложения на естественном языке, а затем искусственный интеллект Google создаёт работающий прототип. The post Без кода и за секунды: Google расширяет доступ к AI-инструменту Opal first appeared on itndaily.ru. ...

У сотрудников Кода Безопасности появился новый мерч от AmadeyPrintУ сотрудников «Кода Безопасности» появился новый мерч от «AmadeyPrint» . Перед началом массового производства было изготовлено два образца для проверки соответствия посадки. Изначально планировалась модель оверсайз, но впоследствии было принято решение о выборе стандартного кроя. Для пошива использовался плотный футер весом 470 г, который отлично сохраняет форму. Для т ...

Три тысячи за раз  и пустой счёт: как не дать мошенникам забрать ваши деньги без пин-кодаТри тысячи за раз — и пустой счёт: как не дать мошенникам забрать ваши деньги без пин-кода Финансовый омбудсмен Ассоциации российских банков Павел Медведев напомнил, что потеря банковской карты несёт риск утраты денежных средств. В комментарии для MoneyTimes он поделился надёжным способом хранения денег. Потеря карты и угроза снятия денег Эксперт объяснил, что в магазинах можно без кода с ...

AgiBot представила платформу LinkCraft для создания роботизированных движений без кодаAgiBot представила платформу LinkCraft для создания роботизированных движений без кода Международная компания AgiBot, лидер в области разработки гуманоидных роботов, официально представила LinkCraft — инновационную платформу без необходимости программирования, которая позволяет превращать видео с человеческими движениями в точные действия роботов. ...

Финтех-группа Cyberbird реализовала проверку данных клиентов через СБП для повышения безопасности выдачи потребительских займовФинтех-группа Cyberbird реализовала проверку данных клиентов через СБП для повышения безопасности выдачи потребительских займов Финтех-группа Cyberbird, объединяющая цифровые сервисы альтернативного кредитования («Привет, Сосед!», Finters, «Пробаланс»)... ...

Путин утвердил стратегию повышения безопасности дорожного движенияПутин утвердил стратегию повышения безопасности дорожного движения Президент России Владимир Путин подписал указ, утверждающий новую стратегию повышения безопасности дорожного движения до 2030 года с перспективой до 2036 года. Документ размещен на сайте официального опубликования нормативных актов. «В целях обеспечения дальнейшего совершенствования реализации ...

Apple устала от раздутого кода  в iOS 27 качество будет превыше новых функцийApple устала от раздутого кода — в iOS 27 качество будет превыше новых функций Apple намерена в 2026 году сместить акцент с внедрения масштабных новых функций в iOS 27 на стабильность и внутреннюю оптимизацию в предстоящем крупном обновлении. Согласно отчёту Марка Гурмана (Mark Gurman), это будет первое с момента выхода iOS 12 обновление, где во главу угла будут поставлены кач ...

Открытие кода программного обеспечения для умных часов Pebble WatchОткрытие кода программного обеспечения для умных часов Pebble Watch Эрик Мигиковски (Eric Migicovsky), основатель компании Pebble Technology, объявил об открытии недостающего исходного кода программного обеспечения Pebble Watch - все приложения, необходимые для работы с умными часами Pebble, теперь можно самостоятельно собрать из исходного кода. Отмечается, что до э ...

ДАР выводит на рынок ИИ-ассистента для ревью кода«ДАР» выводит на рынок ИИ-ассистента для ревью кода Компания «ДАР» (ГК «Корус Консалтинг») разработала решение, предназначенное для автоматизации проверки кода... ...

Сбер запустил оплату через Alipay в Китае с помощью QR-кода«Сбер» запустил оплату через Alipay в Китае с помощью QR-кода Сбербанк запустил оплату товаров и услуг в Китае через платформу Alipay с помощью QR-кода в приложении банка. Об этом сообщили «Ъ» источники, информацию подтвердили операторы поддержки «Сбера». ...

Сбой в Cloudflare из-за проблемы в коде на языке LuaСбой в Cloudflare из-за проблемы в коде на языке Lua Спустя две недели с момента прошлого глобального сбоя сеть доставки контента Cloudflare, обслуживающая около 20% всего мирового web-трафика, вчера частично оказалась недоступной на 25 минут. Во время инцидента примерно треть запросов через Cloudflare завершалось возвращением пустой страницы с кодом ...

В Telegram добавят ключи доступа для входа в аккаунт без пароля и кода из СМСВ Telegram добавят ключи доступа для входа в аккаунт без пароля и кода из СМС В последнее время пользователи иностранных мессенджеров сталкиваются с большим количеством сложностей. Так, у многих не приходит проверочный код Telegram, без которого не удастся войти в приложение на новом устройстве. А без мессенджера — как без рук! На случай, если код не приходит, а активно ...

Не только паспорт: Минцифры предложило сделать больше документов в виде QR-кодаНе только паспорт: Минцифры предложило сделать больше документов в виде QR-кода Минцифры хочет добавить в «Госуслуги» цифровые права, свидетельства и студенческие билеты. Показывать их можно будет в виде QR-кода в смартфоне. ...

Книги писателей-орловцев издали на китайском языкеКниги писателей-орловцев издали на китайском языке Необычные издания представили в Орле на специальной выставке. Фото: Орловский литературный музей И.С.Тургенева В Музее писателей-орловцев открылась не самая обычная выставка произведений писателей-орловцев. В качестве экспонатов на ней представлены хорошо известные отечественному читателю произведен ...

Глава Росмолодежи Гуров: Образцы культурного кода России сошьют до конца годаГлава Росмолодежи Гуров: Образцы культурного кода России сошьют до конца года В этом году завершится создание первых коллекций одежды, отражающих культурный код России и включающих национальные элементы различных регионов страны, заявил глава Росмолодежи Григорий Гуров на молодежном образовательном форуме «Каспий-2025». Первые образцы коллекций, отражающих культурный код Росс ...

Дмитрий Тарасов: Отцовство должно стать неотъемлемой частью культурного кодаДмитрий Тарасов: «Отцовство должно стать неотъемлемой частью культурного кода» В рамках подготовки ко Всероссийскому Дню отца представлены новые инициативы, направленные на укрепление семейных традиций и демографической ситуации в России. ...

Обновленная Sora представила видео с питомцами и без пригласительного кодаОбновленная Sora представила видео с питомцами и без пригласительного кода Sora 2 убрала пригласительный код и добавила видео с питомцами и базовый монтаж — инструмент для креативного бизнеса и вовлечения аудитории. ...

ВТБ запустил видеоконсультации на русском жестовом языкеВТБ запустил видеоконсультации на русском жестовом языке В рамках пилотного проекта видеоконсультации проводятся в рабочее время с 9:00 до 17:00 по московскому времени, длительность одной консультации – до одного часа. С клиентами общаются сотрудники ВТБ, для которых русский жестовый язык – важная часть жизни: они с детства ежедневно разговаривают на нем ...

МВД предупредило о рисках передачи CVV-кода, пин-кода и паролей картМВД предупредило о рисках передачи CVV-кода, пин-кода и паролей карт Сообщать номер банковской карты, расчетного счета или телефона сторонним лицам допустимо, однако такие сведения, как три цифры на обороте карты, пин-код, пароли из банковских уведомлений и срок действия карты, должны оставаться в тайне, сообщили специалисты МВД России. Эти рекомендации опубликованы ...

Путин одобрил стратегию повышения безопасности дорожного движенияПутин одобрил стратегию повышения безопасности дорожного движения Президент России Владимир Путин одобрил долгосрочную стратегию по улучшению безопасности дорожного движения в стране, рассчитанную до 2030 года и с перспективой до 2036 года. Соответствующий документ опубликован на официальном интернет-портале правовой информации. Стратегия содержит оценку текущего ...

Смыслы и знаки  в России предложили новую интерпретацию генетического кода«Смыслы и знаки» — в России предложили новую интерпретацию генетического кода В России ученые предлагают рассматривать генетический код не как статичную «инструкцию», определяющую функционирование организмов, а как набор смыслов и знаков, которые приобретают значение, лишь пройдя через ряд биохимических операций… ...

На языке коренных народовНа языке коренных народов В Тюмени открылись Дни культуры финно-угорских и самодийских народов «Мы – дети одного корня». Мероприятие приурочено к Международному десятилетию языков коренных народов. В приветственных словах председатель комитета по межнациональным отношениям администрации города Тюмени Платон Осоткин и депутат ...

Исследование Кода Безопасности: промышленность  стала самой атакуемой отраслью в РоссииИсследование «Кода Безопасности»: промышленность – стала самой атакуемой отраслью в России На долю промышленных предприятий России пришлось 28% атак от общего числа инцидентов, таковы данные «Кода Безопасности»... ...

Цыганова высмеяла запевшую на украинском языке ВайкулеЦыганова высмеяла запевшую на украинском языке Вайкуле Вика Цыганова прокомментировала ситуацию, возникшую вокруг Лаймы Вайкуле, запевшей на украинском языке. Виктория довольна, что хейтеры из Украины раскритиковали артистку, «поливавшую грязью» Россию. ...

Глава OpenAI Альтман объявил в компании режим красного кодаГлава OpenAI Альтман объявил в компании режим «красного кода» Глава OpenAI Сэм Альтман объявил режим «красного кода» и призвал команду временно отказаться от других инициатив, включая запуск рекламы, чтобы полностью сосредоточиться на доработке функциональности чат-бота. Генеральный директор OpenAI Сэм Альтман объявил в компании режим «красного кода&raqu ...

Социальный фонд уточнил правила установки секретного кодаСоциальный фонд уточнил правила установки секретного кода Он понадобится для получения информации о выплатах и поддержке на горячей линии. Его нужно задать самостоятельно. Есть два варианта: комбинация из букв и цифр или связка «вопрос — ответ». Новые правила вступили в силу 10 октября 2025-го. Как установить секретный код Для этого нужно прийти в абсолютн ...

В Социальном фонде уточнили правила установки секретного кода для россиянВ Социальном фонде уточнили правила установки секретного кода для россиян С 10 октября 2025 года вступили в силу новые правила, согласно которым россияне смогут получать информацию о своих пособиях, пенсионных правах и льготах только после установки секретного кода. Новый механизм был разработан Социальным фондом РФ (СФР) для улучшения безопасности и конфиденциальности да ...

Цель  чтобы массовый спорт стал частью культурного кода России. Ксения Шойгу анонсировала создание Ассоциации организаторов массового спорта«Цель – чтобы массовый спорт стал частью культурного кода России». Ксения Шойгу анонсировала создание Ассоциации организаторов массового спорта 10 октября в Москве состоялось бизнес-мероприятие «Будущее массового спорта в России», организованное проектом «Лига Героев». Участие принимали фигуристка Евгения Медведева, гимнаст Никита Нагорный, вице-президент Олимпийского комитета России (ОКР) Марат Филиппов, президент Федерации керлинга России ...

Долгая кода // На MTV больше не будет музыкиДолгая кода // На MTV больше не будет музыки Компания Paramount сообщила о закрытии круглосуточного музыкального вещания канала MTV в Великобритании. Музыку перестанут крутить и другие региональные отделения канала. Это вполне предсказуемая страница в его истории, но что происходит с самим брендом MTV? Этим вопросом задался Игорь Гаврилов. ...

Авито ускорило защиту кода в 5 раз с помощью генеративного ИИАвито ускорило защиту кода в 5 раз с помощью генеративного ИИ Компания Авито внедрила собственную большую языковую модель A-Vibe для защиты программного кода. Новая система позволила в пять раз ускорить процесс проверки на наличие уязвимостей. Искусственный интеллект (ИИ) автоматически обнаруживает конфиденциальные данные, такие как пароли, токены и API-ключи, ...

Для S.T.A.L.K.E.R. 2 вышла тестовая неофициальная озвучка на русском языкеДля S.T.A.L.K.E.R. 2 вышла тестовая неофициальная озвучка на русском языке Команда Eloquence Studio выпустила первую тестовую версию неофициальной русской озвучки для шутера S.T.A.L.K.E.R. 2: Heart of Chornobyl. В текущем билде полностью переведён и озвучен основной сюжет — от начала игры до встречи с Далиным и Коршуновым на Терриконе, включая все сюжетные развилки. Заверш ...

Теперь не только спорт, но и чуть больше безопасности. Lada Niva Sport впервые получила подушку безопасностиТеперь не только «спорт», но и чуть больше безопасности. Lada Niva Sport впервые получила подушку безопасности Как сообщает «Лада.онлайн» со ссылкой на один из дилерских центров Lada, Lada Niva Sport получила подушку безопасности и блок ЭРА-ГЛОНАСС. Но пока машину можно лишь заказать, у дилеров «живые» автомобили появятся в декабре текущего года. Фото: Lada «В настоящий момент в ...

no-code - пакет для скрытия кода на языке Pythonno-code - пакет для скрытия кода на языке Python Опубликован инструментарий no-code, позволяющий скрывать код в скриптах на языке Python. Преобразованный скрипт выглядит в редакторах кода как одна строка "# coding: no" без какого-либо иного содержимого, но при этом продолжает запускаться и выполнять прежние функции. Инструментарий создан под впеча ...

Башкирская проза зазвучала на турецком языкеБашкирская проза зазвучала на турецком языке Книга начинается с беседы литераторов Салавата Абузара и Мунира Кунафина, которая задает тон всему изданию. В сборник вошли произведения таких авторов, как Сагит Агиш, Зайнаб Биишева, Анвар Бикчентаев, Мустай Карим и многих других. Переводчик Кубра Генч отметила, что в ходе работы ощутила общность м ...

Пересмотрена структура уникального кода мероприятия элемента госпрограммыПересмотрена структура уникального кода мероприятия элемента госпрограммы Приказ Минфина России от 1 октября 2025 г. N 137н “О внесении изменений в пункт 4 Порядка присвоения уникального кода мероприятия (результата) структурного элемента государственной программы (комплексной программы) Российской Федерации, утвержденного приказом Министерства финансов Российской Федерац ...

С помощью Solar appScreener проверено более 100 млрд строк кода за 10 летС помощью Solar appScreener проверено более 100 млрд строк кода за 10 лет Платформа для комплексной безопасности разработки ПО Solar appScreener, один из первых продуктов ГК «Солар», который... ...

Rust опередил C/C по объёму кода, добавляемого в платформу AndroidRust опередил C/C++ по объёму кода, добавляемого в платформу Android Компания Google подвела итоги использования компонентов на языке Rust в платформе Android. Стратегия по внедрению в Android методов безопасной разработки для нового кода оказалась успешной. В 2025 году впервые доля уязвимостей, вызванных ошибками при работе с памятью, оказалось меньше 20% от общего ...

Владимир Путин утвердил Стратегию повышения безопасности дорожного движения в РФВладимир Путин утвердил Стратегию повышения безопасности дорожного движения в РФ Правительство России должно в течение полугода представить план мероприятий по ее реализации... ...

Утверждена Стратегия повышения безопасности дорожного движения в РоссииУтверждена Стратегия повышения безопасности дорожного движения в России Президент России Владимир Путин одобрил Стратегию безопасности дорожного движения на период до 2030 года с перспективой до 2036 года, сообщила пресс-служба Кремля. Документ нацелен на значительное сокращение числа жертв и травм в результате дорожно-транспортных происшествий. К основным вызовам, риск ...

Разработчики openSUSE развивают zssh, реализацию SSH на языке ZigРазработчики openSUSE развивают zssh, реализацию SSH на языке Zig Разработчики дистрибутива openSUSE представили проект zssh, в котором предпринята попытка реализации протокола SSH на языке Zig. Реализация включает код для разбора протокола и работы со связанными с SSH примитивами, такими как ключи, сертификаты и механизм обмена сообщениями с ssh-agent. Реализации ...

Золото и валюта на 85 млн: Мать и дочь обобрали до нитки с помощью кода альфаЗолото и валюта на 85 млн: Мать и дочь обобрали до нитки с помощью кода «альфа» В Нижнем новгороде мать и дочь передали курьеру-мошеннику золото и сбережения в рублях и долларах. По данным ГУ МВД России по региону, общий ущерб составил почти 85 миллионов рублей. ...

В РАН сообщили о месте слова ж..па в русском языкеВ РАН сообщили о месте слова "ж..па" в русском языке 24 ноября в России с новой силой возник вопрос нецензурных слов в русском языке. СМИ обратили внимание, что при составлении Толкового словаря Институт русского языка имени Виноградова привел 14 корней слов, которые сразу были восприняты как запрещенные к употреблению. Среди прочих фигурировало и сло ...

Филолог Пестова: падежи в русском языке не исчезнутФилолог Пестова: падежи в русском языке не исчезнут Кандидат филологических наук, старший научный сотрудник Института русского языка им. В.В. Виноградова РАН Анна Пестова рассказала, что падежи не исчезнут, несмотря на нежелание россиян склонять топонимы типа Марьино и Внуково. ...

Сколько слов в русском языкеСколько слов в русском языке? Русский язык постоянно развивается: появляются новые слова (неологизмы), заимствования, а устаревшие слова (архаизмы и историзмы) выходят из активного употребления. Сколько слов в русском языке — aif.ru ответила филолог, заведующая кафедрой русского языка Гуманитарного института Северо-Кавказского ф ...

Единый ЦУПИС выбрал доверенный репозиторий Java-библиотек Axiom Repo для повышения безопасности цепочек поставки ПО«Единый ЦУПИС» выбрал доверенный репозиторий Java-библиотек Axiom Repo для повышения безопасности цепочек поставки ПО «Единый ЦУПИС», платежный сервис в регулируемой индустрии развлечений, и Axiom JDK (АО «Аксиом») объявили о внедрении... ...

Volvo создала мгновенно читаемый шрифт для повышения безопасности водителейVolvo создала «мгновенно читаемый» шрифт для повышения безопасности водителей Volvo разработала собственный шрифт для автомобильных интерфейсов, ориентированный на максимальную читаемость и снижение нагрузки на водителя. Новый шрифт получил название Volvo Centum. Он будет использоваться на цифровых экранах всех моделей бренда. ...

Платформа Содружество представила новые сервисы для нетворкинга в сфере финансовой безопасностиПлатформа «Содружество» представила новые сервисы для нетворкинга в сфере финансовой безопасности Международная цифровая платформа «Содружество» (18+) продолжает расширять социальные сервисы для профессионального нетворкинга в сфере финансовой безопасности. Так, в рамках V Международной олимпиады по финансовой безопасности платформа представила новый сервис «Публичный профиль» для школьников и с ...

История о том, как всего 20 байт кода заставили Apple раздаривать фирменные чехлы для iPhone 4История о том, как всего 20 байт кода заставили Apple раздаривать фирменные чехлы для iPhone 4 Думаете, царапающиеся панели в iPhone 17 напугали Apple? Вовсе нет: у компании уже давно выработался иммунитет к собственным промахам. Летом 2010 года Apple оказалась в эпицентре громкого скандала. Новый iPhone 4 — идеальный, весь из стекла и металла — выдал неожиданное: стоило взять его в руку прив ...

Россиянам разъяснили правила православного дресс-кода для посещения храмаРоссиянам разъяснили правила православного дресс-кода для посещения храма В последнее время в обществе возникает много вопросов, связанных с внешним видом верующих людей при посещении храмов. Как правильно одеваться в таких случаях, рассказал Life.ru зампред Всемирного Русского Народного Собора и председатель Общероссийского общественного движения «Россия Православная» Ми ...

Критические уязвимости в React и Next.js приводят к удаленному выполнению кода без аутентификацииКритические уязвимости в React и Next.js приводят к удаленному выполнению кода без аутентификации В React обнаружили серьезную уязвимость CVE-2025-55182, получившую 10 баллов из 10 возможных по шкале CVSS. Она позволяет удаленно выполнить код на сервере без аутентификации. Проблема получила имя React2Shell и вызвала настоящую панику в индустрии, ведь под угрозой находятся миллионы ресурсов. ...

30 лет на сцене: как драмтеатр из ХМАО стал частью культурного кода Нижневартовска. Фото30 лет на сцене: как драмтеатр из ХМАО стал частью культурного кода Нижневартовска. Фото Городской драматический театр Нижневартовска (ХМАО) отмечает 30-летие. На торжественном мероприятии по случаю юбилея глава города Дмитрий Кощенко вручил работникам театра заслуженные награды. Об этом сообщается в telegram-канале мэра. Читать далее ...

Сдвинуть глыбу: Евгений Чебатков  о публике в Екатеринбурге и поиске русского кода в юморе«Сдвинуть глыбу»: Евгений Чебатков — о публике в Екатеринбурге и поиске «русского кода» в юморе Евгений Чебатков является одним из самых популярных стендап-комиков России. Его любят за честность, отсутствие вульгарных тем и интеллектуальный юмор. В интервью URA.RU известный стендапер поделился своими мыслями о работе на сцене, особенностях публики в Екатеринбурге и других городах, поиске «русс ...

Здесь русский дух. 4 примера органичного использования культурного кода в видеоиграх«Здесь русский дух». 4 примера органичного использования культурного кода в видеоиграх В Китае геймеры брали отгулы на работе, чтобы сразиться с демонами из средневекового романа. Президент Франции лично поздравил создателей игры про искаженный Париж. Японские разработчики превратили местных духов в мировой хит. А россияне заново открыли для себя знакомую с детства сказку Пушкина, кот ...

Стилист рассказала о главных трендах новогоднего дресс-кода в сезоне-2025/26Стилист рассказала о главных трендах новогоднего дресс-кода в сезоне-2025/26 В предстоящий новогодний сезон главным трендом праздничной моды становится сочетание нарядности и безусловного комфорта. Смещение от строгого дресс-кода к формуле «нарядно, но удобно» выражается в использовании праздничных фактур с расслабленными силуэтами. Об этом рассказала «Известиям» 8 декабря с ...

Говорим сегодня: о формировании культурного кода«Говорим сегодня»: о формировании культурного кода Особую роль в его проявлении, сохранении и трансляции играет литература. Именно через сюжеты, образы и метафоры художественных произведений мы не только считываем культурный код, но и продолжаем его формировать. Литературное наследие – ключ к пониманию менталитета, поведенческих моделей и духовных о ...

ECHOMSK.SPB.RU Поиск в новостях