A Formal Approach to Specify and Deploy a Network Security Policy-Reference-Cited by-同舟云学术

A Formal Approach to Specify and Deploy a Network Security Policy

Published: Issue: Volume: Page:203-218
ISSN:
Container-title:Formal Aspects in Security and Trust
language:
Short-container-title:

Author:

Cuppens F.,Cuppens-Boulahia N.,Sans T.,Miège A.

Publisher

Springer-Verlag

Link

http://link.springer.com/content/pdf/10.1007/0-387-24098-5_15.pdf

Reference16 articles.

1. Bartal, Y., Mayer, A., Nissim, K., and Wool, A. (1999). Firmato: A novel firewall management toolkit. In 20th IEEE Symposium on Security and Privacy, pages 17–31, Oakland, California.

2. Checkpoint (2004). Firewall-1. In http://www.checkpoint.com/.

3. Cuppens, F., Cuppens-Boulahia, N., and Miège, A. (2004a). Inheritance hierarchies in the Or-BAC Model and application in a network environment. In Second Foundations of Computer Security Workshop (FCS'04), Turku, Finland.

4. Cuppens, F., Cuppens-Boulahia, N., Sans, T., and Miège, A. (2004b). A Formal Approach to Specify and Deploy a Network Security Policy. In http://www.rennes.enst-bretagne.fr/fcuppens/articles/fast2004.pdf (full version of the paper presented at FAST 2004).

5. Cuppens, F. and Miège, A. (2003a). Conflict management in the Or-BAC model.

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

1. FWS: Analyzing, maintaining and transcompiling firewalls;Journal of Computer Security;2021-02-03

2. Checking the Expressivity of Firewall Languages;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019

3. Transcompiling Firewalls;Lecture Notes in Computer Science;2018

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

5. wIDS: A Multilayer IDS for Wireless-Based SCADA Systems;Information Systems Security;2017