Validating Firewalls using Flow Logics
Publication: Research - peer-review › Journal article – Annual report year: 2002
| Original language | English |
|---|---|
| Journal | Theoretical Computer Science |
| Publication date | 2002 |
| Volume | 283 |
| Journal number | 2 |
| Pages | 381-418 |
| ISSN | 0304-3975 |
| State | Published |
ID: 3973194