Contract-Based Reasoning for Verification and Certification of Secure Information Flow Policies in Industrial Workflows.

John Hatcliff

Browse the full ICFEM paper archive.