Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner (2017)
Automatic detection and demonstrator generation for information flow leaks in object-oriented programs.
In: Computers & Security, 67
doi: 10.1016/j.cose.2016.12.002
Article, Bibliographie
URL / URN: https://doi.org/10.1016/j.cose.2016.12.002
Item Type: | Article |
---|---|
Erschienen: | 2017 |
Creators: | Do, Quoc Huy ; Bubel, Richard ; Hähnle, Reiner |
Type of entry: | Bibliographie |
Title: | Automatic detection and demonstrator generation for information flow leaks in object-oriented programs |
Language: | German |
Date: | 2017 |
Journal or Publication Title: | Computers & Security |
Volume of the journal: | 67 |
DOI: | 10.1016/j.cose.2016.12.002 |
URL / URN: | https://doi.org/10.1016/j.cose.2016.12.002 |
Divisions: | 20 Department of Computer Science > Software Engineering 20 Department of Computer Science |
Date Deposited: | 27 Apr 2018 09:55 |
Last Modified: | 27 Apr 2018 09:55 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Send an inquiry |
Options (only for editors)
Show editorial Details |