基于安全类型系统的访问控制模型
首先，为π-演算建立具有安全级别的安全类型。然后，建立该安全类型的子类规则和类型规则，并通过类型推理实现安全策略、访问权限的传递与改变。最后，证明该类型系统的类型可靠性，表明满足初始安全策略的系统经过不断的演进、交互依然是满足安全要求的。本文建立的类型系统可通过静态类型检验实现细颗粒度的访问控制。
安全模型 访问控制模型 类型系统
王立斌 陈克非
上海交通大学计算机科学与工程系,中国上海,200030
国内会议
上海
中文
426-431
2004-03-01（万方平台首次上网日期，不代表论文的发表时间）