A Proof System for Abstract Non-interference

DOI10.1093/logcom/exp053zbMath1200.68071OpenAlexW2148350313WikidataQ62046220 ScholiaQ62046220MaRDI QIDQ3553917

Isabella Mastroeni, Roberto Giacobazzi

Publication date: 21 April 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/a5aff6308b6e3c3aaf50e5c52b5d30896df4435c

zbMATH Keywords

verificationclosure operatorssemanticsabstract interpretationnon-interferenceabstract domainsstatic program analysislogic of programs

Mathematics Subject Classification ID

Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: A Proof System for Abstract Non-interference