Type-based information flow analysis for $π$-calculus with a dynamically extensible security lattice

本文提出了一种基于类型系统的安全信息流分析方法，用于处理动态可扩展安全格（security lattice）。该方法扩展了Kobayashi基于类型的π-演算安全信息流分析，π-演算是一种支持顺序和并发计算的表达性模型，具有简洁的语法、基于

历史摘要 · 未重新核验 · arXiv cs.CR