Basis security theorem.If a system

Basis security theorem.
If a system is initially in a secure state,and every transition of the system satisfies the property,step1,then every state of the system is secure.

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

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

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

ทฤษฎีบทพื้นฐานการรักษาความปลอดภัย.
หากระบบเป็นครั้งแรกในรัฐรักษาความปลอดภัยและการเปลี่ยนแปลงของระบบทุก satisfies ทรัพย์สิน step1 แล้วสถานะของระบบทุกมีความปลอดภัย

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

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