课题基金 / 基金详情

灰箱演算的公平性和匿名性研究

批准号：
60573002
项目类别：
面上项目
资助金额：
25.0 万元
负责人：
傅育熙
依托单位：
上海交通大学
学科分类：
计算机科学的基础理论
结题年份：
2008
批准年份：
2005
项目状态：
已结题
项目参与者：
袁霖、李洋、朱涵、吕昊、周璐、蔡小娟
关键词：
并发理论灰箱演算进程互模拟

项目摘要

结项摘要

傅育熙的其他基金

相似基金

相关文献

中文摘要
灰箱演算是分布与移动计算的模型之一。公平性和匿名性是灰箱演算的重要性质。公平性指的是交互双方的对等性，匿名性是灰箱演算在实际应用中非常有用的性质。本项目研究灰箱演算的两个变种，公平灰箱演算（Fair Ambient）体现了公平性，匿名灰箱演算（Anonymous Ambient）形式化了匿名机制。重点将研究两个模型的标号迁移语义、互模拟等价及其与babrbed互模拟的对应关系、表达能力、匿名灰箱演算与其它灰箱演算变种的关系。公平性能避免现有的灰箱演算中的若干问题，使得模型的代数性质更好；匿名性能解释应用（如安全协议、系统生物学）中的一些现象。本项目的研究将进一步揭示灰箱演算的代数性质，对灰箱演算模型本身的设计也有指导意义，并在灰箱演算的应用上向前走一步。
英文摘要
VASS可达性的算法研究
  • 批准号：
    62072299
  • 项目类别：
    面上项目
  • 资助金额：
    56.0万元
  • 批准年份：
    2020
  • 负责人：
    傅育熙
  • 依托单位：
    上海交通大学
无穷状态系统等价性验证
  • 批准号：
    61772336
  • 项目类别：
    面上项目
  • 资助金额：
    63.0万元
  • 批准年份：
    2017
  • 负责人：
    傅育熙
  • 依托单位：
    上海交通大学
进程理论中的否定结果研究
  • 批准号：
    61472239
  • 项目类别：
    面上项目
  • 资助金额：
    80.0万元
  • 批准年份：
    2014
  • 负责人：
    傅育熙
  • 依托单位：
    上海交通大学
M-可解性、M-计算复杂性与计算机科学的模型理论
  • 批准号：
    61033002
  • 项目类别：
    重点项目
  • 资助金额：
    200.0万元
  • 批准年份：
    2010
  • 负责人：
    傅育熙
  • 依托单位：
    上海交通大学
国内基金
海外基金