Regression verification for Java using a secure information flow calculus.
Bernhard BeckertVladimir KlebanovMattias UlbrichPublished in: FTfJP@ECOOP (2015)
Keyphrases
- information flow
- cryptographic protocols
- integrity verification
- multi threaded
- byte code
- regression model
- communication networks
- flow analysis
- lightweight
- mobile agent system
- model checking
- information security
- social networks
- flow graph
- information flows
- functional modules
- java card
- model selection
- programming language
- reactive systems
- temporal logic
- source code
- supply chain
- concurrent systems
- java bytecode
- data integration
- database systems
- web services
- decision making
- information systems
- database