位置：立项数据库 > 立项详情页
2010海峡两岸信息科学与信息技术学术交流会议
  • 项目名称：2010海峡两岸信息科学与信息技术学术交流会议
  • 项目类别：国际(地区)合作与交流项目
  • 批准号：61010306032
  • 项目来源：国家自然科学基金
  • 研究期限：1900-01-01-1900-01-01
  • 项目负责人：申利民
  • 依托单位：燕山大学
  • 批准年度：2010
申利民的项目
面向移动计算基于进程代数和协同信任机制的软件行为分析与判定研究
　基于进程代数和信任机制的软件实体行为协同检测与防护模型
面向应用系统的基于柔性、信任和协同机制的检测与防护软件模型
期刊论文 6
　基于进程代数和信任机制的软件实体行为协同检测与防护模型
面向用户的软件柔性度量及应用研究
期刊论文 37 会议论文 10