Specification and Checking of Software Contracts for Conditional Information Flow.

Torben Amtoft, John Hatcliff, Edwin Rodrguez, Robby, Jonathan Hoag, David A. Greve

Browse the full FM paper archive.