KIT | KIT-Bibliothek | Impressum | Datenschutz

Using dependence graphs to assist verification and testing of information-flow properties

Herda, M.; Tyszberowicz, S.; Beckert, B.



Originalveröffentlichung
DOI: 10.1007/978-3-319-92994-1_5
Scopus
Zitationen: 1
Seitenaufrufe: 10
seit 21.03.2019
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Jahr 2018
Sprache Englisch
Identifikator ISBN: 978-3-319-92993-4
ISSN: 0302-9743, 1611-3349
KITopen-ID: 1000088957
Erschienen in Tests and Proofs : 12th International Conference, TAP 2018, Held as Part of STAF 2018, Toulouse, France, June 27-29, 2018, Proceedings. Ed. by Catherine Dubois, Burkhart Wolff
Verlag Springer, Cham
Seiten 83-102
Serie Lecture notes in computer science ; 10889
Projektinformation KASTEL_SVI (BMBF, 16KIS0521)
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page