Complexity of software trustworthiness and its dynamical statistical analysis methods

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