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