author = { Chadha, Rohit AND Mathur, Umang AND Schwoon, Stefan Rohit Chadha and Umang Mathur and Stefan Schwoon },

title = { Computing Information Flow Using Symbolic Model-Checking },

publisher = {Schloss Dagstuhl – Leibniz-Zentrum für Informatik},

keywords = { Abstract decision diagrams , Min Entropy , Shannon Entropy , Program summaries , Information leakage },

year = {2014},

abstract = {Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.},

url = { http://slubdd.de/katalog?TN_libero_mab2 }