Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings

Sven Peldszus, Katja Tuma, Daniel Strüber 0001, Jan Jürjens, Riccardo Scandariato. Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings. In Marouane Kessentini, Tao Yue, Alexander Pretschner, Sebastian Voss, Loli Burgueño, editors, 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019. pages 23-33, IEEE, 2019. [doi]

@inproceedings{PeldszusT0JS19,
  title = {Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings},
  author = {Sven Peldszus and Katja Tuma and Daniel Strüber 0001 and Jan Jürjens and Riccardo Scandariato},
  year = {2019},
  doi = {10.1109/MODELS.2019.00-18},
  url = {https://doi.org/10.1109/MODELS.2019.00-18},
  researchr = {https://researchr.org/publication/PeldszusT0JS19},
  cites = {0},
  citedby = {0},
  pages = {23-33},
  booktitle = {22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2019, Munich, Germany, September 15-20, 2019},
  editor = {Marouane Kessentini and Tao Yue and Alexander Pretschner and Sebastian Voss and Loli Burgueño},
  publisher = {IEEE},
  isbn = {978-1-7281-2536-7},
}