High-Performance Computing: Past, Present, and Future, Importance of random frequency spacing in ship motion simulation,In-flight alignment of SDINS under large initial heading error,Inspection acceptance interpretati...High-Performance Computing: Past, Present, and Future, Importance of random frequency spacing in ship motion simulation,In-flight alignment of SDINS under large initial heading error,Inspection acceptance interpretation for flower-shaped washer heads,Interconnect IP steers SoC integration into the fast lane,Introducing the Electric Vehicle in New York City.Community Level Actions to Spur the Use of Electric Vehicles.展开更多
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.展开更多
文摘High-Performance Computing: Past, Present, and Future, Importance of random frequency spacing in ship motion simulation,In-flight alignment of SDINS under large initial heading error,Inspection acceptance interpretation for flower-shaped washer heads,Interconnect IP steers SoC integration into the fast lane,Introducing the Electric Vehicle in New York City.Community Level Actions to Spur the Use of Electric Vehicles.
基金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.
