Type-Based Information Flow for π-Calculus with a Dynamically Extensible Security Lattice

arXiv·low signal

Oda and Sumii develop a secure-information-flow type system where new security levels can be created and inserted into the lattice dynamically — even mid-execution — by extending Kobayashi's type-based analysis for Milner's π-calculus. This loosens the usual fixed-lattice assumption in static information-flow security. A theoretical advance for languages and concurrent systems needing runtime-evolving security policies.