Current trusted computing platform only verifies application＇s static Hash value, it could not prevent application from being dynamic attacked. This paper gives one static analysis-based behavior model building metho...Current trusted computing platform only verifies application＇s static Hash value, it could not prevent application from being dynamic attacked. This paper gives one static analysis-based behavior model building method for trusted computing dynamic verification, including control flow graph （CFG） building, finite state automata （FSA） constructing, e run cycle removing, e transition removing, deterministic finite state （DFA） constructing, trivial FSA removing, and global push down automata （PDA） constructing. According to experiment, this model built is a reduced model for dynamic verification and covers all possible paths, because it is based on binary file static analysis.展开更多
为了更准确地描述带有记忆效应的射频(RF)功放特性,基于传统的动态X参数模型,结合功放长期记忆效应以及短期记忆效应机理,提出一种新型动态X参数功放建模方法。新模型保留X参数模型的静态核函数,利用双记忆路径模型提取出表征记忆效应...为了更准确地描述带有记忆效应的射频(RF)功放特性,基于传统的动态X参数模型,结合功放长期记忆效应以及短期记忆效应机理,提出一种新型动态X参数功放建模方法。新模型保留X参数模型的静态核函数,利用双记忆路径模型提取出表征记忆效应的非线性函数,替换动态核函数。采用输出信号为幅度与频率双变量的新型反馈(FB)结构,引入时变频率变量而简化动态核函数为二维核函数。使用MW6S010N设计功放并建模,由仿真可知,新模型在单音大信号及码分多址(CDMA)信号激励下,均能正确表征功放特性,归一化均方误差(NMSE)较静态X参数模型、传统动态X参数模型以及前馈(FF)结构X参数模型分别减少8.0 d B、6.3 d B、2.5 d B。结果表明该模型能够更加准确拟合带有非线性记忆效应功率放大器的特性。展开更多
基金Supported by the National High Technology Research and Development Program of China (863 Program) (2006AA01Z442, 2007AA01Z411)the National Natural Science Foundation of China (60673071, 60970115)Open Foundation of State Key Laboratory of Aerospace Information Security and Trusted Computing, Ministry of Education in China (AISTC2008Q03)
文摘Current trusted computing platform only verifies application＇s static Hash value, it could not prevent application from being dynamic attacked. This paper gives one static analysis-based behavior model building method for trusted computing dynamic verification, including control flow graph （CFG） building, finite state automata （FSA） constructing, e run cycle removing, e transition removing, deterministic finite state （DFA） constructing, trivial FSA removing, and global push down automata （PDA） constructing. According to experiment, this model built is a reduced model for dynamic verification and covers all possible paths, because it is based on binary file static analysis.
文摘为了更准确地描述带有记忆效应的射频(RF)功放特性,基于传统的动态X参数模型,结合功放长期记忆效应以及短期记忆效应机理,提出一种新型动态X参数功放建模方法。新模型保留X参数模型的静态核函数,利用双记忆路径模型提取出表征记忆效应的非线性函数,替换动态核函数。采用输出信号为幅度与频率双变量的新型反馈(FB)结构,引入时变频率变量而简化动态核函数为二维核函数。使用MW6S010N设计功放并建模,由仿真可知,新模型在单音大信号及码分多址(CDMA)信号激励下,均能正确表征功放特性,归一化均方误差(NMSE)较静态X参数模型、传统动态X参数模型以及前馈(FF)结构X参数模型分别减少8.0 d B、6.3 d B、2.5 d B。结果表明该模型能够更加准确拟合带有非线性记忆效应功率放大器的特性。
