Zick Method Adaptation for Horizontal Cylindrical Vessels (H.C.V.) Asymmetrically Supported on Three Saddle Supports with Support Settlements

. This paper presents a way of using the Zick method for the design of the horizontal cylindrical vessel supported in three points. The effect of the settlements has been considered taking into account the PD 5500-2009 prescriptions.The hypothesis used and the results of the calculations reached the conclusion that the bounded of a cylindrical vessel is not recommended to be made in three points

Markov modeling of moving target defense games

We introduce a Markov-model-based framework for Moving Target Defense (MTD) analysis. The framework allows modeling of broad range of MTD strategies, provides general theorems about how the probability of a successful adversary defeating an MTD strategy is related to the amount of time/cost spent by the adversary, and shows how a multi-level composition of MTD strategies can be analyzed by a straightforward combination of the analysis for each one of these strategies. Within the proposed framework we define the concept of security capacity which measures the strength or effectiveness of an MTD strategy: the security capacity depends on MTD specific parameters and more general system parameters. We apply our framework to two concrete MTD strategies

On Protection by Layout Randomization

Layout randomization is a powerful, popular technique for software protection. We present it and study it in programming-language terms. More specifically, we consider layout randomization as part of an implementation for a high-level programming language; the implementation translates this language to a lower-level language in which memory addresses are numbers. We analyze this implementation, by relating low-level attacks against the implementation to contexts in th