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

灰箱演算是分布与移动计算的模型之一。公平性和匿名性是灰箱演算的重要性质。公平性指的是交互双方的对等性，匿名性是灰箱演算在实际应用中非常有用的性质。本项目研究灰箱演算的两个变种，公平灰箱演算（Fair Ambient）体现了公平性，匿名灰箱演算（Anonymous Ambient）形式化了匿名机制。重点将研究两个模型的标号迁移语义、互模拟等价及其与babrbed互模拟的对应关系、表达能力、匿名灰箱演算与其它灰箱演算变种的关系。公平性能避免现有的灰箱演算中的若干问题，使得模型的代数性质更好；匿名性能解释应用（如安全协议、系统生物学）中的一些现象。本项目的研究将进一步揭示灰箱演算的代数性质，对灰箱演算模型本身的设计也有指导意义，并在灰箱演算的应用上向前走一步。