FLUSH+RELOAD attack is recently proposed as a new type of Cache timing attacks.There are three essential factors in this attack,which are monitored instructions.threshold and waiting interval.However,existing literatu...FLUSH+RELOAD attack is recently proposed as a new type of Cache timing attacks.There are three essential factors in this attack,which are monitored instructions.threshold and waiting interval.However,existing literature seldom exploit how and why they could affect the system.This paper aims to study the impacts of these three parameters,and the method of how to choose optimal values.The complete rules for choosing the monitored instructions based on necessary and sufficient condition are proposed.How to select the optimal threshold based on Bayesian binary signal detection principal is also proposed.Meanwhile,the time sequence model of monitoring is constructed and the calculation of the optimal waiting interval is specified.Extensive experiments are conducted on RSA implemented with binary square-and-multiply algorithm.The results show that the average success rate of full RSA key recovery is89.67%.展开更多
Through the attempt to clarify justifiable economic circumstances where a policy of globalization and/or a policy of national isolation is proven valid, the author revealed in this thesis that there are two such econo...Through the attempt to clarify justifiable economic circumstances where a policy of globalization and/or a policy of national isolation is proven valid, the author revealed in this thesis that there are two such economic phases： An economy where the theory of comparative advantage, proposed by David Ricardo, is applicable, and an economy where the theory is not applicable. The author applied his original approach to prove the validity of Ricardo＇s comparative advantage theory, and found that the theory can be justified only when a macro economy is in the primal problem phase, where a policy of globalization is effective. It is a necessary and sufficient condition for the theory to be valid. In other words, Ricardo＇s theory of comparative advantage is not applicable when a macro economy is in the dual problem phase, where a policy of national isolation, instead of that of globalization, is valid. The primal problem phase and the dual problem phase of a macro economy, called in this thesis by the author, are a version of an expression quite common in OR （operations research）.展开更多
The stabilization with receding horizon control （RHC） of It5 stochastic time-varying systems is studied in this paper. Based on monotonically non-increasing of optimal cost and stochastic Lyapunov stability theory, ...The stabilization with receding horizon control （RHC） of It5 stochastic time-varying systems is studied in this paper. Based on monotonically non-increasing of optimal cost and stochastic Lyapunov stability theory, a necessary and sufficient stabilization condition on the terminal weighting matrix is proposed, which guarantees the mean-square stability of the closed-loop system. The explicit receding horizon controller is obtained by employing stochastic maximum principle. Simulations demonstrate the effectiveness of the proposed method.展开更多
基金supported by National Natural Science Foundation of China (No.61472357,No.61309021,No.61272491, No.61173191)the Major State Basic Research Development Program(973 Plan) of China under the grant 2013CB338004
文摘FLUSH+RELOAD attack is recently proposed as a new type of Cache timing attacks.There are three essential factors in this attack,which are monitored instructions.threshold and waiting interval.However,existing literature seldom exploit how and why they could affect the system.This paper aims to study the impacts of these three parameters,and the method of how to choose optimal values.The complete rules for choosing the monitored instructions based on necessary and sufficient condition are proposed.How to select the optimal threshold based on Bayesian binary signal detection principal is also proposed.Meanwhile,the time sequence model of monitoring is constructed and the calculation of the optimal waiting interval is specified.Extensive experiments are conducted on RSA implemented with binary square-and-multiply algorithm.The results show that the average success rate of full RSA key recovery is89.67%.
文摘Through the attempt to clarify justifiable economic circumstances where a policy of globalization and/or a policy of national isolation is proven valid, the author revealed in this thesis that there are two such economic phases： An economy where the theory of comparative advantage, proposed by David Ricardo, is applicable, and an economy where the theory is not applicable. The author applied his original approach to prove the validity of Ricardo＇s comparative advantage theory, and found that the theory can be justified only when a macro economy is in the primal problem phase, where a policy of globalization is effective. It is a necessary and sufficient condition for the theory to be valid. In other words, Ricardo＇s theory of comparative advantage is not applicable when a macro economy is in the dual problem phase, where a policy of national isolation, instead of that of globalization, is valid. The primal problem phase and the dual problem phase of a macro economy, called in this thesis by the author, are a version of an expression quite common in OR （operations research）.
基金supported by the Taishan Scholar Construction Engineering by Shandong Governmentthe National Natural Science Foundation of China under Grant Nos.61120106011 and 61573221
文摘The stabilization with receding horizon control （RHC） of It5 stochastic time-varying systems is studied in this paper. Based on monotonically non-increasing of optimal cost and stochastic Lyapunov stability theory, a necessary and sufficient stabilization condition on the terminal weighting matrix is proposed, which guarantees the mean-square stability of the closed-loop system. The explicit receding horizon controller is obtained by employing stochastic maximum principle. Simulations demonstrate the effectiveness of the proposed method.
