Search
Skip to Search Results- 1Master of Science in Internetworking (MINT)
- 1Master of Science in Internetworking (MINT)/Capstone Projects & Reports (Master of Science in Internetworking (MINT))
- 1Computing Science, Department of
- 1Computing Science, Department of/Technical Reports (Computing Science)
- 1Graduate and Postdoctoral Studies (GPS), Faculty of
- 1Graduate and Postdoctoral Studies (GPS), Faculty of/Theses and Dissertations
-
2013
Gouda, Mohamed, Elmallah, Ehab
We identify 13 problems whose solutions can significantly enhance our ability to design and analyze firewalls and other packet classifiers. These problems include the firewall equivalence problem, the firewall redundancy problem, the firewall verification problem, and the firewall completeness...
-
2016-02-01
The software-defined data center (SDDC) has already redefined the traditional ways of implementing the storage, networking, computing and security services by eliminating the dependency on the dedicated hardware. Enterprise data centres are evolving to provide the higher performance and agility,...
-
Spring 2011
This work presents a new test case generation methodology, which has a high degree of automation (cost reduction); while providing increased “power” in terms of defect detection (benefits increase). Our solution is a variation of model-based testing, which takes advantage of symbolic grammars (a...