The Future Mechanism and Information Flow Security

EasyChair Preprint 499

Abstract

Security for distributed systems is a critical issue since a large number of users and systems are affected by such systems. Challenges of information flow analysis of distributed systems depend on the communication paradigms used and their semantics. One way of avoiding blocking in communication is achieved by using futures as a flexible way for sharing results. The prevalence of futures in active object languages highlights the significance of investigating inherent security and privacy issues related to futures.

We exploit the notion of wrappers for dealing with information security of futures, by extending the runtime system with secrecy levels and applying dynamic checking for securing the use of futures.

Keyphrases: Information Security, Wrappers, active objects, dynamic analysis, first-class futures, information flow, static analysis

@booklet{EasyChair:499,
  author    = {Farzane Karami and Christian Johansen and Olaf Owe and Gerardo Schneider},
  title     = {The Future Mechanism and Information Flow Security},
  howpublished = {EasyChair Preprint 499},
  year      = {EasyChair, 2018}}