Secured Information Flow for Asynchronous Sequential Processes

@article{Attali2007SecuredIF,
  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.},
  year={2007},
  volume={180},
  pages={17-34}
}
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…