：以通信順序進程為語法基礎，結合信息安全模型對安全特性的約束，介紹并分析了幾種針對信息流安全特性的語義描述，并提出了信息流安全的單向特性，對其進行了相關安全特性的證明，以期對正確標識合法信息流問題進行探討，用于正確區(qū)分存在的不舍法信息流，作為解決隱通道問題的理論依據(jù)，從理論分析的角度，嘗試解決信息安全的根本性問題。