Automated Detection of Information Flow Vulnerabilities in UML State Charts and C Code.
Paul MunteanAdnan RabbiAndreas IbingClaudia EckertPublished in: QRS Companion (2015)
Keyphrases
- information flow
- automated detection
- information security
- flow analysis
- automated analysis
- social networks
- software engineering
- source code
- communication networks
- modeling language
- flow graph
- multi context systems
- information propagation
- information flows
- metamodel
- software systems
- test set
- computer systems
- software development
- supply chain
- knowledge discovery