武汉大学学报·理学版杂志北大期刊CSCD期刊统计源期刊

武汉大学学报·理学版 2010年第02期杂志 文档列表

武汉大学学报·理学版杂志研究论文

基于访问行为的终端安全模型第125-128页

关键词: 终端安全；  访问行为；  无干扰；  

基于模型检测的可信软件栈测试第129-132页

关键词: 可信计算平台；  可信软件栈；  模型检测；  计算树逻辑；  一致性测试；  

基于软件行为的可信动态度量第133-137页

关键词: 可信动态度量；  可信计算；  软件行为；  行为迹；  

基于中国邮递员问题的可信平台模块测试序列生成优化研究第138-142页

关键词: 可信平台模块；  中国邮递员问题；  状态机理论；  测试优化；  

抗物理攻击的TPM芯片改进设计第143-146页

关键词: 可信计算；  tpm；  物理攻击；  信号完整性分析；  

可信网络连接中一种基于可信度的细粒度授权模型第147-150页

关键词: 可信计算；  可信网络连接；  可信度；  访问授权模型；  

一种应用程序保护模型第151-155页

关键词: 恶意程序；  恶意攻击；  应用程序保护；  访问控制；  

基于模型检测的软件安全性验证方法第156-160页

关键词: 故障树分析；  模型检测；  安全苛求系统；  安全性验证；  

软件结构属性分析与恶意软件检测第161-164页

关键词: 可信软件；  恶意软件；  结构完整性；  数据挖掘；  

一种改进的指针安全分析算法第170-174页

关键词: 指针安全；  数据流分析；  steensgaard算法；  精度；  

Windows环境下TrouSerS的移植第175-178页

关键词: 可信计算；  可信软件栈；  trousers；  

无线自组织网络的MAC协议攻击分析第179-183页

关键词: 无线自组织网络；  mac协议；  有限状态机；  

异构网格环境下的可信依赖任务调度第184-188页

关键词: 网格计算；  依赖任务调度；  可信优化模型；  粒子群进化算法；  

一种基于数字水印的无线传感器网络数据识别传输方案第194-198页

关键词: 无线传感器网络；  数字水印；  数字基因；  识别；  

针对RED脆弱性的分布式LDoS攻击构造第199-202页

关键词: 网络流量攻击；  脆弱性分析；  分布式ldos；