Noninterference through flow analysis

DOI10.1017/S0956796804005477zbMath1077.68063OpenAlexW1987410217MaRDI QIDQ4676159

Kohei Honda, Nobuko Yoshida

Publication date: 3 May 2005

Published in: Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0956796804005477

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (2)

Linearity and bisimulation ⋮ Probabilistic mobile ambients

This page was built for publication: Noninterference through flow analysis