When complex systems are constructed from simpler components it is important to know how properties of the components behave under composition. In this article, we present various...
We present a representative development in the science of security that includes a generic model of computer systems, their security properties and adversaries who actively interf...
Anupam Datta, Jason Franklin, Deepak Garg, Limin J...
We study a security property for processes in dynamic contexts, i.e., contexts that can be reconfigured at runtime. The security property that we propose in this paper, named Per...
Abstract. We propose a new matrix geometric mean satisfying the ten properties given by Ando, Li and Mathias [Linear Alg. Appl. 2004]. This mean is the limit of a sequence which co...
Dario Andrea Bini, Beatrice Meini, Federico Poloni
Abstract—This paper studies the foundations of informationflow security for interactive programs. Previous research assumes that the environment is total, that is, it must alway...