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

Yukihiro Oda, Eijiro Sumii

We develop a type system for secure information flow where new security levels can be created and inserted into the security lattice dynamically, i.e., even in the middle of an exe…