Protocols for authentication and key establishment have special requirements in a wireless environment. This paper presents a new key agreement protocol HAKA （home server aided key agreement） for roaming scenario. I...Protocols for authentication and key establishment have special requirements in a wireless environment. This paper presents a new key agreement protocol HAKA （home server aided key agreement） for roaming scenario. It is carried out by a mobile user and a foreign server with the aid of a home server, which provides all necessary authentications of the three parties. The session key can be obtained by no one except for the mobile user and the foreign server. HAKA is based on Diffie-Hellman key exchange and a secure hash function without using any asymmetric encryption. The protocol is proved secure in Canetti-Krawczyk （CK） model.展开更多
In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004,...In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.展开更多
We performed extensive quasiclassical trajectory calculations for the H+C_(2)D_(2)→HD+C_(2)D/D_(2)+C_(2)H reaction based on a recently developed,global and accurate potential energy surface by the fundamental-invaria...We performed extensive quasiclassical trajectory calculations for the H+C_(2)D_(2)→HD+C_(2)D/D_(2)+C_(2)H reaction based on a recently developed,global and accurate potential energy surface by the fundamental-invariant neural network method.The direct abstraction pathway plays a minor role in the overall reactivity,which can be negligible as compared with the roaming pathways.The acetylenefacilitated roaming pathway dominates the reactivity,with very small contributions from the vinylidene-facilitated roaming.Although the roaming pathways proceed via the short-lived or long-lived complex forming process,the computed branching ratio of product HD to D_(2) is not far away from 2:1,implying roaming dynamics for this reaction is mainly contributed from the long-lived complex-forming process.The resulting angular distributions for the two product channels are also quite different.These computational results give valuable insights into the significance and isotope effects of roaming dynamics in the biomolecular reactions.展开更多
The ring-polymer molecular dynamics(RPMD)was used to calculate the thermal rate coefficients of the multi-channel roaming reaction H+MgH→Mg+H_(2).Two reaction channels,tight and roaming,are explicitly considered.This...The ring-polymer molecular dynamics(RPMD)was used to calculate the thermal rate coefficients of the multi-channel roaming reaction H+MgH→Mg+H_(2).Two reaction channels,tight and roaming,are explicitly considered.This is a pioneering attempt of exerting RPMD method to multichannel reactions.With the help of a newly developed optimization-interpolation protocol for preparing the initial structures and adaptive protocol for choosing the force constants,we have successfully obtained the thermal rate coefficients.The results are consistent with those from other theoretical methods,such as variational transition state theory and quantum dynamics.Especially,RPMD results exhibit negative temperature dependence,which is similar to the results from variational transition state theory but different from the ones from ground state quantum dynamics calculations.展开更多
基金the National High Technology Research and Development Program of China (2007AA01Z43)
文摘Protocols for authentication and key establishment have special requirements in a wireless environment. This paper presents a new key agreement protocol HAKA （home server aided key agreement） for roaming scenario. It is carried out by a mobile user and a foreign server with the aid of a home server, which provides all necessary authentications of the three parties. The session key can be obtained by no one except for the mobile user and the foreign server. HAKA is based on Diffie-Hellman key exchange and a secure hash function without using any asymmetric encryption. The protocol is proved secure in Canetti-Krawczyk （CK） model.
文摘In late 2001, the Object Management Group issued a Request for Proposal to develop a testing profile for UML 2.0. In June 2003, the work on the UML 2.0 Testing Profile was finally adopted by the OMG. Since March 2004, it has become an official standard of the OMG. The UML 2.0 Testing Profile provides support for UML based model-driven testing. This paper introduces a methodology on how to use the testing profile in order to modify and extend an existing UML design model for test issues. The application of the methodology will be explained by applying it to an existing UML Model for a Bluetooth device.
基金supported by the National Natural Science Foundation of China(No.22173099 and No.12174044)Liao Ning Revitalization Talents Program(XLYC1907190)。
文摘We performed extensive quasiclassical trajectory calculations for the H+C_(2)D_(2)→HD+C_(2)D/D_(2)+C_(2)H reaction based on a recently developed,global and accurate potential energy surface by the fundamental-invariant neural network method.The direct abstraction pathway plays a minor role in the overall reactivity,which can be negligible as compared with the roaming pathways.The acetylenefacilitated roaming pathway dominates the reactivity,with very small contributions from the vinylidene-facilitated roaming.Although the roaming pathways proceed via the short-lived or long-lived complex forming process,the computed branching ratio of product HD to D_(2) is not far away from 2:1,implying roaming dynamics for this reaction is mainly contributed from the long-lived complex-forming process.The resulting angular distributions for the two product channels are also quite different.These computational results give valuable insights into the significance and isotope effects of roaming dynamics in the biomolecular reactions.
基金supported by the National Natural Science Foundation of China(No.21503130 and No.11674212,and No.21603144)supported by the Young Eastern Scholar Program of the Shanghai Municipal Education Commission(QD2016021)+1 种基金the Shanghai Key Laboratory of High Temperature Superconductors(No.14DZ2260700)supported by Shanghai Sailing Program(No.2016YF1408400).
文摘The ring-polymer molecular dynamics(RPMD)was used to calculate the thermal rate coefficients of the multi-channel roaming reaction H+MgH→Mg+H_(2).Two reaction channels,tight and roaming,are explicitly considered.This is a pioneering attempt of exerting RPMD method to multichannel reactions.With the help of a newly developed optimization-interpolation protocol for preparing the initial structures and adaptive protocol for choosing the force constants,we have successfully obtained the thermal rate coefficients.The results are consistent with those from other theoretical methods,such as variational transition state theory and quantum dynamics.Especially,RPMD results exhibit negative temperature dependence,which is similar to the results from variational transition state theory but different from the ones from ground state quantum dynamics calculations.
