Formal correctness of conflict detection for firewalls

Venanzio Capretta, Bernard Stepien, Amy Felty, Stan Matwin

Research output: Chapter in Book/Report/Conference proceedingConference contribution

41 Citations (Scopus)
Original languageEnglish
Title of host publicationFMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering
Pages22-30
Number of pages9
DOIs
Publication statusPublished - 2007
Externally publishedYes
Event5th ACM Workshop on Formal Methods in Security Engineering, FMSE 2007 - Fairfax, VA, United States
Duration: Nov 2 2007Nov 2 2007

Publication series

NameFMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering

Conference

Conference5th ACM Workshop on Formal Methods in Security Engineering, FMSE 2007
Country/TerritoryUnited States
CityFairfax, VA
Period11/2/0711/2/07

ASJC Scopus Subject Areas

  • Computational Theory and Mathematics
  • Computer Science Applications
  • Software

Fingerprint

Dive into the research topics of 'Formal correctness of conflict detection for firewalls'. Together they form a unique fingerprint.

Cite this

Capretta, V., Stepien, B., Felty, A., & Matwin, S. (2007). Formal correctness of conflict detection for firewalls. In FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering (pp. 22-30). (FMSE'07 - Proceedings of the 2007 ACM Workshop on Formal Methods in Security Engineering). https://doi.org/10.1145/1314436.1314440