Confinement for Active Objects

@article{Kammller2014ConfinementFA,
  title={Confinement for Active Objects},
  author={Florian Kamm{\"u}ller},
  journal={CoRR},
  year={2014},
  volume={abs/1405.0867}
}
In this paper, we provide a formal framework for the security of distributed active objects. Active objects communicate asynchronously implementing method calls via futures. We base the formal framework on a security model that uses a semi-lattice to enable multi-lateral security crucial for distributed architectures. We further provide a security type… CONTINUE READING