Validating Firewalls using Flow Logics

F. Nielson, H. Riis Nielson, R. R. Hansen

TypeJournal paper [With referee]
JournalTheoretical Computer Science
Year2002    Vol. 283    No. 2    pp. 381-418
BibTeX data [bibtex]
IMM Group(s)Computer Science & Engineering