期刊文献+

Complexity of software trustworthiness and its dynamical statistical analysis methods 被引量:11

Complexity of software trustworthiness and its dynamical statistical analysis methods
原文传递
导出
摘要 Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present, the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study, this paper interprets the characteristics of be- haviors of software systems and the basic scientific problems of software trustworthiness complexity, analyzes the characteristics of complexity of software trustworthiness, and proposes to study the soft- ware trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods, the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices, and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example, the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis. Developing trusted softwares has become an important trend and a natural choice in the development of software technology and applications. At present, the method of measurement and assessment of software trustworthiness cannot guarantee safe and reliable operations of software systems completely and effectively. Based on the dynamical system study, this paper interprets the characteristics of be- haviors of software systems and the basic scientific problems of software trustworthiness complexity, analyzes the characteristics of complexity of software trustworthiness, and proposes to study the soft- ware trustworthiness measurement in terms of the complexity of software trustworthiness. Using the dynamical statistical analysis methods, the paper advances an invariant-measure based assessment method of software trustworthiness by statistical indices, and hereby provides a dynamical criterion for the untrustworthiness of software systems. By an example, the feasibility of the proposed dynamical statistical analysis method in software trustworthiness measurement is demonstrated using numerical simulations and theoretical analysis.
出处 《Science in China(Series F)》 2009年第9期1651-1657,共7页 中国科学(F辑英文版)
基金 the National Basic Research Program of China (Grant No. 2005CB321900) the National Natural Science Foundation of China (Grant No. 60473091)
关键词 software trustworthiness trustworthiness attributes dynamical system invariant-measure software trustworthiness, trustworthiness attributes, dynamical system, invariant-measure
  • 相关文献

参考文献2

二级参考文献10

  • 1Li W.Study on theory and method for massive information organization and processing in network environment[]..1999
  • 2Li W.Theory and practice for cooperativity and survivability of massive information systems[]..2005
  • 3Reith M,Niu J,Winsborough W H.Engineering trusted man agement into software models[].Proceedings of the Interna tional Workshop on Modeling in Software Engineering.2007
  • 4Littlewood B,Wright D.The use of multi-legged arguments to increase confidence in safety claims for software-based sys tems: a study based on a BBN of an idealised example[].IEEE Transactions on Software Engineering.2007
  • 5Littlewood B,Strigani L.Software reliability and dependabil ity: a roadmap[].Proceeedings of the Conference on the Future of Software Engineering.2000
  • 6Triantafyllos G,Vassiliadis S,Kobrosly W.On the prediction of computer implementation faults via static error prediction models[].The Journal of Systems and Software.1995
  • 7Gashi I,Popov P,Strigini S.Fault tolerance via diversity for Off-The-Shelf products: a study with SQL database servers[].IEEE Trans Dependable Sec Comput.2007
  • 8Banerjee S,Mattmann C A,Medvidovic N, et al.Leverag ing architectural models to inject trust into software systems[].Proceedings of the Workshop on Software Engineering for Secure Systems——Building Trustworthy Applications.2005
  • 9Kurzyniec D,Sunderam V,Migliardi M.On the viability of component frameworks for high performance distributed com puting: a case study[].Proceeding of the th IEEE Inter national Symposium on High Performance Distributed Com puting.2002
  • 10Kirovski D,Drinic M,Potkonjak M.Enabling trusted software integrity[].Oper Syst Rev.2003

共引文献139

同被引文献56

  • 1陈火旺,王戟,董威.高可信软件工程技术[J].电子学报,2003,31(z1):1933-1938. 被引量:115
  • 2尤涛,杜承烈,王小伟,郑炜.基于高阶时间π演算的构件式实时软件研究[J].西北工业大学学报,2009,27(6):906-911. 被引量:4
  • 3郑志明,马世龙,李未,韦卫,姜鑫,张占利,郭炳晖.软件可信性动力学特征及其演化复杂性[J].中国科学(F辑:信息科学),2009,39(9):946-950. 被引量:12
  • 4李晓山,周巢尘.时段演算综述[J].计算机学报,1994,17(11):842-851. 被引量:10
  • 5林闯,彭雪海.可信网络研究[J].计算机学报,2005,28(5):751-758. 被引量:252
  • 6王怀民,唐扬斌,尹刚,李磊.互联网软件的可信机理[J].中国科学(E辑),2006,36(10):1156-1169. 被引量:59
  • 7TAO Hong-wei, CHEN Yi-xiang. A metric model for trustworthiness of softwares [ C]//Proc of the IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology. Washington DC:IEEE Computer Society, 2009: 69-72.
  • 8TAO Hong-wei, CHEN Yi-xiang. A new metric model for trustworthiness of softwares[ C ]//Proc of the International Conference on Information Science and Applications. 2010:1-8.
  • 9AMOROSO E, TAYLOR C, WATSON J, et al. A process-oriented methodology for assessing and improving software trustworthiness [ C]//Proc of the ACM Conference on Computer and Communications Security. New York : ACM Press, 1994 : 39- 50.
  • 10WE Jin, LIAO Yong-jian, NIE Xu-yun,et al. The trust management model of trusted software [ C ]//Proc of International Forum on Information Technology and Applications. Washington DC : IEEE Computer Society,2009 : 534-537.

引证文献11

二级引证文献53

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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