Formal Specification and Analysis of Firewalls.

Mohamed Mejri Kamel Adi Hamido Fujita

Published in: SoMeT (2009)

Keyphrases

formal specification
model checking
formal methods
object oriented design
distributed systems
software development
petri net
reverse engineering
specification language