Skip to main content
SpringerLink
Log in

Complexity of software trustworthiness and its dynamical statistical analysis methods

  • Published:
Science in China Series F: Information Sciences Aims and scope Submit manuscript

Abstract

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 behaviors 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 software 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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

References

  1. The Open Trusted Computing (OpenTC) consortium, General activities of OpenTC [EB/OL]. [2006-3-1]. http://www.opentc.net/activities/

  2. Liu K, Shan Z G, Wang J, et al. Overview on major research plan of trustworthy software (in Chinese). Bull Nation Nat Sci Found China, 2008, 22(3): 145–151

    MathSciNet  Google Scholar 

  3. Reith M, Niu J, Winsborough W H. Engineering trusted management into software models. In: Proceedings of the International Workshop on Modeling in Software Engineering. Washington DC: IEEE CS Press, 2007. 9–15

    Chapter  Google Scholar 

  4. Littlewood B, Strigani L. Software reliability and dependability: a roadmap. In: Proceeedings of the Conference on the Future of Software Engineering. New York: ACM Press, 2000. 175–188

    Chapter  Google Scholar 

  5. Banerjee S, Mattmann C, Medvidovic N, et al. Leveraging architectural models to inject trust into software systems. In: Proceedings of the Workshop on Software Engineering for Secure Systems-Building Trustworthy Applications. New York: ACM Press, 2005. 1–7

    Chapter  Google Scholar 

  6. Chen H W, Wang J, Dong W. High confidence software engineering technologies (in Chinese). Acta Elec Sin, 2003, 31(12A): 1933–1938

    Google Scholar 

  7. Tiwari V, Malik S, Wolfe A. Power analysis of embedded software: a first step towards softwarepower minimization. IEEE Trans VLSI Syst, 1994, 2(4): 437–445

    Article  Google Scholar 

  8. Chatschik B. An overview of the bluetooth wireless technology. IEEE Comm Mag, 2001, 39(12): 86–94

    Article  Google Scholar 

  9. Mens T, Demeyer S. Future trends in software evolution metrics. In: Proceedings of the 4th International Workshop on Principles. Austria: ACM Press, 2001. 83–86

    Google Scholar 

  10. Tsai W T, Chen Y, Paul R, et al. Cooperative and group testing in verification of dynamic composite Web services. In: Computer Software and Applications Conference. Scotland: IEEE Press, 2004, 2: 170–173

    Google Scholar 

  11. Zheng Z M, Ma S L, Li W, et al. Dynamical characteristics of software trustworthiness and their evolutionary complexity. Sci China Ser F-Inf Sci, 2009, 52(8): 1328–1334

    Article  Google Scholar 

  12. Huang G, Wang Q X, Mei H, et al. Research on architecturebased reflective middleware (in Chinese). J Software, 2003, 14(11): 1819–1826

    MATH  Google Scholar 

  13. Mischaikow K, Mrozek M. Chaos in the Lorenz equations: a computer-assisted proof. Bull Amer Math Soc, 1995, 32: 66–72

    Article  MATH  MathSciNet  Google Scholar 

  14. Steck D A, Oskay W H, Raizen M G. Observation of chaosassisted tunneling between islands of stability. Science, 2001, 5528(293): 274–278

    Article  Google Scholar 

  15. Artur A, Mikhail L. Hausdorff dimension and conformal measures of feigenbaum julia sets. J Amer Math Soc, 2008, 21: 305–363

    MATH  MathSciNet  Google Scholar 

  16. Zhang Z F, Ding T R, Huang W Z, et al. The Qualitative Theory of Ordinary Differential Equation (in Chinese). Beijing: Science Press, 1985

    Google Scholar 

  17. Camlibel K M, Pang J S, Shen J. Lyapunov stability of complementarity and extended systems. SIAM J Optim, 2006, 17: 1056–1101

    Article  MATH  MathSciNet  Google Scholar 

  18. Carbone A. Algorithm to estimate the hurst exponent of highdimensional fractals. Phys Rev E, 2007, 76(5): 056703

    Google Scholar 

  19. Bandt C, Hung N V, Rao H. On the open set condition for self-similar fractals. Proc Amer Math Soc, 2006, 134(5): 1369–1374

    Article  MATH  MathSciNet  Google Scholar 

  20. Sukumar N, Wets R J -B. Deriving the continuity of maximumentropy basis functions via variational analysis. SIAM J Optim, 2007, 18(3): 914–925

    Article  MATH  MathSciNet  Google Scholar 

  21. Krawitz P, Shmulevich I. Entropy of complex relevant components of boolean networks. Phys Rev E, 2007, 76(3): 036115

    Article  Google Scholar 

  22. George E O. A property of the logistic distribution. SIAM Review, 1995, 37(4): 608–609

    Article  Google Scholar 

  23. Zhang Z F, Li C Z, Zheng Z M, et al. Bifurcation Theory in Vector Fields (in Chinese). Beijing: Higher Education Press, 1997. 242–271

    Google Scholar 

  24. Ding J, Zhou H H. Invariant measures and their computation (in Chinese). Adv Math, 1998, 27(4): 309–323

    MATH  MathSciNet  Google Scholar 

  25. Lasota A, Yorke J. On the existence of invariant measures for piecewise monotonic transformations. Trans Amer Math Soc, 1973, 186: 481–488

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Key Laboratory of Mathematics, Informatics and Behavioral Semantics, Ministry of Education, Beihang University, Beijing, 100191, China

    ZhiMing Zheng, Xin Jiang, LiLi Ma & ShaoTing Tang

  2. State Key Laboratory of Software Development Environment, Beihang University, Beijing, 100191, China

    ShiLong Ma & Wei Li

  3. School of Mathematical Sciences, Peking University, Beijing, 100871, China

    ZhiMing Zheng & Wei Wei

Authors
  1. ZhiMing Zheng
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. ShiLong Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Wei Li
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Xin Jiang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Wei Wei
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. LiLi Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

  7. ShaoTing Tang
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding authors

Correspondence to ZhiMing Zheng or ShiLong Ma.

Additional information

Supported by the National Basic Research Program of China (Grant No. 2005CB321900), and the National Natural Science Foundation of China (Grant No. 60473091)

Rights and permissions

Reprints and permissions

About this article

Cite this article

Zheng, Z., Ma, S., Li, W. et al. Complexity of software trustworthiness and its dynamical statistical analysis methods. Sci. China Ser. F-Inf. Sci. 52, 1651–1657 (2009). https://doi.org/10.1007/s11432-009-0143-4

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11432-009-0143-4

Keywords

Search

Navigation