Integration of a security type system into a program logic
type: Item
instance of: scholarly article
title: Integration of a security type system into a program logic
zbMATH Open document ID: 1146.68029
author: Reiner Hähnle
author: Jing Pan
author: Philipp Rümmer
author: Dennis Walter
published in: Theoretical Computer Science
publication date: 2008-08-06T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
zbMATH DE Number: 5307113
zbMATH Keywords: language-based security
zbMATH Keywords: information-flow analysis
zbMATH Keywords: dynamic logic
zbMATH Keywords: security type system
zbMATH Keywords: formal verification
describes a project that uses: Jif
MaRDI profile type: Publication
full work available at URL: j.tcs.2008.04.033
OpenAlex ID: W2141756654
cites work: A semantic approach to secure information flow
cites work: Q4536314
cites work: Fundamental Approaches to Software Engineering
cites work: Q4809041
cites work: On flow-sensitive security types
cites work: Static Analysis
cites work: Q2771739
cites work: Q4525781
cites work: Sequential, Parallel, and Quantified Updates of First-Order Structures
cites work: Q4863622
cites work: An Axiomatic Approach to Information Flow in Programs
cites work: Logic for Programming, Artificial Intelligence, and Reasoning
cites work: Q4798025
cites work: Verifying persistent security properties
DOI: 10.1016/J.TCS.2008.04.033
description: scientific article; zbMATH DE number 5307113