KIT | KIT-Bibliothek | Impressum

A theorem proving approach to secure information flow in concurrent programs (extended abstract)

Bruns, Daniel



Zugehörige Institution(en) am KIT Institut für Theoretische Informatik (ITI)
Publikationstyp Proceedingsbeitrag
Jahr 2015
Sprache Englisch
Identifikator KITopen ID: 1000050294
Erschienen in Workshop on Foundations of Computer Security (FCS 2015), 13 July 2015, Verona, Italy. Ed.: Deepak Garg
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft KITopen Landing Page