A.6 關于數據流控制

一個數據流可以看成是變量Y與變量X的因果關系。在任何含有變量X和變量Y的函數中，如果舊狀態下變量Y的值的有關數據能通過新狀態下變量X值的有關數據推斷出來，則認為有由變量Y到變量X的數據流（寫成Y→X）。數據流總是從舊狀態的變量流向新狀態的變量。

數據流控制是一種信息安全控制機制。數據流控制安全策略規則可以歸納為：在系統中，如果允許數據從實體A流到實體B，那么B的控制級別必須支配A的控制級別。按數據流控制安全策略對數據流進行控制，可以防止數據的不安全的流動；按數據流控制安全策略規則對信息系統中的所有數據流進行分析，找出不符合安全策略規則的數據流，并對不符和安全規則的數據流進行修改，可以達到減少甚至消除隱蔽信道的目標。