科研专业方向
研究领域:
基础软件
研究方向:
研究方向1: 安全软件工程: 1) 研究安全软件开发的过程 2) 安全软件开发方法的探讨 3) 安全软件开发平台设。 研究方向2: 可信计算: 1)探索基于威胁树和攻击树模型构建可信软件模型的方
研究领域:
基础软件
研究方向:
研究方向1: 安全软件工程: 1) 研究安全软件开发的过程 2) 安全软件开发方法的探讨 3) 安全软件开发平台设。 研究方向2: 可信计算: 1)探索基于威胁树和攻击树模型构建可信软件模型的方
合作单位 | 合作论文数量 |
---|---|
内蒙古大学计算机系 | 2 |
河北软件职业技术学院计算机信息工程系 | 1 |
天津市教育招生考试院 | 1 |
中国信息安全测评中心 | 1 |
美国北达科他州立大学计算机科学系 | 1 |
论文标题 | 基金名称 |
---|---|
3D打印胶原/壳聚糖支架改善大鼠脊髓损伤后神经功能恢复 | 国家自然科学基金 |
基于移动Agent建立企业动态供应链 | 天津市重点攻关基金资助项目 |
面向Internet的弱耦合CAPP体系架构及其实现 | 中国博士后基金资助项目 |
通用的移动Agent系统快速集成开发环境 | 天津市重点科技攻关项目 |
支持四方物流的Web服务集成平台的设计与实现 | 天津市科技支撑计划项目资助 |
面向对象的威胁建模方法 | 国家自然科学基金资助项目 |
基于时间顺序标码的可计算的信任评价模型 | 国家自然科学基金重大研究计划项目 |
活动图模型驱动的Web应用程序测试方法 | 国家自然科学基金资助项目 |
基于WebGIS的第四方物流跟踪及应急系统设计与实现 | 天津市科技支撑计划资助项目 |
J2EE应用软件的架构安全评估方法 | 国家自然科学基金Nos.9111800361272106/F020208~~ |
基于缺陷分析与测试评审的软件可信性评价方法 | 国家自然基金资助项目 |
基于本体和规则的物流知识表示与推理 | 天津市科技发展计划项目 |
元搜索引擎的个性化 | 天津市科技发展计划项目 |
基于攻击场景的安全测试生成方法 | 国家高技术研究发展计划 |
暂无荣誉成就信息
J2EE应用软件的架构安全评估方法
面向对象的威胁建模方法
基于缺陷分析与测试评审的软件可信性评价方法
基于攻击场景的安全测试生成方法
基于时间顺序标码的可计算的信任评价模型
活动图模型驱动的Web应用程序测试方法
支持四方物流的Web服务集成平台的设计与实现
基于WebGIS的第四方物流跟踪及应急系统设计与实现
基于本体和规则的物流知识表示与推理
元搜索引擎的个性化
通用的移动Agent系统快速集成开发环境
基于PVM的并行辐射度声学仿真算法
基于小波变换的视觉信号特征提取方法
基于移动Agent建立企业动态供应链
面向Internet的弱耦合CAPP体系架构及其实现
虚拟环境中声模拟关键技术研究
TiO2/SnO2复合光催化剂的制备及光催化降解敌敌畏
虚拟环境中声模拟的衍射处理
用辐射度算法计算厅堂声学传递特性
3D打印胶原/壳聚糖支架改善大鼠脊髓损伤后神经功能恢复
亚低温促进大鼠创伤性脑损伤后神经再生的机制研究
软件安全漏洞检测关键技术研究及应用
基于语义的大数据存储体系结构及关键技术
Gd:CuS@Flu@RGD纳米制剂的合成方法
CuS@Flu@DOX纳米制剂的合成方法
一种纳米制剂的合成方法
Flu@α-cd47@RGD制剂的合成方法
基于AADL的Web应用架构安全性的评估方法
云架构安全评估方法
软件安全开发中的可复用攻击模式的建立及复用方法
在CC标准下基于活动图扩展的安全需求分析方法
基于Z规格的测试用例生成方法
一种等级驱动的安全需求分析方法
基于安全知识库的安全需求获取方法
威胁模型驱动的软件安全评估方法
建立基于程序切片的Web服务安全分析模型的方法
一种基于模型驱动的安全测试方法