Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi

6.2 Tilga asoslangan xavfsizlik
Dastlabki misollar - funktsional dasturlash tillari bo'lib, ular
xotira xavfsizligi buzilishidan va ma'lumotlardan himoya qiladi
6 Mudofaa strategiyasi
Tilga asoslangan xavfsizlik tadqiqotning ancha yangi sohasi boÿlib, u
dasturlash tilining bir qismi sifatida xavfsizlik xususiyatlarini tatbiq
etishga , dasturchini xato qilishdan himoya qilishga qaratilgan.
Dasturlash tillari har doim tuzilmaning qandaydir shakllarini qo'llagan
va shu bilan ma'lum turdagi xatolardan himoyalangan. Tilga
asoslangan xavfsizlik xavfsizlik jihatlari haqida fikr yuritishni aniq qiladi
va tillarni xavfsizlikka xos tarzda ishlab chiqishga imkon beradi.
59
Machine Translated by Google

---

Xavfsiz imperativ dasturlash tilining zamonaviy namunasi Rustdir.
Rust egalik huquqini kuzatish va qattiq turdagi tizim orqali xotira
xavfsizligi va ma'lumotlar poygasi erkinligini ta'minlaydi.
Rust-dagi aniq egalik bir vaqtning o'zida o'zgartirishni taqiqlaydi va
kompilyatorga kompilyatsiya paytida xotira egaligini tekshirish imkonini
beradi. Ko'pgina turdagi tekshiruvlar kompilyatsiyaning bir qismi sifatida
statik ravishda amalga oshiriladi (va kompilyator yuzaga kelishi mumkin
bo'lgan muammolar haqida batafsil ogohlantirishlar berishi mumkin)
minimal ish vaqti tekshiruvlari bilan. Rust kuchli xotira xavfsizligini,
turdagi xavfsizlikni va ma'lumotlar poygasi erkinligini kafolatlaydi,
chunki dasturchi kod yozishda barcha egalik farazlarini aniq ko'rsatishi
kerak, chunki keskin o'rganish egri chizig'i evaziga arzimas ishlash xarajatlari .
Dasturiy ta'minotni sinovdan o'tkazish ishlab chiquvchilarga xatolarni zarar
etkazishdan oldin aniqlash imkonini beradi. Bu jarayon dasturiy ta'minotni
ishlab chiqishga ortogonal bo'lib , agar to'g'ri bajarilgan bo'lsa, dasturiy
ta'minotni uzluksiz sinovdan o'tkazish uchun ishlab chiqish jarayoniga
birlashtiriladi. Sinov - bu kamchiliklarni topish uchun dasturni bajarish
jarayoni . Xato - bu kuzatilgan xatti-harakatlar va belgilangan xatti-harakatlar
o'rtasidagi og'ish, ya'ni funktsional xususiyatning asosiy spetsifikatsiyasining buzilishi.
poygalar. Funktsional tillar ma'lumotlarga havolalarni kuzatib boradi va
to'g'ridan-to'g'ri ko'rsatgich bilan manipulyatsiyani qo'llab-quvvatlaydi.
Ortogonal ravishda, o'zgaruvchilar tayinlash vaqtida faqat bir marta yozilishi
mumkin, chunki ma'lumotlar poygasidan himoyalanadi, chunki ma'lumotlarni
bir vaqtning o'zida o'zgartirish mumkin emas. Java mashhur dasturlash tili
bo'lib, u dasturlash tili va uning ish vaqti tizimining bir qismi sifatida turdagi
xavfsizlik va xotira xavfsizligini ta'minlaydi.
60
6 Mudofaa strategiyasi