In order to improve the efficiency of remote attestation for platform configuration, a method based on RAMT (Remote Attestation based on Merkle Hash Tree) was proposed which improved the approach to storing the Hash value of trusted entities by using a dynamic Huffman tree. And the relevant proof of verification efficiency was also given. From the point of view of data structures used for storing the integrity Hash value of the application software, the problems of the existing methods were analyzed. And detailed description about architecture, measurement and verification of RADHT (Remote Attestation based on a Dynamic Huffman Tree) was given. An example about integrity measurement algorithm was presented for the proposed mechanism. The ability in privacy protection and the efficiency of RADHT were discussed. Compared with RAMT, the probability of the integrity Hash value inquired and its update were considered. Results show the efficiency of the remote attestation is improved.

For the Network-on-Chip (NoC) with virtual-output-queue router architecture, a design method to customize the buffer size for each virtual channel was proposed, so that the NoC communication performance was improved. With the restriction of limited buffer resources that could be used in NoC, the effect of virtual channel buffer size on the average packet latency in NoC was analyzed, and then a buffer allocation algorithm was proposed and buffer resources were allocated to the bottleneck of NoC. It thus improved the NoC performance without additional buffer resources cost. Finally, the effectiveness of the optimization design method was validated by simulation and the performance of NoC with optimized router was compared with the performance of NoC with un-optimized router.

Petri net is an effective mathematical tool for formally analyzing and verifying protocols. On the basis of the analysis of Low-Energy Adaptive Clustering Hierarchy (LEACH) protocol, a Generalized Stochastic Petri Nets (GSPN) model of performance for LEACH protocol was proposed. With the help of SPNP tools for analyzing the performance model of protocol, the validity of the model was verified. Finally, the significance of the performance model to the protocol's low-energy improvement was discussed.