Home | english  | Impressum | Sitemap | KIT

Information Flow Analysis via Path Condition Refinement

Information Flow Analysis via Path Condition Refinement
Autor:

Mana Taghdiri, Gregor Snelting, Carsten Sinz

Quelle:

In Proc. of the 7th Intl. Workshop on Formal Aspects of Security & Trust (FAST 2010), Pisa, Italy

Datum: 2010