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