Noninterference for concurrent programs and thread systems
type: Item
instance of: scholarly article
title: Noninterference for concurrent programs and thread systems
zbMATH Open document ID: 0997.68022
DOI: 10.1016/S0304-3975(02)00010-5
author: Gérard Boudol
author: Ilaria Castellani
published in: Theoretical Computer Science
publication date: 2002-07-15T00:00:00Z
Mathematics Subject Classification ID: 68N19
zbMATH DE Number: 1767890
zbMATH Keywords: noninterference
zbMATH Keywords: concurrent programs
describes a project that uses: JFlow
MaRDI profile type: Publication
cites work: Secrecy by typing in security protocols
cites work: Transforming out timing leaks
cites work: Q4499298
cites work: Q4535032
cites work: Q2754157
cites work: Q2754161
cites work: Q4518881
cites work: A calculus of communicating systems
cites work: Q3907077
cites work: Information flow inference for free
description: scientific article; zbMATH DE number 1767890