Integration of a Security Type System into a Program Logic

DOI10.1007/978-3-540-75336-0_8zbMath1211.68089OpenAlexW3023908054MaRDI QIDQ3608456

Dennis Walter, Philipp Rümmer, Reiner Hähnle, Jing Pan

Publication date: 5 March 2009

Published in: Trustworthy Global Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-75336-0_8

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items

KeY: A Formal Method for Object-Oriented Systems, Relational bytecode correlations, Certification Using the Mobius Base Logic, Secure information flow by self-composition