本文提出了一种基于类型系统的安全信息流分析方法，用于处理动态可扩展安全格（security lattice）。该方法扩展了Kobayashi基于类型的π-演算安全信息流分析，π-演算是一种支持顺序和并发计算的表达性模型，具有简洁的语法、基于归约的语义和双模拟等价作为机密性的鲁棒形式化（非干涉性）。核心贡献在于允许在系统执行过程中动态创建新的安全级别并将其插入安全格中，而原始系统仅考虑简单的二元格（仅包含High和Low）。文章详细处理了格本身的扩展，并进行了刻意推广。实验部分通过形式化证明验证了该类型系统的正确性，确保信息流安全。适合对并发系统信息流安全、类型系统、π-演算感兴趣的研究人员阅读。