Validating Firewalls using Flow Logics

Publication: Research - peer-reviewJournal article – Annual report year: 2002

View graph of relations

Original languageEnglish
JournalTheoretical Computer Science
Publication date2002
Volume283
Issue2
Pages381-418
ISSN0304-3975
StatePublished
Download as:
Download as PDF
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
PDF
Download as HTML
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
HTML
Download as Word
Select render style:
APAAuthorCBEHarvardMLAStandardVancouverShortLong
Word

ID: 3973194