A Proof System for Abstract Non-interference
type: Item
instance of: scholarly article
title: A Proof System for Abstract Non-interference
zbMATH Open document ID: 1200.68071
author: Roberto Giacobazzi
author: Isabella Mastroeni
publication date: 2010-04-21T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5696823
zbMATH Keywords: abstract interpretation
zbMATH Keywords: abstract domains
zbMATH Keywords: non-interference
zbMATH Keywords: closure operators
zbMATH Keywords: semantics
zbMATH Keywords: static program analysis
zbMATH Keywords: logic of programs
zbMATH Keywords: verification
Wikidata QID: Q62046220
MaRDI profile type: Publication
OpenAlex ID: W2148350313
DOI: 10.1093/LOGCOM/EXP053
published in: Journal Of Logic And Computation
description: scientific article