安全需求工程研究综述.docVIP

第 ３０卷第 ２期　　　 ２０１３年 ２月　　  计算机应用与软件 ＣｏｍｐｕｔｒＡｐｐｌｃａｔｏｎｓａｎｄＳｏｆｗａｒ  Ｖｏｌ３０Ｎｏ．２ Ｆｅｂ．２０１３  安全需求工程研究综述 汪 北 阳 （软件工程国家重点实验室（武汉大学）　湖北 武汉 ４３００７２） （长江大学计算机科学学院　湖北 荆州 ４３４０２３） 摘　要　　近年来，安全需求工程逐渐成为软件工程领域的研究热点之一。在开发周期的早期阶段引进安全分析和安全工程实践 比在应用设计阶段才引进分析的投资回报要高出 １２％ －２１％。归纳安全需求工程发展过程及其主要研究活动，给出安全需求工程 的相关定义，并分析了几个典型的安全需求工程框架。通过总结安全需求工程领域的若干研究活动，提出安全需求工程研究的两大 思路，并从 ６个方面介绍安全需求工程的研究进展，探讨安全需求工程研究存在的不足。作为总结，给出了安全需求工程领域最有 前途的发展方向。 关键词　　安全需求　安全需求工程　安全需求获取　安全需求分析　安全需求建模　模型检测　风险评估 中图分类号　ＴＰ３１１．５　　　　文献标识码　Ａ　　　　ＤＯＩ１０．３９６９／．ｉｓ．１０００８６ｘ．２０１３．０２．０５７ Ａ ＳＵＲＶＥＹ ＯＮ ＳＥＣＵＲＩＹ ＲＥＱＵＩ ＥＭＥＮＴＳＥＮＧＩ ＥＥＲＩ Ｇ ＲＥＳＥＡＲＣＨ ＷａｎｇＢｅｉａｎｇ （ＳｔｔＫｅ Ｌａｂｏｒｔｒ ｏｆＳｏｆｗａｒＥｎｇｉｅｒｎｇ（ＷｕｈａｎＵｎｉｅｓｔ），Ｗｕｈａｎ４３００７２，Ｈｕｂｅ，Ｃｈｉａ） （ＳｃｏｏｌｏｆＣｏｍｐｕｔｒＳｃｅｃ，ＹａｎｇｔｅＵｎｉｅｓｔ，Ｊｉｇｚｏｕ４３４０２３，Ｈｕｂｅ，Ｃｈｉａ） Ａｂｓｒａｃｔ 　Ｓｅｃｕｒｔ ｒｑｕｉｅｍｅｎｔｅｎｇｉｅｅｒｎｇ（ＳＲＥ）ｉ ｇｒｄｕａｌｙｂｅｃｏｍｉｇｏｎｅｏｆｔｅｒｓａｒｈｆｃｕｓｓｉ ｓｆｗａｒ ｅｎｇｉｅｅｒｎｇｉ ｒｃｅｎｔ ｙｅａｒ．Ｔｈｅｒｔｒ ｏｎｉｖｅｓｍｅｎｔｗｉｌｂｅ１２％ －２１％ ｈｉｈｅｒｗｈｅｎｉｔｏｄｕｃｉｇｔｅｓｃｕｒｔ ａｎａｌｓｓｔｃｈｎｉｕｅｓａｎｄｓｃｕｒｔ ｅｎｇｉｅｅｒｎｇｐｒｃ ｔｃｅｉ ｅａｒｙｐｈａｓ ｏｆｔｅｄｅｖｅｌｐｍｅｎｔｃｙｃｌｔａｎｉ ｔｅｐｈａｓ ｏｆａｐｐｌｃａｔｏｎｄｅｓｇｎｓ．Ｉ ｔｉｐａｐｅｒ ｔｅｄｅｖｅｌｐｍｅｎｔｐｒｃｅｓｅｓａｎｄｍａｊｒｒ ｓａｒｈａｃｔｖｉｉｓｏｆＳＲＥａｒ ｓｍｍａｒｓｄ，ｒｌｖａｎｔｄｅｆｎｉｉｎｓｏｆＳＲＥａｒ ｒｖｉｗｅｄ，ａｎｄｓｖｅｒｌｃｌｓｉａｌＳＲＥｆａｍｅｗｏｒｓａｒ ａｎａｌｓｄ．Ｔｗｏｉ ｄｅａｓｏｆＳＲＥｒｓａｒｈａｒ ｐｒｓｎｔｄｂａｓｄｏｎｔｅｓｍｍａｒｓｔｏｎｏｆｃｕｒｅｎｔＳＲＥｒｓａｒｈａｃｔｖｉｉｓ ａｎｄｔｅｒｓａｒｈａｄｖａｎｃｅｍｅｎｔｏｎＳＲＥａｒ ｉｔｏｄｕｃｅｄｆｏｍ ｓｘａｓｅｃｔ ｓｂｓｑｕｅｎｔｙ．Ｉ ａｄｄｉｉｎ，ｔｅｓｏｒｃｏｍｉｇｓｏｆＳＲＥｒｓａｒｈａｒ ｄｉｃｕｓｅｄａｓｗｅｌ．Ａｓｔｅｃｏｎｃｌｓｏｎｏｆｔｅ ｐａｐｅｒ ｓｍｅｍｏｓｐｒｍｉｉｇｄｉｅｃｔｏｎｓｏｆＳＲＥｄｅｖｅｌｐｍｅｎｔａｒ ｐｏｉｔｄｏｕｔ Ｋｅｙｗｏｒｄｓ　　Ｓｅｃｕｒｔ ｒｑｕｉｅｍｅｎｔ　 Ｓｅｃｕｒｔ ｒｑｕｉｅｍｅｎｔ ｅｎｇｉｅｅｒｎｇ　 Ｓｅｃｕｒｔ ｒｑｕｉｅｍｅｎｔ ｅｌｃｉｉｇ　 Ｓｅｃｕｒｔ ｒｑｕｉｅｍｅｎｔ ａｎａｌｓｎｇ Ｓｅｃｕｒｔ ｒｑｕｉｅｍｅｎｔｍｏｄｅｌｉｇ　Ｍｏｄｅｌｃｈｅｃｋｉｇ　Ｒｉｋａｓｅｓｉｇ 性这种特殊的非功 能 性 需 求 仍 然 是 在 设 计 和 实 施 阶 段 才 考 虑 ０　引　言 近年来，需求工程被认为是大型软件开发项目成功与否 的 关键因素。对于需求工程阶段产生的缺陷，在软件开发过程中 的设计阶段被检查出来并修正比在前期的分析阶段检查出来要 的。这就意味着满足安全需求的安全机制不得不和先前存在的 设计相适应，但由于安全机制和软件系统的功能性需求或有用 性存在潜在的冲突，先前的设计可能不适应安全机制。而且软 件系统的实现可能出于用户之间的信任关系的假想，也可能出 于用户和暂时未开发出来的系统之间关系的假想。而它们之间 多花费 １０－２００倍 ［１］ 的实际信任关系可能与假想不一致 ［２４］。反过来说，如果在实现 段产生的缺陷往 往 占 到 整 个 软 件 开 发 过 程 中 产 生 缺 陷 的 ５０％ 中采用保护机制，而这些机制很可能阻碍了软件系统在一个可 以上 ［２］ 信领域中的运行，此时，软件工程师却并没有意识到系统运行在 ４０％ －５０％的时 间 和 精 力 ［３］ 一个可信领域中。概括说，当前软件需求工程方法不能解决安 全分析和安全工程实践比在应用