Security Analysis using Flow Logics

C. Bodei, P. Degano, Hanne Riis Nielson, Flemming Nielson

    Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

    Original languageEnglish
    Title of host publicationCurrent Trends in Theoretical computer Science
    Publication date2000
    Pages525-542
    Publication statusPublished - 2000

    Access to Document

    OpenUrl availability

    Full text

    Cite this