Skip to content
Sagan

Paper

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

Unreadunread

AI summary

arXiv:2606. 27059v1 Announce Type: new Abstract: We develop a type system for secure information flow where new security levels can be created and inserted into the security lattice dynamically, i.