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