scholarly journals Verification condition generation for conditional information flow

2007 ◽  
Author(s):  
Torben Amtoft ◽  
Anindya Banerjee
Keyword(s):  
Information Flow ◽  
Verification Condition ◽  
Conditional Information

scholarly journals A Certificate Infrastructure for Machine-Checked Proofs of Conditional Information Flow

2012 ◽  
pp. 369-389 ◽  
Author(s):  
Torben Amtoft ◽  
Josiah Dodds ◽  
Zhi Zhang ◽  
Andrew Appel ◽  
Lennart Beringer ◽  
...  
Keyword(s):  
Information Flow ◽  
Conditional Information

scholarly journals Specification and Checking of Software Contracts for Conditional Information Flow

2008 ◽  
pp. 229-245 ◽  
Author(s):  
Torben Amtoft ◽  
John Hatcliff ◽  
Edwin Rodríguez ◽  
Robby ◽  
Jonathan Hoag ◽  
...  
Keyword(s):  
Information Flow ◽  
Conditional Information ◽  
Software Contracts
Sign in / Sign up

Export Citation Format

Share Document