The slam calculus: Programming with secrecy and integrity,

· 1998 · arXiv 8946.268976

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

read on arXiv browse 1 citing papers

representative citing papers

cs.CR · 2026-06-25 · unverdicted · novelty 7.0

Extended type-based information flow analysis for pi-calculus to support dynamically extensible security lattices.

Showing 1 of 1 citing paper.

Type-based information flow analysis for $\pi$-calculus with a dynamically extensible security lattice cs.CR · 2026-06-25 · unverdicted · none · ref 5
Extended type-based information flow analysis for pi-calculus to support dynamically extensible security lattices.