{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:09:15Z","timestamp":1773655755030,"version":"3.50.1"},"reference-count":117,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2010,3,1]],"date-time":"2010-03-01T00:00:00Z","timestamp":1267401600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Sci. China Inf. Sci."],"published-print":{"date-parts":[[2010,3]]},"DOI":"10.1007\/s11432-010-0069-x","type":"journal-article","created":{"date-parts":[[2010,3,25]],"date-time":"2010-03-25T10:55:55Z","timestamp":1269514555000},"page":"405-433","source":"Crossref","is-referenced-by-count":44,"title":["Research on trusted computing and its development"],"prefix":"10.1007","volume":"53","author":[{"given":"ChangXiang","family":"Shen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HuanGuo","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"HuaiMin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ji","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Zhao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fei","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"FaJiang","family":"Yu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"LiQiang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"MingDi","family":"Xu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2010,3,26]]},"reference":[{"key":"69_CR1","first-page":"129","volume":"37","author":"C. X. Shen","year":"2007","unstructured":"Shen C X, Zhang H G, Feng D G, et al. Survey of information security (in Chinese). Sci China Ser E, 2007, 37: 129\u2013150","journal-title":"Sci China Ser E"},{"key":"69_CR2","doi-asserted-by":"crossref","first-page":"273","DOI":"10.1007\/s11432-007-0037-2","volume":"50","author":"C. X. Shen","year":"2007","unstructured":"Shen C X, Zhang H G, Feng D G, et al. Survey of information security. Sci China Ser F-Inf Sci, 2007, 50: 273\u2013298","journal-title":"Sci China Ser F-Inf Sci"},{"key":"69_CR3","first-page":"513","volume":"52","author":"H. G. Zhang","year":"2006","unstructured":"Zhang H G, Luo J, Jin G, et al. Development of trusted computing research (in Chinese). J Wuhan Univ (Nat Sci), 2006, 52: 513\u2013518","journal-title":"J Wuhan Univ (Nat Sci)"},{"key":"69_CR4","volume-title":"DoD 5200.28-STD","author":"Department of Defense Computer Security Center. Department of Defense Trusted Computer System Evaluation Criteria.","year":"1985","unstructured":"Department of Defense Computer Security Center. Department of Defense Trusted Computer System Evaluation Criteria. DoD 5200.28-STD. USA: DOD, 1985"},{"key":"69_CR5","volume-title":"Trusted Network Interpretation of the Trusted Computer System Evaluation Criteria. NCSC-TG-005","author":"National Computer Security Center.","year":"1987","unstructured":"National Computer Security Center. Trusted Network Interpretation of the Trusted Computer System Evaluation Criteria. NCSC-TG-005. USA: DOD, 1987"},{"key":"69_CR6","volume-title":"Trusted Database Interpretation of the Trusted Computer System Evaluation Criteria. NCSC-TG-005","author":"National Computer Security Center.","year":"1987","unstructured":"National Computer Security Center. Trusted Database Interpretation of the Trusted Computer System Evaluation Criteria. NCSC-TG-005. USA: DOD, 1987"},{"key":"69_CR7","unstructured":"Trusted Computing Group. TCG. https:\/\/www.trustedcomputinggroup.org"},{"key":"69_CR8","unstructured":"Trusted Computing Group. TCG. https:\/\/www.trustedcomputinggroup.org\/specs"},{"key":"69_CR9","unstructured":"European Multilaterally Secure Computing Base (EMSCB). Towards trustworth systems with open standards and trusted computing. http:\/\/www.opentc.org"},{"key":"69_CR10","first-page":"1","volume":"50","author":"H. G. Zhang","year":"2004","unstructured":"Zhang H G, Wu G Q, Qin Z P, et al. A new security computer (in Chinese). J Wuhan Univ (Nat Sci), 2004, 50: 1\u20136","journal-title":"J Wuhan Univ (Nat Sci)"},{"key":"69_CR11","first-page":"7","volume":"50","author":"H. G. Zhang","year":"2004","unstructured":"Zhang H G, Liu Y Z, Yu F J, et al. A new embedded security module (in Chinese). J Wuhan Univ (Nat Sci), 2004, 50: 7\u201311","journal-title":"J Wuhan Univ (Nat Sci)"},{"key":"69_CR12","unstructured":"State Cipher Administration. Cipher Support Platform Function and Interface Specification of Trusted Computing (in Chinese), 2007"},{"key":"69_CR13","first-page":"145","volume":"3","author":"K. Liu","year":"2008","unstructured":"Liu K, Shan Z G, Wang J, et al. Survey of basic research in trusted software (in Chinese). Sci Found China, 2008, 3: 145\u2013151","journal-title":"Sci Found China"},{"key":"69_CR14","unstructured":"ISO\/IEC. Information Technology-Open Systems Interconnection-The Directory Part 8: Authentication Framework. 1990"},{"key":"69_CR15","unstructured":"Common Criteria Project Sponsoring Organisations. Common Criteria for Information Technology Security Evaluation. ISO\/IEC International Standard (IS) 15408 1-3. Version 2.1. 1999"},{"key":"69_CR16","unstructured":"Trusted Computing Group (TCG). TCPA Main Specification, Version 1.1b. 2002"},{"key":"69_CR17","doi-asserted-by":"crossref","unstructured":"Zhao B, Zhang H G, Li J, et al. Trusted PDA computing platform architecture and security mechanism (in Chinese). Comput J, 2010, 33: in press","DOI":"10.3724\/SP.J.1016.2010.00082"},{"key":"69_CR18","doi-asserted-by":"crossref","first-page":"615","DOI":"10.1007\/s11859-008-0521-6","volume":"13","author":"G. J. Peng","year":"2008","unstructured":"Peng G J, Pan X C, Fu J M, et al. Static extracting method of software intended behavior based on API functions invoking. Wuhan Univ J Natur Sci, 2008, 13: 615\u2013620","journal-title":"Wuhan Univ J Natur Sci"},{"key":"69_CR19","doi-asserted-by":"crossref","unstructured":"Peng G J, Pan X C, Zhang H G, et al. Dynamic trustiness authentication framework based on software\u2019s behavior integrity. In: Proceedings of the 9th International Conference for Young Computer Scientists (ICYCS 2008). Hunan: 2008. 2283\u20132288","DOI":"10.1109\/ICYCS.2008.541"},{"key":"69_CR20","volume-title":"Dissertation for the Doctoral Degree","author":"G. J. Peng","year":"2008","unstructured":"Peng G J. Software dynamic trusted theory based on behavior integrity and its technological research (in Chinese). Dissertation for the Doctoral Degree. Wuhan: Wuhan University, 2008"},{"key":"69_CR21","unstructured":"Intel Trusted Execution Technology. Software Development Guide Measured Launched Environment Developer\u2019s Guide. Document Number: 315168-005. 2008"},{"key":"69_CR22","volume-title":"Trusted Computing","author":"B. Zhao","year":"2009","unstructured":"Zhao B, Yan F, Yu F J, et al. trans. Trusted Computing (in Chinese). Beijing: China Machine Press, 2009"},{"key":"69_CR23","first-page":"1907","volume":"28","author":"J. Luo","year":"2008","unstructured":"Luo J, Yan F, Yu F J, et al. Research on cryptology mechanism of trusted computing platform module (in Chinese). J Comput Appl, 2008, 28: 1907\u20131915","journal-title":"J Comput Appl"},{"key":"69_CR24","first-page":"11","volume":"55","author":"Z. Q. Zhu","year":"2009","unstructured":"Zhu Z Q, Yu F J, Zhang H G, et al. An improved cryptology mechanism on trusted computing platform (in Chinese). J Wuhan Univ, 2009, 55: 11\u201316","journal-title":"J Wuhan Univ"},{"key":"69_CR25","volume-title":"TCG Mobile Trusted Module Specification. Version 1.0","author":"Trusted Computing Group.","year":"2007","unstructured":"Trusted Computing Group. TCG Mobile Trusted Module Specification. Version 1.0. Oregon: TCG, 2007 [2007209201]. https:\/\/www.trustedcomputinggroup.org\/specs\/mobilephone\/tcg2mobile2trusted2module21.0.pdf"},{"key":"69_CR26","volume-title":"TCG Mobile Reference Architecture. Version 1.0","author":"TCG.","year":"2007","unstructured":"TCG. TCG Mobile Reference Architecture. Version 1.0. Oregon: TCG, 2007 [2007209201]. https:\/\/www.trustedcomputinggroup.org\/specs\/mobilephone\/tcg2mobile2reference2architecture21.0.pdf"},{"key":"69_CR27","unstructured":"TMP. Trusted Mobile Platform Hardware Architecture description. [2007206205]. http:\/\/www.trustedmobile.org\/TMPHWAD-rev1-00.pdf"},{"key":"69_CR28","unstructured":"TMP. Trusted Mobile Platform Software Architecture description. [2007206205]. http:\/\/www.trustedmobile.org\/TMPSWAD-rev1-00.pdf"},{"key":"69_CR29","unstructured":"TMP. Trusted Mobile Platform Protocol Specification document. [2007206205]. http:\/\/www.trustedmobile.org\/TMPProtocol-rev1-00.pdf"},{"key":"69_CR30","volume-title":"Open Mobile Terminal Platform Group","author":"OMTP.","year":"2007","unstructured":"OMTP. Open Mobile Terminal Platform Group. London: OMTP, 2007. [2007209201]. http:\/\/www.omtp.org\/wgsrecommendations.html#trusted"},{"key":"69_CR31","doi-asserted-by":"crossref","unstructured":"Zhang H G, Qin Z P, Yang Q. Design and implementation of the TPM chip J3210. In: Proceedings of the 3rd Asia-Pacific Trusted Infrastrucre Technologies Conference. Wuhan, 2008. 72\u201378","DOI":"10.1109\/APTC.2008.8"},{"key":"69_CR32","first-page":"991","volume":"10","author":"H. G. Zhang","year":"2008","unstructured":"Zhang H G, Qin Z P, Liu Y. A new chip of trusted computing Module (in Chinese). J Wuhan Univ, 2008, 10: 991\u2013994","journal-title":"J Wuhan Univ"},{"key":"69_CR33","unstructured":"Trusted Computing Group. TCG Generic Server Specification. Version 1.0. TCG, 2005"},{"key":"69_CR34","unstructured":"Trusted Computing Group. TCG Itanium Architecture Based Server Specification. Version 1.0. TCG, 2006"},{"key":"69_CR35","unstructured":"State Bureau of Quality and Technical Supervision. China Information Security Evaluation Certification Management Method (in Chinese), 1999"},{"key":"69_CR36","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/978-3-540-24676-3_18","volume-title":"Advances in Cryptology-EUROCRYPT 2004","author":"L. Q. Chen","year":"2004","unstructured":"Chen L Q, Kudla C, Paterson K G. Concurrent Signatures. In: Advances in Cryptology-EUROCRYPT 2004. Berlin\/Heidelberg: Springer, 2004. 287\u2013305"},{"key":"69_CR37","doi-asserted-by":"crossref","first-page":"47","DOI":"10.1145\/1179474.1179487","volume-title":"The 1st ACM Workshop on Scalable Trusted Computing","author":"A. R. Sadeghi","year":"2006","unstructured":"Sadeghi A R, Selhorst M, Stueble C, et al. TCG inside?-a note on TPM specification compliance. In: The 1st ACM Workshop on Scalable Trusted Computing. New York: ACM, 2006. 47\u201356"},{"key":"69_CR38","unstructured":"T\u00f3th G, Koszegi G, Horn\u00e1k Z. Case study: automated security testing on the trusted computing platform. In: Proceedings of the ACM SIGOPS European Workshop on System Security (EUROSEC), 2008. 35\u201339"},{"key":"69_CR39","doi-asserted-by":"crossref","unstructured":"Gurgens S, Rudolph C, Scheuermann D, et al. Security evaluation of scenarios based on the TCG\u2019s TPM specification. In: Proceedings of the 12th European Symposium on Research in Computer Security, 2007. 438\u2013453","DOI":"10.1007\/978-3-540-74835-9_29"},{"key":"69_CR40","volume-title":"Master\u2019s thesis","author":"A. H. Lin","year":"2005","unstructured":"Lin A H. Automated analysis of security apis. Master\u2019s thesis. Massachusetts: Massachusetts Institute of Technology, 2005"},{"key":"69_CR41","first-page":"31","volume":"55","author":"H. Li","year":"2009","unstructured":"Li H, Feng D G. Compliant testing method of trusted cryptography module (in Chinese). J Wuhan Univ, 2009, 55: 31\u201334","journal-title":"J Wuhan Univ"},{"key":"69_CR42","doi-asserted-by":"crossref","first-page":"654","DOI":"10.3724\/SP.J.1016.2009.00654","volume":"32","author":"H. Li","year":"2009","unstructured":"Li H, Hu H, Chen X F. Research on compliant testing method of trusted cryptography module (in Chinese). Chinese J Comput, 2009, 32: 654\u2013663","journal-title":"Chinese J Comput"},{"key":"69_CR43","doi-asserted-by":"crossref","first-page":"646","DOI":"10.3724\/SP.J.1016.2009.00646","volume":"32","author":"X. F. Chen","year":"2009","unstructured":"Chen X F. The formal analysis and testing of trusted platform module (in Chinese). Chinese J Comput, 2009, 32: 646\u2013653","journal-title":"Chinese J Comput"},{"key":"69_CR44","first-page":"649","volume":"25","author":"Q. Cui","year":"2008","unstructured":"Cui Q, Shi W C. An approach for compliance validation of TPM through applications. J Grad Sch Chinese Acad Sci, 2008, 25: 649\u2013656","journal-title":"J Grad Sch Chinese Acad Sci"},{"key":"69_CR45","volume-title":"Dissertation for the Doctoral Degree","author":"J. Luo","year":"2008","unstructured":"Luo J. Research on testing and evaluating technology of trusted computing platform (in Chinese). Dissertation for the Doctoral Degree. Wuhan: Wuhan University, 2008"},{"key":"69_CR46","doi-asserted-by":"crossref","unstructured":"Zhang H G, Luo J, Yan F, et al. A practical solution on trusted computing platform testing. In: Proceedings of the 3rd Asia-Pracific Trusted Infrastructure Technologies Conference. 2008. 79\u201387","DOI":"10.1109\/APTC.2008.20"},{"key":"69_CR47","first-page":"1067","volume":"33","author":"J. Zhan","year":"2008","unstructured":"Zhan J, Zhang H G, Xu S W, et al. An approach for compliance validation of TPM through applications (in Chinese). J Wuhan Univ, 2008, 33: 1067\u20131069","journal-title":"J Wuhan Univ"},{"key":"69_CR48","doi-asserted-by":"crossref","unstructured":"Zhan J, Zhang H G, Zou B Y, et al. Research on automated testing of the trusted platform model. In: The 9th International Conference for Young Computer Scientists, 2008. 2335\u20132339","DOI":"10.1109\/ICYCS.2008.533"},{"key":"69_CR49","first-page":"1839","volume":"46","author":"J. Zhan","year":"2009","unstructured":"Zhan J, Zhang H G. Research on auto-testing of TMP (in Chinese). J Comput Res Develop, 2009, 46: 1839\u20131846","journal-title":"J Comput Res Develop"},{"key":"69_CR50","volume-title":"Dissertation for the Doctoral Degree","author":"J. Zhan","year":"2009","unstructured":"Zhan J. Research on architecture of computer and Application (in Chinese). Dissertation for the Doctoral Degree. Wuhan: Wuhan University, 2009"},{"key":"69_CR51","doi-asserted-by":"crossref","first-page":"635","DOI":"10.3724\/SP.J.1016.2009.00635","volume":"32","author":"M. D. Xu","year":"2009","unstructured":"Xu M D, Zhang H G, Yan F. Testing on trust chain of trusted computing platform based on labeled transition system (in Chinese). Chinese J Comput, 2009, 32: 635\u2013645","journal-title":"Chinese J Comput"},{"key":"69_CR52","volume-title":"Dissertation for the Doctoral Degree","author":"M. D. Xu","year":"2009","unstructured":"Xu M D. Security analysis for chain of trust of trusted computing platform (in Chinese). Dissertation for the Doctoral Degree. Wuhan: Wuhan University, 2009"},{"key":"69_CR53","doi-asserted-by":"crossref","unstructured":"Yang Y, Zhang H G, He F, et al. Research and security analysis of anonymous identity authentication in trusted computing. In: Proceedings of the 3rd International Conference on New Trends in Information and Service Science, 2009. 409\u2013412","DOI":"10.1109\/NISS.2009.40"},{"key":"69_CR54","doi-asserted-by":"crossref","unstructured":"Yang Y, Zhang H G, Pan M, et al. A model-based fuzz framework to the security tesing of TCG software stack implementations. In: Proceedings of 2009 International Conference on Multimedia Information Networking and Security Science, 2009. 149\u2013152","DOI":"10.1109\/MINES.2009.111"},{"key":"69_CR55","doi-asserted-by":"crossref","unstructured":"Yang Y, Zhang H G, Xu S W, Zhang F, et al. Using first order logic to reason about TCG\u2019s TPM specification. In: Proceedings of 2009 International Forum on Information Technology and Applications, 2009. 259\u2013263","DOI":"10.1109\/IFITA.2009.55"},{"key":"69_CR56","unstructured":"Yang Y, Zhang H G, Wang H Z. Research on automatic detection method of C memory access flaw (in Chinese). Comput Sci, 2010, 6: in press"},{"key":"69_CR57","unstructured":"Yang Y, Zhang H G, Xu S W. Application programming interface security analysis method of a formalization trusted computing platform module (in Chinese). J Wuhan Univ, 2010, in press"},{"key":"69_CR58","volume-title":"Dissertation for the Doctoral Degree","author":"Y. Yang","year":"2009","unstructured":"Yang Y. Automatic software test research towards flaw (in Chinese). Dissertation for the Doctoral Degree. Wuhan: Computer School, 2009"},{"key":"69_CR59","doi-asserted-by":"crossref","first-page":"434","DOI":"10.1007\/s11432-010-0062-4","volume":"53","author":"H. G. Zhang","year":"2010","unstructured":"Zhang H G, Yan F, Fu J M, et al. Research on theory and key technology of trusted computing platform security testing and evaluation. Sci China Inf Sci, 2010, 53: 434\u2013453","journal-title":"Sci China Inf Sci"},{"key":"69_CR60","first-page":"1934","volume":"31","author":"H. W. Chen","year":"2004","unstructured":"Chen H W, Wang J, Dong W. High trusted engineer Technology (in Chinese). Acta Electron Sin, 2004, 31: 1934\u20131938","journal-title":"Acta Electron Sin"},{"key":"69_CR61","volume-title":"National Research Council of the National Academies. Software for Dependable Systems-Sufficient Evidence?","author":"D. Jackson","year":"2007","unstructured":"Jackson D, Thomas M, Millett L I. Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences. National Research Council of the National Academies. Software for Dependable Systems-Sufficient Evidence? Washington: The National Academies Press, 2007"},{"key":"69_CR62","doi-asserted-by":"crossref","first-page":"78","DOI":"10.1145\/1498765.1498787","volume":"52","author":"D. Jackson","year":"2009","unstructured":"Jackson D. A direct path to dependable software. Commun ACM, 2009, 52: 78\u201388","journal-title":"Commun ACM"},{"key":"69_CR63","first-page":"490","volume-title":"The 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC)","author":"W. Dong","year":"2008","unstructured":"Dong W, Wang J, Zhao C Z, et al. Automating software FMEA via formal analysis of dependence relations. In: The 32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC). New York: IEEE Computer Society, 2008. 490\u2013491"},{"key":"69_CR64","volume-title":"Handbook of Software Reliability Engineering","author":"M. R. Lyu","year":"1996","unstructured":"Lyu M R. Handbook of Software Reliability Engineering. New York: IEEE Computer Society Press, McGraw-Hill Book Company, 1996"},{"key":"69_CR65","doi-asserted-by":"crossref","unstructured":"Manadhata P K, Tan K M C, Maxion R A, et al. An Approach to Measuring A System\u2019s Attack Surface. CMU-CS-07-146. 2007","DOI":"10.21236\/ADA476977"},{"key":"69_CR66","unstructured":"Rolland J F, Bodeveix J P, Filali M, et al. AADL modes for space software, data systems. In: Aerospace (DASIA 2008). Palma de Majorca, 2008. 27\u201330"},{"key":"69_CR67","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-76440-3","volume-title":"Software Evolution","author":"T. Mens","year":"2008","unstructured":"Mens T, Demeyer S. Software Evolution. Berlin\/Heidelberg: Springer-Verlag, 2008"},{"key":"69_CR68","unstructured":"Ghoshal S, Manimaran S, Rosu G, et al. Monitoring IVHM systems using a monitor-oriented programming framework. In: The 6th NASA Langley Formal Methods Workshop (LFM 2008), 2008"},{"key":"69_CR69","volume-title":"Software Implemented Hardware Fault Tolerance","author":"O. Nahmsuk","year":"2001","unstructured":"Nahmsuk O. Software Implemented Hardware Fault Tolerance. California: Stanford University, 2001"},{"key":"69_CR70","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592436","volume":"41","author":"J. Woodcock","year":"2009","unstructured":"Woodcock J, Larsen P G, Bicarregui J, et al. Formal methods: practice and experience. ACM Computing Surveys, 2009, 41: 1\u201336","journal-title":"ACM Computing Surveys"},{"key":"69_CR71","first-page":"138","volume-title":"Informatics, 10 Years Back-10 Years Ahead. LNCS 2000","author":"P. Cousot","year":"2001","unstructured":"Cousot P. Abstract interpretation based formal methods and future challenges. In: Informatics, 10 Years Back-10 Years Ahead. LNCS 2000. Berlin\/Heidelberg: Springer, 2001. 138\u2013156"},{"key":"69_CR72","first-page":"1697","volume":"32","author":"H. Mei","year":"2009","unstructured":"Mei H, Wang Q X, Zhang L, et al. Software analysis: a road Map (in Chinese). Chinese J Comput, 2009, 32: 1697\u20131710","journal-title":"Chinese J Comput"},{"key":"69_CR73","unstructured":"Coverity Inc. Coverity. http:\/\/www.coverity.com"},{"key":"69_CR74","doi-asserted-by":"crossref","unstructured":"Brat G, Venet A. Precise and scalable static program analysis of NASA flight software. In: IEEE Aerospace Conference. Big Sky, MT, 2005. 1\u201310","DOI":"10.1109\/AERO.2005.1559604"},{"key":"69_CR75","doi-asserted-by":"crossref","first-page":"196","DOI":"10.1145\/781131.781153","volume-title":"PLDI 2003-ACM SIGPLAN SIGSOFT Conference on Programming Language Design and Implementation","author":"B. Blanchet","year":"2003","unstructured":"Blanchet B, Cousot P, Cousot R, et al. A static analyzer for large safety-critical software. In: PLDI 2003-ACM SIGPLAN SIGSOFT Conference on Programming Language Design and Implementation. New York: ACM, 2003. 196\u2013207"},{"key":"69_CR76","volume-title":"Model Checking","author":"E. M. Clarke","year":"2000","unstructured":"Clarke E M, Grumberg O, Peled D A. Model Checking. Massachusetts: MIT Press, 2000"},{"key":"69_CR77","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1592434.1592438","volume":"41","author":"R. Jhala","year":"2009","unstructured":"Jhala R, Majumdar R. Software model checking. ACM Comput Surv, 2009, 41: 1\u201354","journal-title":"ACM Comput Surv"},{"key":"69_CR78","unstructured":"NASA. JPF Wiki. http:\/\/babelfish.arc.nasa.gov\/trac\/jpf"},{"key":"69_CR79","first-page":"103","volume":"26","author":"J. Penix","year":"2005","unstructured":"Penix J, Visser W, Park S, et al. Verifying time partitioning in the deos scheduling kernel, formal methods. Syst Des J, 2005, 26: 103\u2013135","journal-title":"Syst Des J"},{"key":"69_CR80","unstructured":"Cadar C, Dunbar D, Engler D. Klee: unassisted and automatic generation of high-coverage tests for complex systems programs. In: The 8th USENIX Symposium on Operating System Design and Implementation, 2008. 209\u2013224"},{"key":"69_CR81","unstructured":"Csallner C, Tillmann N, Smaragdakis Y. DySy: dynamic symbolic execution for invariant inference. In: Proceedings of the 30th International Conference on Software Engineering, 2008. 281\u2013290"},{"key":"69_CR82","doi-asserted-by":"crossref","first-page":"347","DOI":"10.1109\/TSE.2007.1002","volume":"33","author":"B. Littlewood","year":"2007","unstructured":"Littlewood B, Wright D. The use of multilegged arguments to increase confidence in safety claims for software-based systems: a study based on a bbn analysis of an idealized example. IEEE Trans Softw Engin, 2007, 33: 347\u2013365","journal-title":"IEEE Trans Softw Engin"},{"key":"69_CR83","unstructured":"Wang H M, Yi G. Trusted evolution in network period (in Chinese). Commun Chinese Comput Acad, 2010, 6: in press"},{"key":"69_CR84","doi-asserted-by":"crossref","unstructured":"Godfrey M W, German D M. The Past, Present, and Future of Software Evolution. FoSM, 2008. 129\u2013138","DOI":"10.1109\/FOSM.2008.4659256"},{"key":"69_CR85","doi-asserted-by":"crossref","first-page":"213","DOI":"10.1016\/0164-1212(79)90022-0","volume":"1","author":"M. M. Lehman","year":"1980","unstructured":"Lehman M M. On understanding laws, evolution and conservation in the large program life cycle. Syst Softw, 1980, 1: 213\u2013221","journal-title":"Syst Softw"},{"key":"69_CR86","unstructured":"Boldyreff C, Nutter D, Rank S, et al. Environments to support collaborative software engineering. In: The 2nd Workshop on Cooperative Supports for Distributed Software Engineering Processes, 2003. 25\u201328"},{"key":"69_CR87","volume-title":"Technical Report, UCI-ISR-05-3","author":"A. Sarma","year":"2005","unstructured":"Sarma A. A survey of collaborative tools in software development. Technical Report, UCI-ISR-05-3. Irvine: University of California, Institute for Software Research. 2005"},{"key":"69_CR88","doi-asserted-by":"crossref","unstructured":"Oreizy P, Medvidovic N, Taylor R. Architecture-based runtime software evolution. ICSE, 1998: 177\u2013186","DOI":"10.1109\/ICSE.1998.671114"},{"key":"69_CR89","doi-asserted-by":"crossref","unstructured":"Oreizy P, Medvidovic N, Taylor R N. Runtime software adaptation: framework, approaches, and styles. ICSE, 2008: 899\u2013910","DOI":"10.1145\/1370175.1370181"},{"key":"69_CR90","doi-asserted-by":"crossref","first-page":"610","DOI":"10.1007\/s11432-008-0051-z","volume":"51","author":"F. Q. Yang","year":"2008","unstructured":"Yang F Q, L\u00fc J, Mei H. Architecture of net-built software technology: a path base on architecture. Sci China Ser F-Inf Sci, 2008, 51: 610\u2013622","journal-title":"Sci China Ser F-Inf Sci"},{"key":"69_CR91","first-page":"103","volume-title":"Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS\u2019 07","author":"M. G. Ruhe","year":"2007","unstructured":"Ruhe M G, Eberlein A. COTS selection: past, present, and future. In: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS\u2019 07. Washington: IEEE Computer Society, 2007. 103\u2013114"},{"key":"69_CR92","doi-asserted-by":"crossref","unstructured":"Taibi D, Lavazza L, Morasca S. OpenBQR: a framework for the assessment of OSS. In: IFIP Working Group 2.13 on Open Source Software. Limerick, 2007. 173\u2013186","DOI":"10.1007\/978-0-387-72486-7_14"},{"key":"69_CR93","volume-title":"Software Engineering Institute","author":"N. L. Feiler","year":"2006","unstructured":"Feiler N L, Gabriel P, Goodenough R, et al. Ultra-Large-Scale Systems: the Software Challenge of the Future. Software Engineering Institute. Pittsburgh, PA: Carnegie Mellon University, 2006"},{"key":"69_CR94","doi-asserted-by":"crossref","first-page":"76","DOI":"10.1145\/1538788.1538808","volume":"52","author":"R. Kazman","year":"2009","unstructured":"Kazman R, Chen H M. The metropolis model-a new logic for development of crowdsourced systems. Commun ACM, 2009, 52: 76\u201384","journal-title":"Commun ACM"},{"key":"69_CR95","first-page":"56","volume":"5","author":"H. M. Wang","year":"2009","unstructured":"Wang H M. Build shared trusted software product Environment (in Chinese). Commun Chinese Comput Acad, 2009, 5: 56\u201361","journal-title":"Commun Chinese Comput Acad"},{"key":"69_CR96","unstructured":"Trustie Team. Trustie Serial Technical Specification (in Chinese). V2.0. http:\/\/www.trustie.net . [2009-9]"},{"key":"69_CR97","first-page":"1695","volume":"32","author":"H. Mei","year":"2009","unstructured":"Mei H, Wang J. Software analysis (in Chinese). Chinese J Comput, 2009, 32: 1695\u20131696","journal-title":"Chinese J Comput"},{"key":"69_CR98","unstructured":"Wang H M, Xu J. Structure and evolution of trusted software (in Chinese). Softw J, 2010, 21: in press"},{"key":"69_CR99","volume-title":"Ethology of Software","author":"Y. W. Qu","year":"2004","unstructured":"Qu Y W. Ethology of Software (in Chinese). Beijing: Publishing House of Electronics Industry, 2004"},{"key":"69_CR100","unstructured":"Clark D, Sollins K, Wroclawski J. NewArch Project: Future-Generation Internet Architecture. http:\/\/www.isi.edu\/newarch\/iDOCS\/final.finalreport.pdf"},{"key":"69_CR101","unstructured":"Neumann P G. Principled assuredly trustworthy composable architectures. http:\/\/www.csl.sri.com\/neumann\/chats4.html"},{"key":"69_CR102","doi-asserted-by":"crossref","unstructured":"Ellison R J. Moore A P. Trustworthy refinement through intrusion-aware design(TRIAD): an overview. In: Proceedings of the 3rd Annual High Confidence Software and Systems Conference, 2003. http:\/\/www.cert.org\/archive\/pdf\/triad.pdf","DOI":"10.21236\/ADA414865"},{"key":"69_CR103","first-page":"751","volume":"28","author":"C. Lin","year":"2005","unstructured":"Lin C, Peng X H. Research on trusted network (in Chinese). Chinese J Comput, 2005, 28: 751\u2013758","journal-title":"Chinese J Comput"},{"key":"69_CR104","first-page":"1815","volume":"15","author":"C. Lin","year":"2004","unstructured":"Lin C, Ren F Y. New network, controllable, trusted, Extended (in Chinese). J Softw, 2004, 15: 1815\u20131821","journal-title":"J Softw"},{"key":"69_CR105","first-page":"21","volume":"23","author":"Y. H. Min","year":"2001","unstructured":"Min Y H. Trusted system and network (in Chinese). Comput Eng Sci, 2001, 23: 21\u201323","journal-title":"Comput Eng Sci"},{"key":"69_CR106","unstructured":"TNC Web Site. http:\/\/www.trustedcomputinggroup.org\/developers\/trusted network connect"},{"key":"69_CR107","unstructured":"TCG Specification Trusted Network Connect -TNC Architecture for Interoperability Revision 1.1. http:\/\/www.trustedcomputinggroup.org. [2006-5]"},{"key":"69_CR108","unstructured":"Trusted Computing Group. TCG Trusted Network Connect TNC Architecture for Interoperability Specification Version 1.4. http:\/\/www.trustedcomputinggroup.org\/resources\/tcg architecture overview version 14. [2009-5]"},{"key":"69_CR109","unstructured":"Microsoft Corporation. Network Access Protection Platform Architecture. http:\/\/www.microsoft.com\/technet\/network\/nap"},{"key":"69_CR110","doi-asserted-by":"crossref","unstructured":"Zhang H G, Chen L, Zhang L Q. Research on trusted network Connection (in Chinese). Comput J, 2010, 33: in press","DOI":"10.3724\/SP.J.1016.2010.00706"},{"key":"69_CR111","volume-title":"Dissertation for the Doctoral Degree","author":"L. Q. Zhang","year":"2008","unstructured":"Zhang L Q. Theories and key technology research in trusted network connection (in Chinese). Dissertation for the Doctoral Degree. Wuhan: Wuhan University, 2008"},{"key":"69_CR112","doi-asserted-by":"crossref","unstructured":"Zhang L Q, Chen L, Zhang H G, et al. Trusted code remote execution through trusted computing and virtualization. In: Software Engineering, Artificial Intelligence, Networking, and Parallel\/Distributed Computing Conference. Qingdao, 2007. 39\u201344","DOI":"10.1109\/SNPD.2007.388"},{"key":"69_CR113","doi-asserted-by":"crossref","unstructured":"Zhang L Q, Zhang H G, Zhang X T, et al. A new mechanism for trusted code remote execution. In: Proceedings of the 2007 International Conference on Computational Intelligence and Security Workshops. Harbin, 2007. 574\u2013578","DOI":"10.1109\/CIS.2007.146"},{"key":"69_CR114","doi-asserted-by":"crossref","unstructured":"K\u00fchn U, Selhorst M, St\u00fcble C. Realizing property-based attestation and sealing with commonly available hard- and software. In: Proceedings of the 1st ACM Workshop on Scalable Trusted Computing (STC\u201907). New York, 2007. 50\u201357","DOI":"10.1145\/1314354.1314368"},{"key":"69_CR115","unstructured":"Sadeghi A R, St\u00fcble C. Property-based attestation for computing platforms: caring about properties, not mechanisms. In: The 2004 New Security Paradigms Workshop. Virginia Beach, 2004. 67\u201377"},{"key":"69_CR116","unstructured":"Poritz J, Schunter M, van Herreweghen E, et al. Property Attestation - Scalable and Privacy-friendly Security Assessment of Peer Computers. Technical Report, RZ 3548. IBM Research, 2004"},{"key":"69_CR117","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/1655108.1655114","volume-title":"Proceedings of the 4th ACM Workshop on Scalable Trusted Computing (STC\u201909)","author":"R. Korthaus","year":"2009","unstructured":"Korthaus R, Sadeghi A R, St\u00fcble C, et al. A practical property-based bootstrap architecture. In: Proceedings of the 4th ACM Workshop on Scalable Trusted Computing (STC\u201909). New York: ACM Press, 2009. 29\u201338"}],"container-title":["Science China Information Sciences"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-0069-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11432-010-0069-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11432-010-0069-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,25]],"date-time":"2021-10-25T01:57:58Z","timestamp":1635127078000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11432-010-0069-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3]]},"references-count":117,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,3]]}},"alternative-id":["69"],"URL":"https:\/\/doi.org\/10.1007\/s11432-010-0069-x","relation":{},"ISSN":["1674-733X","1869-1919"],"issn-type":[{"value":"1674-733X","type":"print"},{"value":"1869-1919","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,3]]}}}