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.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
The Open Trusted Computing (OpenTC) consortium, General activities of OpenTC [EB/OL]. [2006-3-1]. http://www.opentc.net/activities/
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
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
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
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
Chen H W, Wang J, Dong W. High confidence software engineering technologies (in Chinese). Acta Elec Sin, 2003, 31(12A): 1933–1938
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
Chatschik B. An overview of the bluetooth wireless technology. IEEE Comm Mag, 2001, 39(12): 86–94
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
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
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
Huang G, Wang Q X, Mei H, et al. Research on architecturebased reflective middleware (in Chinese). J Software, 2003, 14(11): 1819–1826
Mischaikow K, Mrozek M. Chaos in the Lorenz equations: a computer-assisted proof. Bull Amer Math Soc, 1995, 32: 66–72
Steck D A, Oskay W H, Raizen M G. Observation of chaosassisted tunneling between islands of stability. Science, 2001, 5528(293): 274–278
Artur A, Mikhail L. Hausdorff dimension and conformal measures of feigenbaum julia sets. J Amer Math Soc, 2008, 21: 305–363
Zhang Z F, Ding T R, Huang W Z, et al. The Qualitative Theory of Ordinary Differential Equation (in Chinese). Beijing: Science Press, 1985
Camlibel K M, Pang J S, Shen J. Lyapunov stability of complementarity and extended systems. SIAM J Optim, 2006, 17: 1056–1101
Carbone A. Algorithm to estimate the hurst exponent of highdimensional fractals. Phys Rev E, 2007, 76(5): 056703
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
Sukumar N, Wets R J -B. Deriving the continuity of maximumentropy basis functions via variational analysis. SIAM J Optim, 2007, 18(3): 914–925
Krawitz P, Shmulevich I. Entropy of complex relevant components of boolean networks. Phys Rev E, 2007, 76(3): 036115
George E O. A property of the logistic distribution. SIAM Review, 1995, 37(4): 608–609
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
Ding J, Zhou H H. Invariant measures and their computation (in Chinese). Adv Math, 1998, 27(4): 309–323
Lasota A, Yorke J. On the existence of invariant measures for piecewise monotonic transformations. Trans Amer Math Soc, 1973, 186: 481–488
Author information
Authors and Affiliations
Corresponding authors
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
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
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11432-009-0143-4