In order to ensure the security of the property-based remote attestation scheme, an improved, more efficient, forrml security model of property-based remote attestation is proposed, with which we prove that the user p...In order to ensure the security of the property-based remote attestation scheme, an improved, more efficient, forrml security model of property-based remote attestation is proposed, with which we prove that the user platform satis- fies the security property requirements predefmed by a remote relying party. Under the co-Corrtautational Diffie-Helknan （CDH） assumption, the proposed scheme is proved to be secure in the random oracle model. Compared with the existing schemes, the proposed scheme has a short property certificate and signature size, and requires less computational cost.展开更多
In order to minimize the harm caused by the instability of a planing craft, a motion prediction model is essential. This paper analyzed the feasibility of using an MGM（1,N） model in grey system theory to predict pla...In order to minimize the harm caused by the instability of a planing craft, a motion prediction model is essential. This paper analyzed the feasibility of using an MGM（1,N） model in grey system theory to predict planing craft motion and carried out the numerical simulation experiment. According to the characteristics of planing craft motion, a recurrence formula was proposed of the parameter matrix of an MGMfl,N） model. Using this formula, data can be updated in real-time without increasing computational complexity significantly. The results of numerical simulation show that using an MGM（1,N） model to predict planing motion is feasible and useful for prediction. So the method proposed in this study can reflect the planing craft motion mechanism successfully, and has rational and effective functions of forecasting and analyzing trends.展开更多
基金This work was supported by the National Natural Science Foundation of China under Crants No. 60842002, No. 61272542, No. 60903018, No. 61103183, No. 61103184 the National High- Tech Research and Development Plan of China under Ca＇ant No. 2007AA01Z409+1 种基金 the Fundamental Research Funds for the Central Universities under Crants No. 2009B21114, No. 20101307114 the ＂Six Talent Peaks Program＂ of Jiangsu Province of China under Crant No. 2009182 and Program for New Century Excellent Talents in Hohai University.
文摘In order to ensure the security of the property-based remote attestation scheme, an improved, more efficient, forrml security model of property-based remote attestation is proposed, with which we prove that the user platform satis- fies the security property requirements predefmed by a remote relying party. Under the co-Corrtautational Diffie-Helknan （CDH） assumption, the proposed scheme is proved to be secure in the random oracle model. Compared with the existing schemes, the proposed scheme has a short property certificate and signature size, and requires less computational cost.
基金Supported by the Foundation of State Key Laboratory of Autonomous Underwater Vehicle, Harbin Engineering Universitythe Fundamental Research Funds for the Central Universities (HEUCFL20101113)
文摘In order to minimize the harm caused by the instability of a planing craft, a motion prediction model is essential. This paper analyzed the feasibility of using an MGM（1,N） model in grey system theory to predict planing craft motion and carried out the numerical simulation experiment. According to the characteristics of planing craft motion, a recurrence formula was proposed of the parameter matrix of an MGMfl,N） model. Using this formula, data can be updated in real-time without increasing computational complexity significantly. The results of numerical simulation show that using an MGM（1,N） model to predict planing motion is feasible and useful for prediction. So the method proposed in this study can reflect the planing craft motion mechanism successfully, and has rational and effective functions of forecasting and analyzing trends.
