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 Simple security condition property,step1,then every state of the system is secure.

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

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

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

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

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

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