阿维克·乔杜里 并发对象演算中的动态访问控制。 （英语） Zbl 1151.68518号 Baier，Christel（编辑）等人，CONCUR 2006–并发理论。第17届国际会议，CONCUR 2006，德国波恩，2006年8月27日至30日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-37376-6/pbk）。计算机科学课堂讲稿4137263-278（2006）。 摘要：我们开发了Gordon和Hankin的并发对象演算的变体，支持对方法的灵活访问控制。我们研究使用结果语言对共享资源的安全管理和访问。具体来说，我们展示了一个静态类型系统，该系统保证了对动态规范的对象的安全操作，在动态规范中，这些规范是通过在运行时对底层方法的访问更改来实施的。通过用保密组标记类型，我们表明，良好类型的系统在动态访问控制和不可信环境中保持其机密。有关整个系列，请参见[Zbl 1114.68001号]. 引用于1文件 MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） PDF格式BibTeX公司 XML格式引用 \textit{A.Chaudhuri}，莱克特。票据计算。科学。4137263-278（2006年；Zbl 1151.68518） 全文： 内政部