Stiftungsprofessur für zuverlässige Softwaresysteme in der Automobilindustrie

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