Kernel hooks are very important con- trol data in OS kernel. Once these data are com- promised by attackers, they can change the control flow of OS kemel＇s execution. Previ- ous solutions suffer from limitations in t...Kernel hooks are very important con- trol data in OS kernel. Once these data are com- promised by attackers, they can change the control flow of OS kemel＇s execution. Previ- ous solutions suffer from limitations in that： 1） some methods require modifying the source code of OS kernel and kernel modules, which is less practical for wide deployment; 2） other methods cannot well protect the kernel hooks and function return addresses inside kernel mo- dules whose memory locations cannot be pre- determined. To address these problems, we propose OPKH, an on-the-fly hook protection system based on the virtualization technology. Compared with previous solutions, OPKH off- ers the protected OS a fully transparent envi- ronment and an easy deployment. In general, the working procedure of OPKH can be di- vided into two steps. First, we utilise the me- mory virtualization for offiine profiling so that the dynamic hooks can be identified. Second, we exploit the online patching technique to in- strument the hooks for run-time protection. The experiments show that our system can pro- tect the dynamic hooks effectively with mini- mal performance overhead.展开更多
Based on the internal temperature variation of a dam lagging behind the ambient temperature variation,the ambient temperature of continuous variation is disctetized,and the functional expression of the thermal displac...Based on the internal temperature variation of a dam lagging behind the ambient temperature variation,the ambient temperature of continuous variation is disctetized,and the functional expression of the thermal displacement component of the dam caused by single instantaneous temperature variation is obtained.Considering the temporal and spatial distribution law of the ambient temperature and its relation with air and water temperature,the function is expanded into a Taylor series.As a result,the improved thermal displacement component expression for a dam monitoring model is obtained.展开更多
We consider the tensor product π_α ? π_βof complementary series representations π_α and π_β of classical rank one groups SO_0(n, 1), SU(n, 1) and Sp(n, 1). We prove that there is a discrete component π_(α+β...We consider the tensor product π_α ? π_βof complementary series representations π_α and π_β of classical rank one groups SO_0(n, 1), SU(n, 1) and Sp(n, 1). We prove that there is a discrete component π_(α+β)for small parameters α and β(in our parametrization). We prove further that for SO_0(n, 1) there are finitely many complementary series of the form π_(α+β+2j,)j = 0, 1,..., k, appearing in the tensor product π_α ? π_βof two complementary series π_α and π_β, where k = k(α, β, n) depends on α, β and n.展开更多
基金supported in part by the National High Technology Research and Development Program of China(863 Program)under Grant No.2009AA01Z433the Project of National Ministry under Grant No.A21201-10006the Open Foundation of State Key Laboratory of Information Security(Institute of Information Engineering,Chinese Academy of Sciences)under Grant No.2013-4-1
文摘Kernel hooks are very important con- trol data in OS kernel. Once these data are com- promised by attackers, they can change the control flow of OS kemel＇s execution. Previ- ous solutions suffer from limitations in that： 1） some methods require modifying the source code of OS kernel and kernel modules, which is less practical for wide deployment; 2） other methods cannot well protect the kernel hooks and function return addresses inside kernel mo- dules whose memory locations cannot be pre- determined. To address these problems, we propose OPKH, an on-the-fly hook protection system based on the virtualization technology. Compared with previous solutions, OPKH off- ers the protected OS a fully transparent envi- ronment and an easy deployment. In general, the working procedure of OPKH can be di- vided into two steps. First, we utilise the me- mory virtualization for offiine profiling so that the dynamic hooks can be identified. Second, we exploit the online patching technique to in- strument the hooks for run-time protection. The experiments show that our system can pro- tect the dynamic hooks effectively with mini- mal performance overhead.
基金supported by the National Natural Science Foundation of China (Grant Nos. 51079046,50909041,51139001)the Open Research Fund of State Key Laboratory of Simulation and Regulation of Water Cyclein River Basin (Grant No. IWHR-SKL-201108)+4 种基金the Special Fund of State Key Laboratory of China (Grant Nos. 2009586012,2009586912,201058-5212)the Fundamental Research Funds for the Central Universities(Grant Nos. 2009B08514,2010B20414,2010B01414,2010B14114)Jiangsu Province "333 High-Level Personnel Training Project" (Grant No.2017-B08037)Graduate Innovation Program of Universities in Jiangsu Province (Grant No. CX09B_163Z)the Science Foundation for the Excellent Youth Scholars of Ministry of Education of China (Grant No.20070294023)
文摘Based on the internal temperature variation of a dam lagging behind the ambient temperature variation,the ambient temperature of continuous variation is disctetized,and the functional expression of the thermal displacement component of the dam caused by single instantaneous temperature variation is obtained.Considering the temporal and spatial distribution law of the ambient temperature and its relation with air and water temperature,the function is expanded into a Taylor series.As a result,the improved thermal displacement component expression for a dam monitoring model is obtained.
文摘We consider the tensor product π_α ? π_βof complementary series representations π_α and π_β of classical rank one groups SO_0(n, 1), SU(n, 1) and Sp(n, 1). We prove that there is a discrete component π_(α+β)for small parameters α and β(in our parametrization). We prove further that for SO_0(n, 1) there are finitely many complementary series of the form π_(α+β+2j,)j = 0, 1,..., k, appearing in the tensor product π_α ? π_βof two complementary series π_α and π_β, where k = k(α, β, n) depends on α, β and n.
