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.18420/SE2020_13

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	SE
Pages	51-52
Number of pages	2
DOIs	https://doi.org/10.18420/SE2020_13
Publication status	Published - 2020
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.18420/SE2020_13

Cite this

@inproceedings{89bb0e16c51843eb8601d7807454a94e,

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 = "2020",

doi = "10.18420/SE2020_13",

language = "Niet gedefinieerd",

pages = "51--52",

booktitle = "SE",

}

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 - 2020

Y1 - 2020

U2 - 10.18420/SE2020_13

DO - 10.18420/SE2020_13

M3 - Conferentiebijdrage

SP - 51

EP - 52

BT - SE

ER -