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

Computer Science > Cryptography and Security [Submitted on 25 Jun 2026] Type-based information flow analysis for π-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 execution of a system. Our system is formalized by extending Kobayashi's type-based secure information flow analysis for Milner's pi-calculus, which is one of the most expressive models (or "languages") supporting both sequential and concurrent computations, with concise syntax, reduction-based semantics, and bisimulation equivalence as a robust formalization of secrecy as non-interference. The development required careful treatment of extensions of lattices themselves as well as deliberate generalization from the simple 2-element lattice (consisting of only High and Low) in the original system. Comments: 56 pages Subjects: Cryptography and Security (cs.CR) Cite as: arXiv:2606.27059 [cs.CR]   (or arXiv:2606.27059v1 [cs.CR] for this version)   https://doi.org/10.48550/arXiv.2606.27059 Focus to learn more Submission history From: Yukihiro Oda [view email] [v1] Thu, 25 Jun 2026 14:03:51 UTC (69 KB) Access Paper: view license Current browse context: cs.CR < prev   |   next > new | recent | 2026-06 Change to browse by: cs References & Citations NASA ADS Google Scholar Semantic Scholar Export BibTeX Citation Bookmark Bibliographic Tools Bibliographic and Citation Tools Bibliographic Explorer Toggle Bibliographic Explorer (What is the Explorer?) Connected Papers Toggle Connected Papers (What is Connected Papers?) Litmaps Toggle Litmaps (What is Litmaps?) scite.ai Toggle scite Smart Citations (What are Smart Citations?) Code, Data, Media Demos Related Papers About arXivLabs Which authors of this paper are endorsers? | Disable MathJax (What is MathJax?)