A mathematical proof of consistency

A mathematical proof of consistency between a specification
for system security and the implementation of that specification.
(See: correctness, formal specification.)

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

พิสูจน์ทางคณิตศาสตร์ของความสอดคล้องระหว่างข้อมูลจำเพาะสำหรับระบบความปลอดภัยและการใช้งานข้อมูลจำเพาะที่(ดู: ความถูกต้อง ข้อกำหนดอย่างเป็นทางการ)

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

พิสูจน์ทางคณิตศาสตร์ของความสอดคล้องระหว่างข้อกำหนด
สำหรับระบบรักษาความปลอดภัยและการดำเนินงานของสเปคว่า.
(ดู: ถูกต้องสเปคอย่างเป็นทางการ.)

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

คณิตศาสตร์และหลักฐานของความสอดคล้องระหว่างข้อมูล
สำหรับระบบรักษาความปลอดภัยและการใช้งานที่กำหนด .
( ดู : ความถูกต้อง , สเปค อย่างเป็นทางการ )