Proving Noninterference by a Fully Complete Translation to the Simply Typed lambda-calculus
From MaRDI portal
Publication:3535617
DOI10.2168/LMCS-4(3:10)2008zbMath1151.03329MaRDI QIDQ3535617
Atsushi Igarashi, Naokata Shikuma
Publication date: 13 November 2008
Published in: Logical Methods in Computer Science (Search for Journal in Brave)
noninterference; logical relations; simply typed lambda-calculus; dependency core calculus; sealing calculus