：以通信顺序进程为语法基础，结合信息安全模型对安全特性的约束，介绍并分析了几种针对信息流安全特性的语义描述，并提出了信息流安全的单向特性，对其进行了相关安全特性的证明，以期对正确标识合法信息流问题进行探讨，用于正确区分存在的不舍法信息流，作为解决隐通道问题的理论依据，从理论分析的角度，尝试解决信息安全的根本性问题。