6Seam A, Salewicz K A, Aronson J E. An interactive reservoir management system for lake Kariba [ J ]. European Journal of Operational Researeh, 1998,107 : 119-136.
7水利部水利信息中心.全国水利信息化规划[R].2003.
8Trusted Computing Group.Trusted computing group main speci cation version1.1a. http://www.trustedcomputinggroup.org/downloads/tcg_spec_1_1b.zip . 2006
9L.Chen,R.Landfermann.A Protocol for Property-Based Attestation[].Proceedings of the rst ACM workshop on Scalable trusted computing.2006
10Trusted Computing Group.Trusted Platform Module Main Specification Part 1: Design Principles; Part 2: TPM Structures;Part 3: Commands[].https://wwwtrustedcomputinggrouporg.2006
