Skip to content

Precise Information Flow Analysis by Program Verification.

Christopher Landauer, Stephen D. Crocker

VenueA*SP
Year1982
ProceedingsS&P

Browse the full SP paper archive.