Abstract interpretation of operational semantics for secure information flow.

DOI10.1016/S0020-0190(02)00219-3zbMath1044.68665MaRDI QIDQ1853040

Could not fetch data.

Publication date: 21 January 2003

Published in: (Search for Journal in Brave)

zbMATH Keywords

Could not fetch data.

Mathematics Subject Classification ID

Could not fetch data.