Social Sciences
8 years ago

New tool ensures network security strategies are foolproof and effective!

Kluwer Academic Publishers eBooks
Network Security Management: A Formal Evaluation Tool Based on RBAC Policies
Romain Laborde, Bassem Nasser, Frédéric Grasset, François Barrère, Abdelmalek Benzekri

Paper Summary

Related papers

Theme background image
Computer Science
4 years ago

SDN security policies transformed and verified to secure complex networks without underlying network knowledge.

Software-Defined Networking
Trust Systems
Information Flow Security
Theme background image
Computer Science
8 years ago

Multilevel security model secures networks, preventing unauthorized access and information leaks.

Information Flow Security
Trust Systems
Intrusion Detection
1 view
Theme background image
Social Sciences
8 years ago

New framework automates translation of high level security policies for networks.

Trust Systems
Information Flow Security
Packet Classification
1 view

Network security policies are complex to design due to various factors. A new formal tool has been developed to help describe network security strategies, topology, and goals. This tool evaluates security properties and provides feedback to improve the strategy. An example of a VPN architecture has been used to validate this approach.