Жалғыз есік қағидаты Ұшынан ұшына дейінгі тексеру Нөлден жобалау

Бәрі бір ғана есіктен өтеді.

ДӘСТҮРЛІ операциялық жүйелерде әр компонент ядроға тікелей қосылады; әр байланыс бір қауіп есігі. KALKAN-да мұндай жол жоқ. Іштен сыртқа, сырттан ішке әр сұраныс бір ғана қауіпсіздік көпірінен өтеді.

Қабаттар

Жүктеуден бағдарламаға дейін
бір ғана омыртқа.

Жүктеу

Көп сатылы жүктеу тізбегі; әр кезеңде тексеру.

Ядро

Жады, кестелеу, жабдық. Ешкімді танымайды.

Güvenlik Köprüsü

Бір ғана өту нүктесі. Сүзгі мен есік.

Драйверлер & Жұмыс үстелі

Жабдық пен интерфейс есіктен сөйлейді.

Бағдарламалар

Қолданбалар толық оқшаулануда жұмыс істейді.

Неліктен? Бағдарлама қатесінің бүкіл жүйені құлатпауы үшін. Бұл сәулет қауіпсіздік көпірінің артында не тұрғанын сырттан оқылмайтын етеді — дәл қалағанымыз осы.

Қағидаттар

Үш ереже, шексіз нәтиже.

01 — НӨЛДЕН

Тәуелділік жоқ

Бөгде ядро, бөгде қабық, бөгде пішім жоқ. Әр қабат біздің жобамыз — сондықтан әр қабатты терең білеміз.

02 — ҚАУІПСІЗДІК

Тексерілмеген жұмыс істемейді

Имзаланған БҚ экожүйесінде әр компонент түбінен тексеріледі. Тексеру сәтсіз болса, орындау да сәтсіз болады. Ерекше жағдай жоқ.

03 — ТҰТАС

Тұтас тәжірибе

Ядро, жұмыс үстелі, қолданбалар мен әзірлеу құралдары бір команданың қолынан шықты. Бөлшектер бір-бірін таниды.

Қауіпсіздік тәсілі

Имзаланған БҚ экожүйесі.

Ұшынан ұшына дейінгі тізбек: жүктеуден орындалғанға дейін әр компонент өзінен бұрын келгенімен тексеріледі. Тізбектің кез келген буыны тексерілмесе, жүйе алға жылжымайды.

Жаңа буын криптографиясы: деректеріңіздің бүгінгісіндей ертеңі де қорғалады. Қай әдістердің және қалай пайдаланылатынының мәліметтерін әдейі ашпаймыз.

Оқшаулау: бағдарламалар толық оқшаулануда жұмыс істейді; бағдарлама қатесі жүйеге енбейді.

Ашық бас тарту: қауіпсіздік көпірі бір сұранысты бас тартқанда оны жасырмайды — себебін тіркейді.

жүктеу тізбегі — үлгілік ағынfail-closed

# Әр буын өзінен бұрынғыны тексереді
жүктеу ──→ ядро ──→ көпір ──→ бағдарлама

тексер(алдыңғы_буын)  # ✓ өтті
тексер(өзі)       # ✓ өтті
жалғастыру()

# Тексеру сәтсіз болса:
тоқта()  # жүйе алға жылжымайды, себебі тіркеледі

Сәулетті тікелей көріңіз.

Бұл жобаның далада қалай жұмыс істейтінін өз ортаңызда көрсетейік. Техникалық брифинг өзара құпиялылық келісімімен басталады.

Техникалық брифинг сұраңыз Әзірлеуші платформасы