主动对象的安全限制
密码学与安全
2014-05-06 v1
摘要
本文提供了一个用于分布式主动对象安全性的形式化框架。主动对象通过 futures 异步通信以实现方法调用。该形式化框架基于一种使用半格（semi-lattice）的安全模型，以实现分布式架构至关重要的多方安全。此外，我们为函数式主动对象的编程模型 ASPfun 提供了一种安全类型系统。文中展示了类型安全性和限制属性。因此，ASPfun 实现了安全的向下调用。
引用
@article{arxiv.1405.0867,
title = {Confinement for Active Objects},
author = {Florian Kammueller},
journal= {arXiv preprint arXiv:1405.0867},
year = {2014}
}