33、SecTOOL：助力访问控制需求工程

SecTOOL：助力访问控制需求工程

在软件开发的漫长历程中，安全曾长期被视为软件系统的附加功能，往往在开发后期才被考虑，甚至有时被忽视。然而，一系列安全事故促使人们重新审视安全的重要性，安全工程的概念应运而生，强调在软件开发的早期阶段就将安全因素纳入考量，并贯穿整个软件生命周期。本文将聚焦于在基于UML的软件开发中如何考虑访问控制需求，同时介绍一款名为SecTOOL的工具，它为访问控制工程提供了有力支持。

1. 引言

过去，安全常被视为软件系统的非功能性属性，在系统开发的后期才被考虑，甚至有时被忽略。但一系列安全灾难促使人们重新思考，安全工程的概念应运而生，强调安全应从开发早期就作为软件系统的一部分，并贯穿整个生命周期。

在基于UML的软件开发中，访问控制需求可通过UML图自然表达。虽然模型驱动开发中的访问控制工程方法不断涌现，但工具支持和执行基础设施仍滞后。为改善这一状况，我们开发了SecTOOL，它是Rational UML案例工具的插件，支持早期开发阶段，反映了Raccoon项目的访问控制管理方法。

SecTOOL与SecureUML插件有相似之处，但也有三点不同：涵盖所有早期开发步骤、支持特权的动态修改以及设计具有平台独立性。它提高了访问控制工程各阶段的可靠性，受Raccoon项目的View Policy Language（VPL）影响。

2. VPL回顾

2.1 基于视图的访问控制（VBAC）

VBAC是基于角色的访问控制（RBAC）的面向对象版本，旨在克服标准Corba安全模型的弱点。它使用角色、类型和视图等分组机制，视图是接口操作集的子集，可包含访问控制相关信息。视图可静态或动