Verifying Consistency between Security Policy and Firewall Policy by Using a Constraint Satisfaction Problem Server-Reference-Cited by-同舟云学术

Verifying Consistency between Security Policy and Firewall Policy by Using a Constraint Satisfaction Problem Server

Published:2012 Issue: Volume: Page:135-145
ISSN:1876-1100
Container-title:Future Computing, Communication, Control and Management
language:
Short-container-title:

Author:

Yin Yi,Xu Jiangdong,Takahashi Naohisa

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-27326-1_18.pdf

Reference11 articles.

1. Oike, K., Katayama, Y., Takahashi, N.: A Consistency Check System Using a Security Policy Reflector for Configurations of Network Access Inspectors: Implementation and Evaluation. The Transactions of the Institute of Electronics, Information and Communication Engineers D-I J88-D-I(11), 1622–1633 (2005)

2. Yin, Y., Xu, X., Katayama, Y., Takahashi, N.: Inconsistency detection system for security policy and firewall policy. In: 2010 First International Conference on Networking and Computing, pp. 294–297 (2010)

3. http://bach.istc.kobe-u.ac.jp/sugar/

4. Takahashi, N.: A Systolic Sieve Array for Real-time Packet Classification. IPSJ Journal 42(2), 146–166 (2001)

5. PF: Packet Filtering, http://www.openbsd.org/faq/pf/filter.html

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Inconsistency Analysis of Time-Based Security Policy and Firewall Policy;Formal Methods and Software Engineering;2017

2. An Inconsistency Detection Method for Security Policy and Firewall Policy Based on CSP Solver;Cloud Computing and Security;2017

3. Formal Verification of Security Preservation for Migrating Virtual Machines in the Cloud;Lecture Notes in Computer Science;2012