Search results for "Firewall Policy"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
2	Alex X. Liu, Mohamed G. Gouda	Firewall Policy Queries.	IEEE Trans. Parallel Distrib. Syst.	2009	DBLP DOI BibTeX RDF
2	Yiwen Liang, Wenjun Deng	Verify Consistency between Security Policy and Firewall Policy with Answer Set Programming.	CSSE	2008	DBLP DOI BibTeX RDF
2	Charles C. Zhang, Marianne Winslett, Carl A. Gunter	On the Safety and Efficiency of Firewall Policy Deployment.	IEEE Symposium on Security and Privacy	2007	DBLP DOI BibTeX RDF
2	Adel El-Atawy, Taghrid Samak, Zein Wali, Ehab Al-Shaer, Frank Lin, Christopher Pham, Sheng Li	An Automated Framework for Validating Firewall Policy Enforcement.	POLICY	2007	DBLP DOI BibTeX RDF
2	Bin Zhang 0007, Ehab Al-Shaer, Radha Jagadeesan, James Riely, Corin Pitcher	Specifications of a high-level conflict-free firewall policy language for multi-domain networks.	SACMAT	2007	DBLP DOI BibTeX RDF	firewall, policy language, conflicts free
2	Korosh Golnabi, Richard K. Min, Latifur Khan, Ehab Al-Shaer	Analysis of Firewall Policy Rules Using Data Mining Techniques.	NOMS	2006	DBLP DOI BibTeX RDF
2	Weiping Wang 0006, Wenhui Chen, Zhepeng Li, Huaping Chen	Comparison Model and Algorithm for Distributed Firewall Policy.	ICIC	2006	DBLP DOI BibTeX RDF
2	Arosha K. Bandara, Antonis C. Kakas, Emil C. Lupu, Alessandra Russo	Using Argumentation Logic for Firewall Policy Specification and Analysis.	DSOM	2006	DBLP DOI BibTeX RDF
2	Muhammad Abedin, Syeda Nessa, Latifur Khan, Bhavani M. Thuraisingham	Detection and Resolution of Anomalies in Firewall Policy Rules.	DBSec	2006	DBLP DOI BibTeX RDF	Network Security, Security Policy, Firewalls, Anomalies, Packet Filters
1	Hongxin Hu, Gail-Joon Ahn, Ketan Kulkarni	Detecting and Resolving Firewall Policy Anomalies.	IEEE Trans. Dependable Sec. Comput.	2012	DBLP DOI BibTeX RDF
1	Alex X. Liu	Firewall policy change-impact analysis.	ACM Trans. Internet Techn.	2012	DBLP DOI BibTeX RDF
1		Firewall Policy Analysis.	Encyclopedia of Cryptography and Security (2nd Ed.)	2011	DBLP DOI BibTeX RDF
1	Hyeonwoo Kim, Hongtaek Ju	Efficient method for inferring a firewall policy.	APNOMS	2011	DBLP DOI BibTeX RDF
1	Muhammad Abedin, Syeda Nessa, Latifur Khan, Ehab Al-Shaer, Mamoun Awad	Analysis of firewall policy rules using traffic mining techniques.	IJIPT	2010	DBLP DOI BibTeX RDF
1	Achim D. Brucker, Lukas Brügger, Paul Kearney, Burkhart Wolff	Verified Firewall Policy Transformations for Test Case Generation.	ICST	2010	DBLP DOI BibTeX RDF	model-based testing, security testing
1	Yi Yin, Xiaodong Xu, Yoshiaki Katayama, Naohisa Takahashi	Inconsistency Detection System for Security Policy and Firewall Policy.	ICNC	2010	DBLP DOI BibTeX RDF
1	Alex X. Liu	Firewall policy verification and troubleshooting.	Computer Networks	2009	DBLP DOI BibTeX RDF
1	Alan Jeffrey, Taghrid Samak	Model Checking Firewall Policy Configurations.	POLICY	2009	DBLP DOI BibTeX RDF
1	Eduardo Horowitz, Luís C. Lamb	A Hierarchical Model for Firewall Policy Extraction.	AINA	2009	DBLP DOI BibTeX RDF	Firewall Extraction Policies, Foundations of Computer Security, Firewalls
1	JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu	Fault Localization for Firewall Policies.	SRDS	2009	DBLP DOI BibTeX RDF	Firewall Policy, Policy Testing, Network Security, Firewalls, Fault Localization
1	Khaled Salah, Karim Sattar, Zubair A. Baig, Mohammed H. Sqalli, Prasad Calyam	Resiliency of open-source firewalls against remote discovery of last-matching rules.	SIN	2009	DBLP DOI BibTeX RDF	dos attacks, nework security, firewalls
1	Vadim Zaliva	Platform-Independent Firewall Policy Representation	CoRR	2008	DBLP BibTeX RDF
1	Alex X. Liu	Formal Verification of Firewall Policies.	ICC	2008	DBLP DOI BibTeX RDF
1	JeeHyun Hwang, Tao Xie, Fei Chen, Alex X. Liu	Systematic Structural Testing of Firewall Policies.	SRDS	2008	DBLP DOI BibTeX RDF
1	Alex X. Liu, Mohamed G. Gouda	Diverse Firewall Design.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
1	Sergio Pozo, Rafael Ceballos, Rafael M. Gasca	AFPL, an Abstract Language Model for Firewall ACLs.	ICCSA	2008	DBLP DOI BibTeX RDF	ruleset, model, access control, language, firewalls, acl
1	Achim D. Brucker, Lukas Brügger, Burkhart Wolff	Model-Based Firewall Conformance Testing.	TestCom/FATES	2008	DBLP DOI BibTeX RDF	Model-based Testing, Firewall, Conformance Testing, Security Testing
1	Robert M. Marmorstein, Phil Kearns	Assisted Firewall Policy Repair Using Examples and History.	LISA	2007	DBLP BibTeX RDF
1	Taghrid Samak, Adel El-Atawy, Ehab Al-Shaer	FireCracker: A Framework for Inferring Firewall Policies using Smart Probing.	ICNP	2007	DBLP DOI BibTeX RDF
1	Alex X. Liu	Change-Impact Analysis of Firewall Policies.	ESORICS	2007	DBLP DOI BibTeX RDF
1	Hazem Hamed, Ehab Al-Shaer	On autonomic optimization of firewall policy organization.	J. High Speed Networks	2006	DBLP BibTeX RDF
1	Alain J. Mayer, Avishai Wool, Elisha Ziskind	Offline firewall analysis.	Int. J. Inf. Sec.	2006	DBLP DOI BibTeX RDF	Security anagment, Network Security, Internet Protocol (IP), Packet Filtering
1	Ehab Al-Shaer, Hazem Hamed, Raouf Boutaba, M. Hasan	Conflict classification and analysis of distributed firewall policies.	IEEE Journal on Selected Areas in Communications	2005	DBLP DOI BibTeX RDF
1	Pankaj N. Parmar, Priya Rajagopal, Ravi Sahita	Protocol Decode Based Stateful Firewall Policy Definition Language.	POLICY	2004	DBLP DOI BibTeX RDF
1	Ehab Al-Shaer	Managing firewall and network-edge security policies.	NOMS	2004	DBLP DOI BibTeX RDF
1	Ehab S. Al-Shaer, Hazem H. Hamed	Firewall Policy Advisor for Anomaly Discovery and Rule Editing.	Integrated Network Management	2003	DBLP BibTeX RDF
1	Alain J. Mayer, Avishai Wool, Elisha Ziskind	Fang: A Firewall Analysis Engine. (PDF / PS)	IEEE Symposium on Security and Privacy	2000	DBLP DOI BibTeX RDF	Vulnerability Testing, Network Security, Firewall