فينتون سيصدره البيانات مارك الآلة

فينتون خلق مجردا آلة تسمى البيانات مارك آلة لدراسة التعامل مع تدفقات ضمنيه في وقت التنفيذ. لكل متغير في هذا الإله كان منتسبا الى الامن الطبقة ، او علامة. فينتون تضمنت ايضا علامة لبرنامج المضاد) من القانون الجنائي).

ادراج البتروكيماويات فينتون يسمح لعلاج ضمنيه التدفقات التدفقات صريحة ، لأن فروع هي مجرد احالات الى الحاسوب الشخصي. وحدد دلاليه للبيانات مارك الآلة. في المناقشه التالية ، فانتقل يعني ان الامر لم ينفذ ، ودفع (خ ، خ) وسيلة لدفع المتغير العاشر واجهزتها الامنية من الدرجة العاشرة على البرنامج كومة ، والملوثات العضويه الثابتة (خ ، خ) وسيلة لبوب وأعلى قيمة الامن الطبقة كومة من البرنامج ويقوم بها الى العاشر والعاشر ، على التوالي.

فينتون حدد خمسة التعليمات. العلاقات بين تنفيذ التعليمات والطبقات من المتغيرات على النحو التالي.

الزياده التعليمات

  س : = س + 1

تعادل

  اذا البتروكيماويات <= x ثم x : = س + 1 ؛ آخر القفز

المشروط التعليمات
```
  اذا س = 0 ثم جوتو ن آخر العاشر : 1 = س 
```
تعادل
```
  اذا س = 0 ثم (الدفع) من القانون الجنائي ، القانون الجنائي) ؛ = Lub الحاسوب الشخصي (الحاسوب الشخصي ، العاشر) ؛ القانون الجنائي : = ن ؛) آخر (اذا البتروكيماويات <= س ثم (س : س = 1 ؛) آخر فانتقل) 
```
هذه الفروع ، وتدفع البتروكيماويات وأمنها الطبقة على البرنامج كومة. (كما هي العادة ، فان القانون الجنائى بحيث انه عندما ازداد ومن مفرقع ، والامر بعد البيان اذا هو نفذ.) وهذا يجسد القانون الجنائي الذي يتضمن معلومات من العاشر) على وجه التحديد ، هو ان × 0) في حين عقب جوتو.
عودة
```
  يعود ادراجه 
```
تعادل
```
  البوب) من القانون الجنائي ، القانون الجنائي) ؛ 
```
عودة الى السيطرة على هذا البيان فى اعقاب بيان آخر اذا. بسبب تدفق للمراقبة من شأنه ان وصلنا الى هذا البيان ، فان القانون الجنائى لم يعد يحتوي على معلومات عن العاشر ، والطبقة القديمة لا يمكن استعادتهما.
الفرع التعليمات
```
  اذا كان 'x = 0 ثم جوتو ن آخر العاشر : 1 = س 
```
تعادل
```
  اذا س = 0 ثم اذا (س <= (ثم من القانون الجنائي من القانون الجنائي : = ن ؛) آخر فانتقل) آخر (اذا البتروكيماويات <= س ثم (س : س = 1 ؛) آخر فانتقل) 
```
هذه الفروع دون انقاذ على كومة من القانون الجنائى. واذا كان فرع يحدث ، البتروكيماويات هو في اعلى درجة من الأمن المشروط المتغير العاشر ، وحتى العاشر من اضافة المعلومات الى الحاسوب الشخصي لا يغير من القانون الجنائي امن الطبقة.
توقف التعليمات
```
  توقف 
```
تعادل
```
  اذا كان برنامج كومة فارغه ثم وقف التنفيذ 
```
البرنامج يجري كومة فارغه يضمن ان المستخدم لا يستطيع الحصول على المعلومات من خلال النظر الى البرنامج بعد كومة البرنامج قد اوقف (على سبيل المثال ، لتحديد ما اذا كان البيان الذي تم اتخاذها الماضي).

مثلا : النظر فيما يلي البرنامج ، في العاشر البداية التي تحتوي على 0 أو 1.

  (1).  اذا س = 0 ثم جوتو 4 آخر العاشر : 1 = 2 س.  اذا z = 0 ثم جوتو آخر 6 ض : ض = 1 3.  وقف 4.  ض : ض + 1 = 5.  عودة 6.  Y : = y + 1 7.  يعود ادراجه

هذا البرنامج نسخ قيمة من العاشر إلى ي. لنفترض أن س = 1 في البداية. ويوضح الجدول التالي محتويات الذاكرة ، أمن الدرجة من القانون الجنائي في كل خطوة من خطوات ، وما يقابلها من شهادة الفحص.

X	Y	Z	البتروكيماويات	البتروكيماويات	كومة	شهادة فحص
1	0	0	1	منخفض
0	0	0	2	منخفض		منخفض <= س
0	0	0	6	X	(3) ، منخفضه)
0	1	0	7	X	(3) ، منخفضه)	البتروكيماويات <y =
0	1	0	3	منخفض

فينتون للاله مقابض الاخطاء من خلال تجاهل لهم. افترض انه ، في البرنامج اعلاه ، y <= العاشر. ثم في الخطوة الخامسة ، والشهاده الشيك يفشل (لأن القانون الجنائي = س). بذلك ، تكون الاحاله طافر ، وفي نهاية y = 0 بصرف النظر عن قيمة العاشر. ولكن اذا كانت الآلة تقارير الاخطاء ، رسالة الخطأ إعلام المستخدمين من فشل التحقق من الشهاده يعنى ان البرنامج قد حاولت تنفيذ الخطوة 6. انها يمكن ان تفعل ذلك الا اذا اتخذت خطوة في فرع 2 ، مما يعني ان z = 0. اذا z = 0 ، ثم فرع آخر من البيان (1) كان يمكن له ان يتخذ ، مما يعني أن س = 0 في البداية.

لمنع هذا النوع من الخصم ، فينتون للتواصل الآلة المنفذة في مواجهة الاخطاء ، لكنه يتجاهل البيان من شأنها ان تسبب الانتهاك. هذا استوفى الشروط. اجهاض البرنامج ، او خلق استثناء مرئي للمستخدم ، من شأنه ان يتسبب ايضا فى حدوث تدفق المعلومات الى ضد السياسة.

المشكلة مع الابلاغ عن الاخطاء هو ان يكون المستخدم مع انخفاض التخليص من المعلومات التي يمكن ان تسبب الخطأ استنتاج المعلومات من معرفة إن كان هناك خطأ. اذا كان الخطأ هو تسجيل دخولك في هذا السبيل ان الادخالات في سجل ، والعمل من قطع الاشجار ، واضحة الا لمن يتاح له ما يكفي من ازالتها ، ثم لم يحدث انتهاك للسياسة. ولكن اذا كان تطهير للمستخدم عالية بما فيه الكفايه ، ثم يستطيع المستخدم رؤية الخطأ دون انتهاك السياسة. وهكذا ، والخطأ يمكن تسجيل الدخول لمدير النظام (او المستخدم مناسبة أخرى) ، حتى لو كان لا يمكن عرضها على المستخدم الذي يدير البرنامج. تعليقات مماثلة تنطبق على اي استثناء العمل ، مثل انهاء الشاذ.

هذا هو مقال اضافها تعزيز فريد