A mechanism for information flow co

A mechanism for information flow control is one that enforces information flow policies. Several methods to enforce information flow policies have been proposed. Run-time mechanisms that tag data with information flow labels have been employed at the operating system level and at the programming language level. Static program analyses have also been developed that ensure information flows within programs are in accordance with policies.

Both static and dynamic analysis for current programming languages have been developed. However, dynamic analysis techniques cannot observe all execution paths, and therefore cannot be both sound and precise. In order to guarantee noninterference, they either terminate executions that might release sensitive information[5] or they ignore updates that might leak information.[6]

A prominent way to enforce information flow policies in a program is through a security type system: that is, a type system that enforces security properties. In such a sound type system, if a program type-checks, it meets the flow policy and therefore contains no improper information flows.

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

กลไกสำหรับควบคุมการไหลของข้อมูลเป็นหนึ่งที่บังคับใช้นโยบายการไหลข้อมูล ได้รับการเสนอวิธีการต่าง ๆ เพื่อบังคับใช้นโยบายการไหลข้อมูล กลไกขณะที่แท็กข้อมูลป้ายชื่อข้อมูลไหลได้รับการว่าจ้าง ในระดับระบบปฏิบัติการ และระดับภาษาเขียนโปรแกรม โปรแกรมคงวิเคราะห์ได้ยังรับการพัฒนาที่ให้กระแสข้อมูลภายในโปรแกรมจะสอดคล้องกับนโยบายวิเคราะห์ทั้งแบบสถิต และไดนามิกสำหรับภาษาโปรแกรมที่ปัจจุบันได้รับการพัฒนา อย่างไรก็ตาม เทคนิคการวิเคราะห์แบบไดนามิกไม่สามารถสังเกตเส้นทางการดำเนินการทั้งหมด และดังนั้นจึง ไม่สามารถแม่นยำ และเสียง เพื่อที่จะรับประกันไม่เอาเปรียบ พวกเขายุติ executions ที่อาจเปิดเผยข้อมูลสำคัญ [5] อย่างใดอย่างหนึ่ง หรือละเว้นการปรับปรุงที่อาจมีการรั่วไหลข้อมูล [6]วิธีโดดเด่นในการบังคับใช้นโยบายการไหลของข้อมูลในโปรแกรมจะผ่านระบบรักษาความปลอดภัยชนิด: คือ ระบบชนิดที่บังคับใช้คุณสมบัติความปลอดภัย ในกรณีเสียงชนิด ถ้าโปรแกรมตรวจสอบประเภท มันตรงกับนโยบายขั้นตอน และจึง ประกอบด้วยกระแสข้อมูลที่ไม่เหมาะสมไม่

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

กลไกการควบคุมการไหลของข้อมูลเป็นหนึ่งที่บังคับใช้นโยบายการไหลของข้อมูล มีหลายวิธีเพื่อบังคับใช้นโยบายการไหลของข้อมูลได้รับการเสนอ เวลาในการรันข้อมูลแท็กด้วยกลไกที่ฉลากการไหลของข้อมูลมีการจ้างงานในระดับระบบปฏิบัติการและภาษาโปรแกรมที่ระดับ การวิเคราะห์แบบคงที่ได้รับการพัฒนาโปรแกรมที่ให้ข้อมูลที่ไหลภายในโปรแกรมให้สอดคล้องกับนโยบายการวิเคราะห์แบบคงที่และแบบไดนามิกสำหรับการเขียนโปรแกรมภาษาทั้งในปัจจุบันได้มีการพัฒนา อย่างไรก็ตาม เทคนิคการวิเคราะห์แบบไดนามิกไม่สามารถสังเกตเส้นทางการดำเนินการทั้งหมดและดังนั้นจึงไม่สามารถเป็นทั้งเสียงและแม่นยำ เพื่อรับรองการไม่รุกราน พวกเขาให้ยุติการประหารชีวิตที่อาจปล่อยข้อมูล [ 5 ] หรือพวกเขาไม่สนใจที่มีการปรับปรุงที่อาจรั่วไหลข้อมูล [ 6 ]เป็นวิธีที่โดดเด่นในการบังคับใช้นโยบายของการไหลของข้อมูลในโปรแกรมผ่านระบบประเภทการรักษาความปลอดภัย : นั่นคือ ประเภทของระบบที่ครอบคลุมคุณสมบัติการรักษาความปลอดภัย เช่นประเภทของระบบเสียง ถ้าโปรแกรมพิมพ์เช็ค เป็นไปตามนโยบาย และดังนั้นจึง มีการไหลของกระแสข้อมูลที่ไม่เหมาะสม