A security flow control algorithm and its denotational semantics correctness proof
type: Item
instance of: scholarly article
title: A security flow control algorithm and its denotational semantics correctness proof
zbMATH Open document ID: 0758.68044
DOI: 10.1007/BF03180570
author: S. Singh
published in: Formal Aspects of Computing
publication date: 1993-02-04T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M10
zbMATH DE Number: 110532
zbMATH Keywords: information flow control
zbMATH Keywords: denotational semantics
zbMATH Keywords: abstract interpretation
zbMATH Keywords: security
Wikidata QID: Q115149361
MaRDI profile type: Publication
cites work: An Axiomatic Approach to Information Flow in Programs
cites work: Strictness analysis for higher-order functions
cites work: A lattice model of secure information flow
cites work: Certification of programs for secure information flow
cites work: Monotone data flow analysis frameworks
cites work: Program transformations in a denotational setting
cites work: Two-level semantics and abstract interpretation
full work available at URL: https://doi.org/10.1007/bf03180570
OpenAlex ID: W2054696368
description: scientific article; zbMATH DE number 110532