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 , อย่างเป็นทางการ , ระบบ
สเปคที่ตั้งไหลศักยภาพของข้อมูลระหว่างตัวแปร
ระบบ โดยการกำหนดระดับความปลอดภัยให้กับตัวแปร
การวิเคราะห์สามารถค้นหาบางชนิดแอบแฝง
ช่องทาง .