Inter-Procedural Information Flow Noninterference via Slicing

MaRDI QIDQ7361560FDO

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: Inter-Procedural Information Flow Noninterference via Slicing