您的位置： 专家智库 > >

国家自然科学基金(60473006)

作品数：9 被引量：28H指数：4
相关作者：顾永跟傅育熙董笑菊朱涵龙环更多>>
相关机构：上海交通大学湖州师范学院浙江师范大学更多>>
发文基金：国家自然科学基金国家杰出青年科学基金国家重点基础研究发展计划更多>>
相关领域：自动化与计算机技术理学语言文字更多>>

领域

  • 14个自动化与计算...
  • 8个理学
  • 7个文化科学
  • 4个经济管理
  • 4个电子电信
  • 4个医药卫生
  • 3个政治法律
  • 2个环境科学与工...
  • 2个农业科学
  • 2个语言文字
  • 1个生物学
  • 1个机械工程
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个一般工业技术
  • 1个社会学
  • 1个自然科学总论

主题

  • 10个形式化
  • 10个网络
  • 9个安全协议
  • 7个互模拟
  • 6个认证性
  • 5个形式化分析
  • 4个形式化方法
  • 4个形式化研究
  • 4个形式化验证
  • 4个语义
  • 3个代理
  • 3个等价
  • 3个电子支付
  • 3个电子支付协议
  • 3个应用软件
  • 2个电池
  • 2个电力
  • 2个电子商务
  • 2个心电
  • 2个异常检测

机构

  • 13个上海交通大学
  • 2个湖州师范学院
  • 1个成都科技大学
  • 1个华东理工大学
  • 1个四川大学
  • 1个浙江师范大学
  • 1个大连远洋运输...

资助

  • 14个国家自然科学...
  • 10个国家杰出青年...
  • 9个国家重点基础...
  • 6个国家教育部博...
  • 3个浙江省自然科...
  • 3个浙江省科技计...
  • 2个国家高技术研...
  • 2个上海市自然科...
  • 2个浙江省教育厅...
  • 2个湖州市自然科...
  • 2个浙江省教育科...
  • 1个高等学校骨干...
  • 1个教育部“优秀...
  • 1个四川省科技攻...
  • 1个浙江省新世纪...
  • 1个国家部委预研...
  • 1个湖州市科技攻...
  • 1个湖州市科技计...
  • 1个教育部“春晖...
  • 1个上海市教育发...

传媒

  • 8个上海交通大学...
  • 6个软件学报
  • 6个计算机科学
  • 5个计算机研究与...
  • 5个计算机学报
  • 5个计算机工程
  • 5个计算机应用研...
  • 4个2005年全...
  • 3个计算机工程与...
  • 3个计算机应用与...
  • 3个微电子学与计...
  • 3个计算机仿真
  • 2个计算机应用
  • 2个中国生物医学...
  • 2个情报探索
  • 2个湖州师范学院...
  • 2个计算机教育
  • 2个湖州职业技术...
  • 2个2006年全...
  • 1个中国图象图形...

地区

  • 10个上海市
  • 3个浙江省
  • 1个四川省
共 14 条 记 录，以下是 1-10
顾永跟
供职机构：湖州师范学院信息与工程学院
研究主题：安全协议 云计算 激励机制 区块链 指纹匹配
发表作品相关人物供职机构所获资助研究领域
傅育熙
供职机构：上海交通大学电子信息与电气工程学院软件学院
研究主题：进程代数 互模拟 并发计算 Π-演算 元模型
发表作品相关人物供职机构所获资助研究领域
董笑菊
供职机构：上海交通大学
研究主题：互模拟 进程代数 P系统 可视化 网络异常
发表作品相关人物供职机构所获资助研究领域
李国强
供职机构：上海交通大学
研究主题：形式化研究 PETRI网 形式化验证 SPI演算 非交互式
发表作品相关人物供职机构所获资助研究领域
钟发荣
供职机构：浙江师范大学数理与信息工程学院
研究主题：网络可靠度 可靠性分析 进程代数 BDD 网络
发表作品相关人物供职机构所获资助研究领域
宋琳
供职机构：上海交通大学
研究主题：公共服务视角 新社会阶层 自由择业知识分子 信息融合 卡尔曼滤波
发表作品相关人物供职机构所获资助研究领域
周璐
供职机构：上海交通大学
研究主题：安全协议 病变检测 技术门槛 息肉 自我更新
发表作品相关人物供职机构所获资助研究领域
衷国涛
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题：SPI演算 安全协议 仿真 认证性 CSP
发表作品相关人物供职机构所获资助研究领域
蔡小娟
供职机构：上海交通大学电子信息与电气工程学院
研究主题：安全协议 形式化 形式化分析 匿名性 保密性
发表作品相关人物供职机构所获资助研究领域
朱涵
供职机构：上海交通大学电子信息与电气工程学院计算机科学与工程系
研究主题：安全协议 STATE PROGRAM 形式化分析 EQUIVALENCE
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0