In this paper we show how access control policies can be specified using term rewriting systems and present the corresponding implementation realized using the Tom framework. We focus on two well known models (BellLapadula and McLean) and propose an algorithm that detects potential information leakages, i.e. checks that information can be accessed only by authorized users independently of the a...

This paper presents the results of experimental and numerical tests on the behaviour of radial lip seals in order to characterize a model of the effects of vibrations and working temperature. Starting validation of the numerical analysis, performed with the Finite Element Method, is obtained measuring the frequency response function (FRF) by using different excitation signals. Seal’s lip displa...

Abstract During the Pleistocene, Earth’s climate changed dramatically. The mid-Pleistocene transition (MPT; ~1.3–0.7 million years (Ma)) featured an important ice volume increase at both poles. evolution of large Arctic sheets caused sequestration methane as free gas and hydrates in subseabed sediments. Ice changes, associated with variable pressures temperatures, perturbed those giant reservoi...

Abstract Leakages from buried water pipes can result in suffosion posing a threat to the environment and infrastructure existing cities. Leakage of pressure pipe into soil susceptible is very complex phenomenon, characterized by number different parameters. Taking account all parameters empirical tests leakage practically impossible. Thus, it necessary select them so that on one hand possible p...