Using dependence graphs to assist verification and testing of information-flow properties
Herda, M. 1; Tyszberowicz, S.; Beckert, B.
1
1 Karlsruher Institut für Technologie (KIT)
11 Karlsruher Institut für Technologie (KIT)
| 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 | Scopus Dimensions |