No abstract

The goal of key exchange protocol is to establish a common and secure session key using the interactive communications. The existing schemes are usually in the pattern of 'user-server-user', so are weak in reality. In this paper, a new three-party key exchange protocol based on Diffie-Hellman was proposed which contains the following characteristics: without server; providing key secrecy and forward secrecy; ensuring no key control; ensuring known-key secrecy.

Dissolved oxygen (DO) is one of the main parameters to assess the quality of lake water. This study is intended to construct a parabolic distributed parameter system to describe the variation of DO under the ice, and identify the vertical exchange coefficient K of DO with the field data. Based on the existence and uniqueness of the weak solution of this system, the fixed solution problem of the parabolic equation is transformed into a parameter identification model, which takes K as the identification parameter, and the deviation of the simulated and measured DO as the performance index. We prove the existence of the optimal parameter of the identification model, and derive the first order optimality conditions. Finally, we construct the optimization algorithm, and have carried out numerical simulation. According to the measured DO data in Lake Valkea-Kotinen (Finland), it can be found that the orders of magnitude of the coefficient K varying from 10 −6 to 10 −1 m 2 s −1 , the calculated and measured DO values are in good agreement. Within this range of K values, the overall trends are very similar. In order to get better fitting, the formula needs to be adjusted based on microbial and chemical consumption rates of DO.