Lilia Sfaxi

Learn More
Non-interference is a strong security policy that enforces the confidentiality and integrity. Many solutions are proposed in the state of the art for verifying this policy in programs, but few tools are proposed to implement it. In this paper, we define a high level model called CIF (Component Information Flow) and we develop the tools that simplify(More)
Automating the construction of secure distributed systems becomes necessary. Indeed, developing security code requires a deep expertise and verifying that the developed code respects the specified policy is a tedious task. In this paper, we define a toolkit called CIF (Component Information Flow) that automates the development of secure distributed systems.(More)
  • 1