Non-interference through determinism
type: Item
instance of: scholarly article
title: Non-interference through determinism
zbMATH Open document ID: 1477.68063
DOI: 10.1007/3-540-58618-0_55
author: A. W. Roscoe
author: Jim Woodcock
author: Lasse Wulf
publication date: 2021-12-20T00:00:00Z
full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary
Mathematics Subject Classification ID: 68M25
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 7449654
zbMATH Keywords: security
zbMATH Keywords: non-interference
zbMATH Keywords: formal methods
zbMATH Keywords: process algebra
zbMATH Keywords: determinism
zbMATH Keywords: automatic verification
MaRDI profile type: Publication
OpenAlex ID: W2948700248
description: scientific article; zbMATH DE number 7449654