Security Analysis using Flow Logics

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

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearchpeer-review

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

    Cite this