Validating Firewalls using Flow Logics

Flemming Nielson, Hanne Riis Nielson, René Rydhof Hansen

    Research output: Contribution to journalJournal articleResearchpeer-review

    Original languageEnglish
    JournalTheoretical Computer Science
    Volume283
    Issue number2
    Pages (from-to)381-418
    ISSN0304-3975
    Publication statusPublished - 2002

    Cite this