Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the m...Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the man-in-the-middle attack to the protocol is given, where the attacker forges the messages in the receiving phase to cheat the two communication parties and makes them share the wrong session keys with him. Therefore, the protocol is not ensured to provide perfect forward secrecy. In order to overcome the above security shortcomings, an advanced email protocol is proposed, where the corresponding signatures in the receiving phase of the protocol are added to overcome the man-in-the-middle attack and ensure to provide perfect forward secrecy. Finally, the proposed advanced email protocol is formally analyzed with the authentication tests and the strand space model, and it is proved to be secure in authentication of the email sender, the recipient and the server. Therefore, the proposed advanced email protocol can really provide perfect forward secrecy.展开更多
A test method for the non-destructive determination of bolt length,anchoring length,and bolt body force is described.This addresses the problems of low accuracy,limited number of data,and untimely warning signs encoun...A test method for the non-destructive determination of bolt length,anchoring length,and bolt body force is described.This addresses the problems of low accuracy,limited number of data,and untimely warning signs encountered with existing test methods.Numerical simulations of the bolt,resin,and rock system show that the length accuracy when using the velocity wave is lower than when using the acceleration wave.It is accepted practice to use the acceleration wave for length tests because of improved signal to noise ratios of the waveforms.Laboratory and in situ underground tests showed that the precision of the measurements meets field requirements.Using this method the anchor properties of each single bolt and,thus,the safety of the entire roadway support may be evaluated.展开更多
We introduce the so-called naive tests and give a brief review of the new developments. Naive testing methods are easy to understand and perform robustly, especially when the dimension is large. We focus mainly on rev...We introduce the so-called naive tests and give a brief review of the new developments. Naive testing methods are easy to understand and perform robustly, especially when the dimension is large. We focus mainly on reviewing some naive testing methods for the mean vectors and covariance matrices of high-dimensional populations, and we believe that this naive testing approach can be used widely in many other testing problems.展开更多
With the development of superlubricity, the requirement for the accuracy of measuring super low friction force becomes more and more high. In this study, a novel micro-tribometer has been designed. The resolution and ...With the development of superlubricity, the requirement for the accuracy of measuring super low friction force becomes more and more high. In this study, a novel micro-tribometer has been designed. The resolution and accuracy of friction force are 0.01 m N by using the dual frequency laser interferometer. Experiments were performed to investigate the ability of measuring friction force from different aspects. The interference signal mixed in the measured friction force curve was analyzed and can be removed by a designed filter. The results of experiment show that the tribometer is capable of measuring a super low friction force in the order of magnitude of 0.01 m N with an applied load up to 1 N.展开更多
基金The Natural Science Foundation of Jiangsu Province(No.BK2006108)
文摘Based on the authentication tests and the strand space model, the robust email protocol with perfect forward secrecy is formally analyzed, and the security shortcomings of the protocol is pointed out. Meanwhile, the man-in-the-middle attack to the protocol is given, where the attacker forges the messages in the receiving phase to cheat the two communication parties and makes them share the wrong session keys with him. Therefore, the protocol is not ensured to provide perfect forward secrecy. In order to overcome the above security shortcomings, an advanced email protocol is proposed, where the corresponding signatures in the receiving phase of the protocol are added to overcome the man-in-the-middle attack and ensure to provide perfect forward secrecy. Finally, the proposed advanced email protocol is formally analyzed with the authentication tests and the strand space model, and it is proved to be secure in authentication of the email sender, the recipient and the server. Therefore, the proposed advanced email protocol can really provide perfect forward secrecy.
基金provided by the National Natural Science Foundation of China (No. 50874104)the Scientific Research Industry Promotion Project of Jiangsu Province of China(No. JH07-023)
文摘A test method for the non-destructive determination of bolt length,anchoring length,and bolt body force is described.This addresses the problems of low accuracy,limited number of data,and untimely warning signs encountered with existing test methods.Numerical simulations of the bolt,resin,and rock system show that the length accuracy when using the velocity wave is lower than when using the acceleration wave.It is accepted practice to use the acceleration wave for length tests because of improved signal to noise ratios of the waveforms.Laboratory and in situ underground tests showed that the precision of the measurements meets field requirements.Using this method the anchor properties of each single bolt and,thus,the safety of the entire roadway support may be evaluated.
基金supported by National Natural Science Foundation of China (Grant Nos. 11301063 and 11571067)Science and Technology Development Foundation of Jilin (Grant No. 20160520174JH)Science and Technology Foundation of Jilin during the "13th Five-Year Plan"
文摘We introduce the so-called naive tests and give a brief review of the new developments. Naive testing methods are easy to understand and perform robustly, especially when the dimension is large. We focus mainly on reviewing some naive testing methods for the mean vectors and covariance matrices of high-dimensional populations, and we believe that this naive testing approach can be used widely in many other testing problems.
基金supported by National Natural Scienceof China(Grant Nos.51527901,51335005&51321092)National Basic Research Program of China(Grant No.2013CB934200)
文摘With the development of superlubricity, the requirement for the accuracy of measuring super low friction force becomes more and more high. In this study, a novel micro-tribometer has been designed. The resolution and accuracy of friction force are 0.01 m N by using the dual frequency laser interferometer. Experiments were performed to investigate the ability of measuring friction force from different aspects. The interference signal mixed in the measured friction force curve was analyzed and can be removed by a designed filter. The results of experiment show that the tribometer is capable of measuring a super low friction force in the order of magnitude of 0.01 m N with an applied load up to 1 N.
