KIT | KIT-Bibliothek | Impressum | Datenschutz

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

Herda, M. 1; Tyszberowicz, S.; Beckert, B. ORCID iD icon 1
1 Karlsruher Institut für Technologie (KIT)


Originalveröffentlichung
DOI: 10.1007/978-3-319-92994-1_5
Scopus
Zitationen: 3
Dimensions
Zitationen: 3
Zugehörige Institution(en) am KIT Kompetenzzentrum für angewandte Sicherheitstechnologie (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsjahr 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
Seiten 83-102
Serie Lecture notes in computer science ; 10889
Projektinformation KASTEL_SVI (BMBF, 16KIS0521)
Nachgewiesen in Dimensions
Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page