Secured Information Flow for Asynchronous Sequential Processes

  title={Secured Information Flow for Asynchronous Sequential Processes},
  author={Isabelle Attali and Denis Caromel and Ludovic Henrio and Felipe Luna Del Aguila},
  journal={Electr. Notes Theor. Comput. Sci.},
We present in this article a precise security model for data confidentiality in the framework of ASP (Asynchronous Sequential Processes). ASP is based on active objects, asynchronous communications, and data-flow synchronizations. We extend it with security levels attached to activities (active objects) and transmitted data. We design a security model that guarantees data confidentiality within an application; this security model takes advantages of both mandatory and discretionary access… CONTINUE READING
4 Extracted Citations
20 Extracted References
Similar Papers

Citing Papers

Publications influenced by this paper.

Similar Papers

Loading similar papers…