A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies-Reference-Cited by-同舟云学术

A Formal Approach for the Evaluation of Network Security Mechanisms Based on RBAC Policies

Published:2005-02 Issue: Volume:121 Page:117-142
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Laborde R.,Nasser B.,Grasset F.,Barrère F.,Benzekri A.

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference34 articles.

1. Al-Shaer Ehab and Hamed Hazem, Discovery of Policy Anomalies in Distributed Firewalls, in IEEE INFOCOMM'04, 2004

2. Bandara Arosha K, Emil C Lupu, Jonathan Moffet, Alessandra Russo, A Goal-based Approach to Policy Refinement, in: IEEE Policy, 2004

3. Barrere F., A. Benzekri, F. Grasset, R. Laborde, B. Nasser, SPIDERNet : A Security Policy Derivation tool for Networks, in 3rd IEEE Latina America Network Operations and Management Symposium, 2003

4. Barrere F., A. Benzekri, F. Grasset, R. Laborde, B. Nasser, Inter-Domains policy negociation. in: IEEE Policy, 2003

5. Computer Security: Art and Science;Bishop,2003

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

1. Study on the Application of Graph Theory Algorithms and Attack Graphs in Cybersecurity Assessment;2023 7th International Conference on System Reliability and Safety (ICSRS);2023-11-22

2. Review on the Application of Knowledge Graph in Cyber Security Assessment;IOP Conference Series: Materials Science and Engineering;2020-03-01

3. Autonomic Communications in Software-Driven Networks;IEEE Journal on Selected Areas in Communications;2017-11

4. Formal Specification and Verification of Modular Security Policy Based on Colored Petri Nets;IEEE Transactions on Dependable and Secure Computing;2011-11

5. Study on the Evaluation Model for Network Security;Advanced Materials Research;2011-08