Login / Signup
Specification and Checking of Software Contracts for Conditional Information Flow.
Torben Amtoft
John Hatcliff
Edwin Rodríguez
Robby
Jonathan Hoag
David A. Greve
Published in:
FM (2008)
Keyphrases
</>
information flow
reactive systems
supply chain
flow analysis
social networks
functional modules
communication networks
information security
software systems
information flows
formal specification
software development
control flow
multi threaded
computer systems
source code
flow graph
smart card
data mining