Security Wrappers for Information-Flow Control in Active Object Languages with Futures

Farzane Karami, Olaf Owe, Gerardo Schneider

This paper introduces a run-time mechanism for preventing leakage of secure information in distributed systems. We consider a general concurrency language model, where concurrent o…