6、基于RBAC策略的网络安全管理形式化评估工具

基于RBAC策略的网络安全管理形式化评估工具

1. 引言

分布式应用程序的安全由一组网络安全服务支持，这些服务通过安全机制实现。安全管理员需要确定要使用的安全服务以及应用的安全机制配置。端到端安全（如基于SSL的解决方案）虽常被使用，但会隐藏底层网络，且在可用性、匿名性或网络特性方面并不适用。

网络管理本质上是一个分布式功能，涉及多种不同功能设备的协调。随着规则的不断增加，网络安全管理往往变得难以处理，旧的不必要规则的检索、管理和清除也存在困难。

安全管理问题主要分为安全机制不一致，可细分为原子安全机制不一致和分布式安全机制不一致：
- 原子安全机制不一致 ：同一设备上的两个或多个配置规则可能不兼容。例如，一个规则允许源IP地址在10.0.0.0范围内的数据流通过防火墙，而另一个规则拒绝源IP地址为10.20.30.4的数据流。解决方法有：
- 拒绝优先：否定授权优先。
- 最具体优先：在偏序关系中最具体的授权获胜。
- 位置优先：授权的优先级取决于其在授权列表中的位置。
- 优先级级别：为每个授权分配一个优先级，优先级最高的授权获胜。
- 分布式安全机制不一致 ：不同设备上的规则可能不兼容。例如，两个VPN网关之间的IPsec隧道配置正确，但它们之间的防火墙阻止了IPsec数据流。

安全机制的一致性并不意味着安全目标的实现，最新的管理范式旨在实现管理任务的自动化。基于策略的管理方法考虑了从业务目标到设备特定配置的不同级别的抽象安全策略，将明确目标转换为相应配置的过程称为推导过程。

目前缺乏针对服务/机制与