Validating Firewalls using Flow Logics

Research output: Contribution to journal › Journal article › Research › peer-review

Original language	English
Journal	Theoretical Computer Science
Volume	283
Issue number	2
Pages (from-to)	381-418
ISSN	0304-3975
Publication status	Published - 2002

OpenUrl availability

@article{783d01d5f5ce4c35834337d601f93ade,

title = "Validating Firewalls using Flow Logics",

author = "Flemming Nielson and Nielson, \{Hanne Riis\} and Hansen, \{Ren{\'e} Rydhof\}",

year = "2002",

language = "English",

volume = "283",

pages = "381--418",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

number = "2",

}