Astra Linux (Ukrainian Wikipedia)

Центр верификации ОС Linux. Дедуктивная верификация модулей ядра. Linux Deductive Verification. Архів оригіналу за 22 лютого 2020. Процитовано 30 листопада 2020.

mathnet.ru (Global: 8,689^th place; Ukrainian: 3,638^th place)

П. Н. Девянин, “Условия безопасности информационных потоков по памяти в рамках МРОСЛ ДП-модели”, ПДМ. Приложение, 2014, № 7, 82–85 (PDF). www.mathnet.ru. Процитовано 29 вересня 2015.

minsvyaz.ru (Global: low place; Ukrainian: low place)

reestr.minsvyaz.ru

Включена в Единый реестр российских программ…. Архів оригіналу за 29 вересня 2020. Процитовано 30 листопада 2020. [Архівовано 2020-09-29 у Wayback Machine.]

opennet.ru (Global: low place; Ukrainian: 1,031^st place)

OpenNews: Минобороны РФ планирует перевести все служебные компьютеры на Astra Linux. Архів оригіналу за 28 жовтня 2020. Процитовано 30 листопада 2020.

realnoevremya.ru (Global: low place; Ukrainian: 6,607^th place)

Минобороны переведет компьютеры с Windows на Astra Linux — Реальное время. Архів оригіналу за 14 січня 2018. Процитовано 30 листопада 2020.

rusbitech.ru (Global: low place; Ukrainian: low place)

Продукция — Astra Linux Common Edition | ОАО «НПО РусБИТех». Архів оригіналу за 10 травня 2021. Процитовано 30 листопада 2020.
Операционная система «Astra Linux» заработала на процессорах «Эльбрус». 27 лютого 2018. Архів оригіналу за 27 лютого 2018. Процитовано 19 червня 2020.

spbit.ru (Global: low place; Ukrainian: low place)

Крым импортозамещается. «РусБИТех» и «Крымтехнологии» приступили к сотрудничеству. Архів оригіналу за 2 вересня 2017. Процитовано 30 листопада 2020.

web.archive.org (Global: 1^st place; Ukrainian: 1^st place)

Звезда по имени Linux: почему «военные» ОС прочнее. Архів оригіналу за 12 січня 2017. Процитовано 30 листопада 2020.
Получен сертификат ФСБ на Astra Linux. Архів оригіналу за 14 липня 2014. Процитовано 6 липня 2014. [Архівовано 2014-07-14 у Wayback Machine.]
Включена в Единый реестр российских программ…. Архів оригіналу за 29 вересня 2020. Процитовано 30 листопада 2020. [Архівовано 2020-09-29 у Wayback Machine.]
Минобороны переведет компьютеры с Windows на Astra Linux — Реальное время. Архів оригіналу за 14 січня 2018. Процитовано 30 листопада 2020.
Звезда по имени Linux: почему «военные» ОС прочнее — Компьютерра-Онлайн. Архів оригіналу за 12 січня 2017. Процитовано 30 листопада 2020.
Исходники ядра — AstraLinux Wiki. Архів оригіналу за 9 травня 2018. Процитовано 19 квітня 2022. [Архівовано 2018-05-09 у Wayback Machine.]
ГК Astra Linux расширяет сотрудничество с The Linux Foundation — CNews. Архів оригіналу за 28 липня 2020. Процитовано 30 листопада 2020.
The Document Foundation welcomes RusBITech in the project Advisory Board — The Document Foundation Blog. Архів оригіналу за 8 листопада 2020. Процитовано 30 листопада 2020.
Основные компоненты операционной системы. Архів оригіналу за 5 березня 2018. Процитовано 4 березня 2018. [Архівовано 2018-03-05 у Wayback Machine.]
«Мой офис» укоренился в Linux для работы с совершенно секретными документами — CNews. Архів оригіналу за 19 вересня 2019. Процитовано 30 листопада 2020.
Архивированная копия. Архів оригіналу за 27 лютого 2018. Процитовано 27 лютого 2018. [Архівовано 2018-02-27 у Wayback Machine.]
Крым импортозамещается. «РусБИТех» и «Крымтехнологии» приступили к сотрудничеству. Архів оригіналу за 2 вересня 2017. Процитовано 30 листопада 2020.
Крым может стать примером для всей России по стратегически важному вопросу | иNтерМонитор.ру. Архів оригіналу за 28 жовтня 2020. Процитовано 30 листопада 2020.
РусБИТех и Huawei подписали соглашение о сотрудничестве. Архів оригіналу за 30 листопада 2020. Процитовано 30 листопада 2020.
Стійковий сервер Huawei RH2288H V3 [Архівовано 6 липня 2018 у Wayback Machine.], маркований як сумісний з Astra Linux
Российская ОС Astra Linux внедрена на Тяньваньской АЭС — CNews. Архів оригіналу за 28 липня 2020. Процитовано 30 листопада 2020.
Военные сказали Windows «прощай» | Статьи | Известия. Архів оригіналу за 26 жовтня 2020. Процитовано 30 листопада 2020.
OpenNews: Минобороны РФ планирует перевести все служебные компьютеры на Astra Linux. Архів оригіналу за 28 жовтня 2020. Процитовано 30 листопада 2020.
Astra Linux поставят на смартфоны — Газета Коммерсантъ № 100 (6580) от 13.06.2019. Архів оригіналу за 27 жовтня 2020. Процитовано 30 листопада 2020.
Продукция — Astra Linux Common Edition | ОАО «НПО РусБИТех». Архів оригіналу за 10 травня 2021. Процитовано 30 листопада 2020.
Назначение. Архів оригіналу за 17 липня 2014. Процитовано 20 липня 2014. [Архівовано 2014-07-17 у Wayback Machine.]
Операционная система «Astra Linux» заработала на процессорах «Эльбрус». 27 лютого 2018. Архів оригіналу за 27 лютого 2018. Процитовано 19 червня 2020.
Версия 1.4 [Архівовано 22 травня 2018 у Wayback Machine.](рос.)
Завершён инспекционный контроль версии 1.5 релиза "Смоленск" операционной системы специального назначения "Astra Linux Special Edition". astra-linux.com. Архів оригіналу за 8 травня 2016. Процитовано 20 квітня 2016. [Архівовано 2016-05-08 у Wayback Machine.]
Вышла фиксированная версия 1.11 релиза "Орёл". astra-linux.com. Архів оригіналу за 21 квітня 2016. Процитовано 1 квітня 2016. [Архівовано 2016-04-21 у Wayback Machine.]
Изменения в версии 1.11. astra-linux.com. Архів оригіналу за 22 квітня 2016. Процитовано 1 квітня 2016. [Архівовано 2016-04-22 у Wayback Machine.]
Патент на изобретение №2525481. www1.fips.ru. Архів оригіналу за 29 листопада 2016. Процитовано 29 вересня 2015.
«Хакер» — Русский бронированный Debian. Как устроена новая модель управления доступом в Astra Linux SE. Архів оригіналу за 8 грудня 2015. Процитовано 5 грудня 2015. [Архівовано 2015-12-08 у Wayback Machine.]
ОБЗОРНЫЕ ЛЕКЦИИ ПО МОДЕЛЯМ БЕЗОПАСНОСТИ КОМПЬЮТЕРНЫХ СИСТЕМ — тема научной статьи по общим и комплексным проблемам технических и прикладных наук и отраслей народного хозяйства…. Архів оригіналу за 13 серпня 2020. Процитовано 30 листопада 2020.
Центр верификации ОС Linux. Дедуктивная верификация модулей ядра. Linux Deductive Verification. Архів оригіналу за 22 лютого 2020. Процитовано 30 листопада 2020.
И. Щепетков. Rodin — платформа для разработки и верификации моделей на Event-B. Архівовано з джерела 4 грудня 2020. Процитовано 30 листопада 2020.
Ключевые особенности. Архів оригіналу за 16 липня 2014. Процитовано 18 липня 2014. [Архівовано 2014-07-16 у Wayback Machine.]
Рекомендации по параметрам аппаратной платформы для Astra Linux - Справочный центр - Справочный центр Astra Linux. wiki.astralinux.ru. Архів оригіналу за 4 грудня 2020. Процитовано 21 лютого 2020.

Astra Linux (Ukrainian Wikipedia)

astra-linux.com (Global: low place; Ukrainian: low place)

astralinux.com (Global: low place; Ukrainian: low place)

astralinux.ru (Global: low place; Ukrainian: low place)

astralinux.ru

wiki.astralinux.ru

cnews.ru (Global: 3,974th place; Ukrainian: 1,462nd place)

cnews.ru

corp.cnews.ru

computerra.ru (Global: low place; Ukrainian: 2,984th place)

old.computerra.ru

cyberleninka.ru (Global: 527th place; Ukrainian: 274th place)

debian.org (Global: 3,258th place; Ukrainian: 2,278th place)

wiki.debian.org

documentfoundation.org (Global: low place; Ukrainian: low place)

blog.documentfoundation.org

listarchives.documentfoundation.org

fips.ru (Global: low place; Ukrainian: low place)

www1.fips.ru

huawei.com (Global: low place; Ukrainian: 5,555th place)

e.huawei.com

intermonitor.ru (Global: low place; Ukrainian: low place)

ispras.ru (Global: low place; Ukrainian: low place)

iz.ru (Global: 1,622nd place; Ukrainian: 1,110th place)

kommersant.ru (Global: 200th place; Ukrainian: 142nd place)

linuxtesting.ru (Global: low place; Ukrainian: low place)

mathnet.ru (Global: 8,689th place; Ukrainian: 3,638th place)

minsvyaz.ru (Global: low place; Ukrainian: low place)

reestr.minsvyaz.ru

opennet.ru (Global: low place; Ukrainian: 1,031st place)

realnoevremya.ru (Global: low place; Ukrainian: 6,607th place)

rusbitech.ru (Global: low place; Ukrainian: low place)

spbit.ru (Global: low place; Ukrainian: low place)

web.archive.org (Global: 1st place; Ukrainian: 1st place)

cnews.ru (Global: 3,974^th place; Ukrainian: 1,462^nd place)

computerra.ru (Global: low place; Ukrainian: 2,984^th place)

cyberleninka.ru (Global: 527^th place; Ukrainian: 274^th place)

debian.org (Global: 3,258^th place; Ukrainian: 2,278^th place)

huawei.com (Global: low place; Ukrainian: 5,555^th place)

iz.ru (Global: 1,622^nd place; Ukrainian: 1,110^th place)

kommersant.ru (Global: 200^th place; Ukrainian: 142^nd place)

mathnet.ru (Global: 8,689^th place; Ukrainian: 3,638^th place)

opennet.ru (Global: low place; Ukrainian: 1,031^st place)

realnoevremya.ru (Global: low place; Ukrainian: 6,607^th place)

web.archive.org (Global: 1^st place; Ukrainian: 1^st place)