Basic Security theorem, step 1-If a

Basic Security theorem, step 1
-If a system is initially in a secure state, and every transition of the system satisfies the simple security condition, step 1, and the property, step 1, then every state of the system is secure
-Proof : induct on the number of transitions

ผลลัพธ์ (ไทย) 1:

ทฤษฎีบทพื้นฐานความปลอดภัย ขั้นตอนที่ 1-ถ้าระบบอยู่ในสถานะทางตอนแรก และเปลี่ยนทุกระบบเป็นไปตามเงื่อนไขความปลอดภัยเรื่อง 1 และคุณสมบัติ ขั้นตอน 1 จากนั้นรัฐทุกระบบมีความปลอดภัย-หลักฐาน: induct จำนวนเปลี่ยน

ผลลัพธ์ (ไทย) 2:

ทฤษฎีบทพื้นฐานการรักษาความปลอดภัยขั้นตอนที่ 1
หากระบบเป็นครั้งแรกในรัฐรักษาความปลอดภัยและการเปลี่ยนแปลงของระบบทุกสอดคล้องกับสภาพความปลอดภัยอย่างง่าย, ขั้นตอนที่ 1 และทรัพย์สิน, ขั้นตอนที่ 1 แล้วสถานะของระบบมีความปลอดภัยทุก
-Proof: นำมาอยู่กับจำนวนของการเปลี่ยน

ผลลัพธ์ (ไทย) 3:

ทฤษฎีบทความมั่นคงพื้นฐาน ขั้นตอนที่ 1
- ถ้าระบบเป็นครั้งแรกในที่ปลอดภัย และทุกการเปลี่ยนแปลงของระบบใดตรงกับเงื่อนไข ขั้นตอนที่ 1 การรักษาความปลอดภัยง่ายและคุณสมบัติ ขั้นตอนที่ 1 แล้วทุกสภาพของระบบรักษาความปลอดภัย
- หลักฐาน ให้ดำรงตำแหน่งอย่างเป็นทางการเกี่ยวกับจำนวนของการเปลี่ยน