Secure information flow via linear continuations
type: Item
instance of: scholarly article
title: Secure information flow via linear continuations
zbMATH Open document ID: 1030.68015
DOI: 10.1023/A:1020843229247
author: Steve Zdancewic
author: Andrew C. Myers
published in: Higher-Order and Symbolic Computation
publication date: 2003-05-14T00:00:00Z
Mathematics Subject Classification ID: 68N15
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 1909836
zbMATH Keywords: continuation passing style
zbMATH Keywords: CPS
zbMATH Keywords: linear continuations
zbMATH Keywords: information-flow security
zbMATH Keywords: security-typed languages
MaRDI profile type: Publication
full work available at URL: a:1020843229247
OpenAlex ID: W1531439671
description: scientific article; zbMATH DE number 1909836