Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings. Peldszus, S., Tuma, K., Strüber, D., Jürjens, J., & Scandariato, R. In MODELS'19: ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, pages 23–33, 2019. IEEE.
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings [pdf]Paper  bibtex   1 download  

Downloads: 1