An analysis performed on a nonproce

An analysis performed on a nonprocedural, formal, system
specification that locates potential flows of information between
system variables. By assigning security levels to the variables,
the analysis can find some types of covert channels.

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

การวิเคราะห์กระทำใน nonprocedural ทาง ระบบ
ข้อมูลจำเพาะที่ตั้งเป็นกระแสของข้อมูลระหว่าง
ตัวแปรของระบบ โดยกำหนดระดับความปลอดภัยให้กับตัวแปร,
วิเคราะห์สามารถค้นหาช่องแอบแฝงบางชนิดได้

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

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

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

การวิเคราะห์ที่แสดงใน nonprocedural , อย่างเป็นทางการ , ระบบ
สเปคที่ตั้งไหลศักยภาพของข้อมูลระหว่างตัวแปร
ระบบ โดยการกำหนดระดับความปลอดภัยให้กับตัวแปร
การวิเคราะห์สามารถค้นหาบางประเภทของ

ช่องลับ