External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Formal Specification and Analysis of Firewalls

Mohamed Mejri, Kamel Adi, Hamido Fujita. Formal Specification and Analysis of Firewalls. In Hamido Fujita, Vladimír Marík, editors, New Trends in Software Methodologies, Tools and Techniques - Proceedings of the Eighth SoMeT 2009, September 23-25, 2009, Prague, Czech Republic. Volume 199 of Frontiers in Artificial Intelligence and Applications, pages 284-293, IOS Press, 2009. [doi]

Authors

Mohamed Mejri

Identified as Mohamed Mejri
(Lavala University, Canada
)

Kamel Adi

This author has not been identified. Look up 'Kamel Adi' in Google

Hamido Fujita

Identified as Hamido Fujita
runs on