Printsiplar, siyosatlar va himoya Dasturiy ta'minot xavfsizligi


struct BankAccount { 2 char



Download 3,9 Mb.
Pdf ko'rish
bet18/55
Sana07.04.2022
Hajmi3,9 Mb.
#534884
1   ...   14   15   16   17   18   19   20   21   ...   55
Bog'liq
1. M.Payer. Software Security

struct
BankAccount { 2
char
acctID[3];
int
balansi; 3 } b; 4
b.balans = 0; 5
belgi
*id = &(b.acctID);
6 //
Instrumentation: do'kon chegaralari
7 search(&id)->bse = &(b.acctID); 8
qidirish(&id)->bnd = &(b.acctID)+3; 9 //
--
17 //
Instrumentation: chek chegaralari
18
check(p, p_bse, p_bnd); 19 //
--
20 *p = ch;
21 p++; 22 }
while
(ch);
39
4 Xotira va tur xavfsizligi
10
belgi
*p = id; //
mahalliy, registrda qoladi
11 //
Instrumentation: ma'lumotni tarqatish
12
char
*p_bse = lookup(&id)->bse; 13
belgi
*p_bnd =
qidiruv(&id)->bnd; 14 //
--
15
do
{ 16
char
ch =
readchar();
Ajratilgan xotira chegaralarni qaytarish uchun asbob-uskunalar bilan jihozlangan
(har bir ko'rsatkich asosida ajratilgan). Ko'rsatkichni belgilash chegaralarni kengaytiradi.
Machine Translated by Google


Har bir ajratish ob'ekt xotirasi sohasidagi versiyani yo'q qilish uchun
asbob-uskunalar bilan jihozlangan, bu esa ko'rsatgich va ob'ekt
versiyasining sinxronlashtirilmasligiga olib keladi. Belgilangandan so'ng,
CETS ko'rsatgich versiyasi xotira ob'ekti versiyasiga teng yoki yo'qligini tekshiradi.
CETS xotira ob'ektini versiyalashdan foydalanadi. Kod asbobi har bir ajratilgan
xotira maydoniga noyob versiyani ajratadi va ushbu versiyani ko'rsatgich
metama'lumotlarida ham saqlaydi.
C++ dasturi turi xavfsiz bo'lishi mumkin, lekin xotira uchun xavfsiz emas, masalan,
Turi xavfsizligi bo'yicha ko'plab tadqiqotlarga qaramay, C/C++ turi xavfsiz
bo'lmagan tillar mashhur bo'lib qolmoqda. E'tibor bering, to'liq turdagi
xavfsizlik xotira xavfsizligini anglatmaydi. Ikki xususiyat bir-biridan farq qiladi.
Asboblar va metama'lumotlar unumdorlik, xotira yuki va
apparat kengaytmalari bo'yicha turli xil kelishuvlar bilan
amalga oshirilishi mumkin [5,15,20].
(Robin Milner)
To'g'ri yozilgan dasturlar "noto'g'ri keta olmaydi".
40
4 Xotira va tur xavfsizligi

Download 3,9 Mb.

Do'stlaringiz bilan baham:
1   ...   14   15   16   17   18   19   20   21   ...   55




Ma'lumotlar bazasi mualliflik huquqi bilan himoyalangan ©hozir.org 2024
ma'muriyatiga murojaat qiling

kiriting | ro'yxatdan o'tish
    Bosh sahifa
юртда тантана
Боғда битган
Бугун юртда
Эшитганлар жилманглар
Эшитмадим деманглар
битган бодомлар
Yangiariq tumani
qitish marakazi
Raqamli texnologiyalar
ilishida muhokamadan
tasdiqqa tavsiya
tavsiya etilgan
iqtisodiyot kafedrasi
steiermarkischen landesregierung
asarlaringizni yuboring
o'zingizning asarlaringizni
Iltimos faqat
faqat o'zingizning
steierm rkischen
landesregierung fachabteilung
rkischen landesregierung
hamshira loyihasi
loyihasi mavsum
faolyatining oqibatlari
asosiy adabiyotlar
fakulteti ahborot
ahborot havfsizligi
havfsizligi kafedrasi
fanidan bo’yicha
fakulteti iqtisodiyot
boshqaruv fakulteti
chiqarishda boshqaruv
ishlab chiqarishda
iqtisodiyot fakultet
multiservis tarmoqlari
fanidan asosiy
Uzbek fanidan
mavzulari potok
asosidagi multiservis
'aliyyil a'ziym
billahil 'aliyyil
illaa billahil
quvvata illaa
falah' deganida
Kompyuter savodxonligi
bo’yicha mustaqil
'alal falah'
Hayya 'alal
'alas soloh
Hayya 'alas
mavsum boyicha


yuklab olish