Download PDFOpen PDF in browser

The Future Mechanism and Information Flow Security

EasyChair Preprint no. 499

3 pagesPublished: September 12, 2018


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: active objects, dynamic analysis, first-class futures, information flow, Information Security, static analysis, Wrappers

BibTeX entry
BibTeX does not have the right entry for preprints. This is a hack for producing the correct reference:
  author = {Farzane Karami and Christian Johansen and Olaf Owe and Gerardo Schneider},
  title = {The Future Mechanism and Information Flow Security},
  howpublished = {EasyChair Preprint no. 499},

  year = {EasyChair, 2018}}
Download PDFOpen PDF in browser