Validating Firewalls using Flow Logics |
F. Nielson, H. Riis Nielson, R. R. Hansen
|
| Type | Journal paper [With referee] |
| Journal | Theoretical Computer Science |
| Year | 2002 Vol. 283 No. 2 pp. 381-418 |
| BibTeX data | [bibtex] |
| IMM Group(s) | Computer Science & Engineering |