We have adopted type refinement or dataflow analysis to static checking of information flow security of programs for three simple sequential or parallal compuing modules.

• 我们针对三种简单的串行和并行计算模型，分别用类型细化方法和数据流分析方法进行了程序信息流安全的静态检查的研究。