The Experts below are selected from a list of 18 Experts worldwide ranked by ideXlab platform
Sabina Rossi - One of the best experts on this subject based on the ideXlab platform.
-
Compositional information flow security for concurrent programs
Journal of Computer Security, 2007Co-Authors: Annalisa Bossi, Carla Piazza, Sabina RossiAbstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched with parallelism and atomic statement constructors. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first-order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading.
-
Compositional information flow security for concurrent programs
2007Co-Authors: Annalisa Bossi, Carla Piazza, Sabina RossiAbstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a standard imperative language enriched with parallelism. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading.
Annalisa Bossi - One of the best experts on this subject based on the ideXlab platform.
-
Compositional information flow security for concurrent programs
Journal of Computer Security, 2007Co-Authors: Annalisa Bossi, Carla Piazza, Sabina RossiAbstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched with parallelism and atomic statement constructors. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first-order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading.
-
Compositional information flow security for concurrent programs
2007Co-Authors: Annalisa Bossi, Carla Piazza, Sabina RossiAbstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a standard imperative language enriched with parallelism. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading.
Wang Suolao - One of the best experts on this subject based on the ideXlab platform.
-
Non-Interference and China's African Policy:The Case of Sudan
2013Co-Authors: Wang SuolaoAbstract:With China's rapidly growing presence in Africa during recent years,China's Noninterference Principle continues to be questioned and criticised,mainly in the Western world.While the Finnish researcher Linda Jakobson claims that China's non-interference"is proving to be a burden",1 the American wr...6Vol.
Rossi S. - One of the best experts on this subject based on the ideXlab platform.
-
Compositional information flow security for concurrent programs
'IOS Press', 2007Co-Authors: Bossi A., Piazza Carla, Rossi S.Abstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched with parallelism and atomic statement constructors. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first-order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading. \ua9 IOS Press and the authors. All rights reserved
Carla Piazza - One of the best experts on this subject based on the ideXlab platform.
-
Compositional information flow security for concurrent programs
Journal of Computer Security, 2007Co-Authors: Annalisa Bossi, Carla Piazza, Sabina RossiAbstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a simple imperative language enriched with parallelism and atomic statement constructors. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first-order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading.
-
Compositional information flow security for concurrent programs
2007Co-Authors: Annalisa Bossi, Carla Piazza, Sabina RossiAbstract:We present a general unwinding framework for the definition of information flow security properties of concurrent programs, described in a standard imperative language enriched with parallelism. We study different classes of programs obtained by instantiating the general framework and we prove that they entail the Noninterference Principle. Accurate proof techniques for the verification of such properties are defined by exploiting the Tarski decidability result for first order formulae over the reals. Moreover, we illustrate how the unwinding framework can be instantiated in order to deal with intentional information release and we extend our verification techniques to the analysis of security properties of programs admitting downgrading.