论文部分内容阅读
首先，为π-演算建立具有安全级别的安全类型。然后，建立该安全类型的子类规则和类型规则，并通过类型推理实现安全策略、访问权限的传递与改变。最后，证明该类型系统的类型可靠性，表明满足初始安全策略的系统经过不断的演进、交互依然是满足安全要求的。本文建立的类型系统可通过静态类型检验实现细颗粒度的访问控制。