期刊文献+

大型复杂软件系统安全需求的体系结构模型 被引量:3

Security Requirements Architecture Model for Large and Complex Software Systems
下载PDF
导出
摘要 在开发基于Internet的大型复杂软件系统时,应该在体系结构层次上考虑业务需求和安全需求,而传统的体系结构没有专门针对安全需求的构件、连接件和体系结构风格的描述,因此在体系结构层次上描述安全需求还比较困难。本文首先论述了在体系结构层次上描述安全需求的必要性。然后,在传统体系结构单元——部件/连接件的基础上,引入了安全构件、半安全构件、安全连接件、半安全连接件等新的设计单元,并给出了这些设计单元形式化的语义和约束以及图形模型,解决了软件系统安全需求的构件表示方式。最后,用一个实例展示了软件系统安全需求的体系结构模型。 It is imperative to considerate the functional requirements and security requirements on architecture level when developing the large and complex software system in Internet. Because traditional architecture has no direct component, connector and style for security requirements, it is difficult to descript these security requirements on architecture level. In this paper, necessities for security requirements architecture model are discussed, and then, some new fundamental units based on the traditional software architecture, such as security component, security connector, half- security component and half-security connector, and so on, are presented, moreover, the formal semantic elements, constraints and graph for these new units are established, so the representation of security requirements by componentfashion is resolved. Finally, with an example to show the security requirements architecture model for large distributed software systems in Intemet.
作者 谭良 周明天
出处 《计算机科学》 CSCD 北大核心 2007年第12期260-264,277,共6页 Computer Science
基金 国家863宽带VPN项目863-104-03-01课题资助 2003年度四川省科技攻关项目03GG007-007支持
关键词 体系结构 安全构件 半安全构件 安全连接件 半安全连接件 体系结构模型 Software architecture, Security component, Security connector, Half-security component, Half-security connector, Architecture model
  • 相关文献

参考文献18

  • 1孙昌爱,金茂忠,刘超.软件体系结构研究综述[J].软件学报,2002,13(7):1228-1237. 被引量:218
  • 2Medvidovie N, Rosenblum D S, Taylor R N. A language and environment for architecture-based software development and evolution. In: Proceedings of the 21st International Conference Soft- ware Engineering (ICSE'99), 1999. 44-53. http://www. ics. uci. edu/-dsr / icse99-dradel.pdf
  • 3Garlan D, Monroe R, Wilel D. ACME, An architecture description interchange language. The CASCON 97, Toronto, Ontario 1997
  • 4Shaw M, Deline R, Klein DV, et al. Abstractions for software architecture and tools to support them. IEEE Transaction on Software Engineering, 1995,21 (4) : 314-335
  • 5Luckham D C, Veral J. An event-based architecture definition language. IEEE Transaction on Software Engineering, 1995, 2 (9):717-734
  • 6Taylor R, Medvidovic N, Anderson K, E, et al. A component and message-based architectural style for GUI software [J]. IEEE Transactions on Software Engineering,June 1996. 390-406
  • 7Allen R, Garlan D. A formal basis for architectural connection. ACM Transactions on Software Engineering and Methodology, 1997,6(3):213-249
  • 8Magee J, Kramer J. Dynamic structure in software architectures. In: Kaiser G. E. ed. Proceedings of the ACM SIGSOFT'96: the 4th Symposium, Foundations of Software Engineering (FSE4), New York: ACM Press, 1996. 3-14
  • 9王晓光,冯耀东,梅宏.ABC/ADL:一种基于XML的软件体系结构描述语言[J].计算机研究与发展,2004,41(9):1521-1531. 被引量:26
  • 10冯铁,张家晨,陈伟,金淳兆.基于框架和角色模型的软件体系结构规约[J].软件学报,2000,11(8):1078-1086. 被引量:22

二级参考文献38

  • 1陶伟.以体系结构为中心软件产品线开发:博士学位论文[M].北京:北京航空航天大学,1999..
  • 2周莹新.电信软件体系结构的研究:博士学位论文[M].北京:北京邮电大学,1997..
  • 3[1]Hong Mei, Jichuan Chang, Fuqing Yang. Composing software components at architectural level. The Int'l Conf on Software-Theory and Practice, Beijing, 2000
  • 4[2]Robert Allen, David Garlan. A formal basis for architectural connection. ACM Trans on Software Engineering and Methodology, 1997, 6(3): 213~249
  • 5[3]David C Luckham, James Vera. An event-based architecture definition language. IEEE Trans on Software Engineering, 1995, 21(9): 717~734
  • 6[4]M Shaw, R Deline, D V Klein, et al. Abstractions for software architecture and tools to support them. IEEE Trans on Software Engineering, 1995, 21(4): 314~335
  • 7[5]D Garlan, R Monroe, D Wile. ACME: An architecture description interchange language. The CASCON'97, Toronto, Ontario, 1997
  • 8[6]Eric M Dashofy, André van der Hoek, Richard N Taylor. A highly-extensible, XML-based architecture description language. In: Proc of the Working IEEE/IFIP Conf on Software Architectures. Los Alamitos, CA: IEEE Computer Society Press, 2001. 103~112
  • 9[7]N Medvidovic. A classification and comparison framework for software architecture description languages. University of California at Irvine, Tech Rep: UCI-ICS-97-02, 1997
  • 10[8]Hong Mei, Feng Chen, Qianxiang Wang, et al. ABC/ADL: An ADL supporting component composition. In: Proc of the 4th Int'l Conf on Formal Engineering Methods: Formal Methods and Software Engineering. London: Springer-Verlag, 2002. 38~47

共引文献508

同被引文献17

引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部