2018

Verifying System Level Information Flow Using Confidentiality-Preserving Refinement

Tags

Konferenz / Medium

In Submission

Veröffentlichungsdatum

2018

Letztes Änderungsdatum

2018-09-28 12:18:34

Autor:innen

Christoph Baumann
Roberto Guanciale
Hamed Nemati
Mads Dam

Herunterladen