Amjad Gawanmeh, Sofiène Tahar. Real time verification of firewalls with dynamic rulebase update. In IEEE 27th Canadian Conference on Electrical and Computer Engineering, CCECE 2014, Toronto, ON, Canada, May 4-7, 2014. pages 1-6, IEEE, 2014. [doi]
Abstract is missing.