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

Sven Peldszus; Katja Tuma; Daniel Strüber; Jan Jürjens; Riccardo Scandariato

doi:10.1109/MODELS.2019.00-18

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

Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens, Riccardo Scandariato

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	Undefined
Title of host publication	MoDELS
Pages	23-33
Number of pages	11
DOIs	https://doi.org/10.1109/MODELS.2019.00-18
Publication status	Published - 2019
Externally published	Yes

Bibliographical note

DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

Access to Document

10.1109/MODELS.2019.00-18

Cite this

@inproceedings{fb09552ec9024b49a18d8cf14bfd2ede,

title = "Secure Data-Flow Compliance Checks between Models and Code Based on Automated Mappings.",

author = "Sven Peldszus and Katja Tuma and Daniel Str{\"u}ber and Jan J{\"u}rjens and Riccardo Scandariato",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2019",

doi = "10.1109/MODELS.2019.00-18",

language = "Niet gedefinieerd",

pages = "23--33",

booktitle = "MoDELS",

}

TY - GEN

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

AU - Peldszus, Sven

AU - Tuma, Katja

AU - Strüber, Daniel

AU - Jürjens, Jan

AU - Scandariato, Riccardo

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2019

Y1 - 2019

U2 - 10.1109/MODELS.2019.00-18

DO - 10.1109/MODELS.2019.00-18

M3 - Conferentiebijdrage

SP - 23

EP - 33

BT - MoDELS

ER -