Abstract Interpretation to Check Secure Information Flow in Programs with Input-Output Security Annotations.
Nicoletta De FrancescoLuca MartiniPublished in: Formal Aspects in Security and Trust (2005)
Keyphrases
- information flow
- input output
- abstract interpretation
- information security
- termination analysis
- static analysis
- active rules
- social networks
- model checking
- information flows
- internal states
- reasoning engine
- communication networks
- dynamic analysis
- information systems
- supply chain
- active databases
- smart card
- integrity constraints
- data integration
- computer systems
- ibm zenterprise