Process algebra and non-interference
- 1 January 2001
- journal article
- Published by SAGE Publications in Journal of Computer Security
- Vol. 9 (1-2) , 75-103
- https://doi.org/10.3233/jcs-2001-91-204
Abstract
Various formulations of non-interference have been proposed to try to characterise the absence of information flows in system or network. There is still no consensus in the information security community as to which of these accurately captures our iKeywords
This publication has 0 references indexed in Scilit: