Information Flow Noninterference via Slicing

MaRDI QIDQ7361090FDO

Authors Daniel Wasserrab

Publication date 23 March 2010

Cites work

• A Certified Lightweight Non-interference Java Bytecode Verifier
• A per model of secure information flow in sequential programs
• Formalizing non-interference for a simple bytecode language in Coq

This page was built for software: Information Flow Noninterference via Slicing