位置：立项数据库 > 立项详情页
　基于进程代数和信任机制的软件实体行为协同检测与防护模型
  • 项目名称：　基于进程代数和信任机制的软件实体行为协同检测与防护模型
  • 批准号：t525016001
  • 项目来源：2012年高等学校博士学科点专项科研基金联合资助类课题
  • 研究期限：2013-02-
  • 项目负责人：申利民
  • 依托单位：燕山大学
  • 批准年度：2012
申利民的项目
　基于进程代数和信任机制的软件实体行为协同检测与防护模型
面向应用系统的基于柔性、信任和协同机制的检测与防护软件模型
期刊论文 6
面向用户的软件柔性度量及应用研究
期刊论文 37 会议论文 10
2010海峡两岸信息科学与信息技术学术交流会议
面向移动计算基于进程代数和协同信任机制的软件行为分析与判定研究