K maximum probability attack paths generation algorithm for target nodes in networked systems

International Journal of Information Security - As known, security system administrators need to be aware of the security risks and abnormal behaviors in a network system. Given the exploitation...     

Circulation and horizontal fluxes in the northern Adriatic Sea in the period June 1999-July 2002. Part II: nutrients transport

Nutrient concentrations (orthophosphate, orthosilicate and dissolved inorganic nitrogen-DIN) were measured on three transects in the northern Adriatic approximately monthly in the period June 1999-July 2002. The net nutrient transports across the three transects were estimated from these concentration values and calculated water fluxes [Grilli F, Paschini E, Russo A, Precali R, Supi? N. Circulation and horizontal fluxes in the Northern Adriatic Sea in the period June 1999_July 2002. Part I: geostrophic circulation and current measurement. Sci Total Environ 2005-this issue], with the aim to verify their possible role in the mucilage phenomenon. The nutrient transports in the northern Adriatic were very variable, seasonally and from year to year, both in intensity and direction. Some differences were noticed also among the nutrient species. At the northernmost transect Po Delta-Rovinj minimal values and variable directions were recorded, probably due to the prevailing of eastward transversal transports, observed already in late winter, and generally dominant in spring and summer. Northward transport was often measured at the central transect Cesenatico-Cape Kamenjak, particularly in spring 2000 and 2002, and summer 2001, as well as for only DIN in summer 1999. In contrast, southward directions prevailed at the southernmost transect Senigallia-Susak Island. In October significant southward transports occurred at all transects and for all nutrients, particularly strong in 2000, when exceptionally high Po River discharges occurred, and the Western Adriatic Current (WAC) was well developed. However, the nutrient transports in the upper water column were low or northwards at both transect Cesenatico-Cape Kamenjak and Senigallia-Susak Island in June and July 2000, 2001, and 2002, when the mucilage phenomenon developed, but were opposite in 1999, a year without events. The results suggest that high variations of nutrient fluxes and their ratios, in conditions of reduced water dynamics, are essential for the development of the phenomenon, rather than the absolute amounts of the nutrient inputs.     

Circulation and horizontal fluxes in the northern Adriatic Sea in the period June 1999-July 2002. Part I: geostrophic circulation and current measurement

The dramatic increase in the occurrence of massive mucilage events in the northern Adriatic (NA) since their recent conspicuous reappearance in the late 1980s prompted a study of circulation and horizontal fluxes. Three transects with equidistant stations (10 km) were thus monitored monthly between June 1999 and July 2002. The geostrophic method was used to compute currents across the three transects from the CTD data, and dynamic heights provided a picture of the horizontal surface circulation. Currentmeter data records were used to adjust the reference surface and to validate the results for the southernmost and deeper (up to 70 m) transect (Senigallia-Susak Island). Geostrophic currents allowed estimation of monthly water fluxes across the transect. Different circulation regimes in the NA were observed, which may have affected mucilage events. When mucilage was absent (1999) or reduced (2001) in the western sector, the Western Adriatic Current (WAC, carrying water out of the NA) was found to be active, whilst the WAC was very weak or reversed when massive mucilage events occurred (2000 and 2002). Opposite behaviour has been observed for the Istrian Coastal Counter-Current (ICCC, retaining freshwater water in the NA) which was more intense during or after massive mucilage events and did not appear when mucilage was absent. Both WAC weakening and ICCC strengthening indicate a longer residence time of riverine waters in the NA, which favours mucilage development. Conclusively, WAC and ICCC result as key elements in controlling massive mucilage phenomena in the NA.     

Fate of eprinomectin in goat milk and cheeses with different ripening times following pour-on administration

The distribution of eprinomectin in goat milk and cheeses (cacioricotta, caciotta, caprilisco) with different ripening times following a pour-on administration at a single dose rate (500 microg/kg of body weight) and a double dose rate (1,000 microg/kg of body weight) to goats with naturally occurring infections of gastrointestinal nematodes was studied. Milk residues of eprinomectin reached a maximum of 0.55+/-0.18 microg/kg and 1.70+/-0.31 microg/kg at the single and double doses, respectively. The drug concentrations decreased progressively until the fifth day after treatment, when they were less than the detection limit at both dose rates. The eprinomectin levels measured in all cheese types (both treatments) were higher than those recovered in milk at all the sampling times. In caciotta cheeses, the eprinomectin residues levels were constantly higher than other cheeses. With the exception of cheeses made with milk the first day after treatment, eprinomectin concentrations were nearly constant up to the fourth day then decreased by the fifth and sixth days after treatment. In all cases, at both the single and double dosages, the maximum level of eprinomectin residues in goat milk and cheeses remained below the maximum residual level of 20 microg/liter permitted for lactating cattle.     

A secure file sharing service for distributed computing environments

Distributed cryptographic file systems enable file sharing among their users and need the adoption of a key management scheme for the distribution of the cryptographic keys to authorized users according to their specific degree of trust. In this paper we describe the architecture of a basic secure file sharing facility relying on a multi-party threshold-based key-sharing scheme that can be overlaid on top of the existing stackable networked file systems, and discuss its application to the implementation of distributed cryptographic file systems. It provides flexible access control policies supporting multiple combination of roles and trust profiles. A proof of concept prototype implementation within the Linux operating system framework demonstrated its effectiveness in terms of performance and security robustness.     

Pushdown module checking

Model checking is a useful method to verify automatically the correctness of a system with respect to a desired behavior, by checking whether a mathematical model of the system satisfies a formal specification of this behavior. Many systems of interest are open, in the sense that their behavior depends on the interaction with their environment. The model checking problem for finite-state open systems (called module checking) has been intensively studied in the literature. In this paper, we focus on open pushdown systems and we study the related model-checking problem (pushdown module checking, for short) with respect to properties expressed by CTL and CTL ^* formulas. We show that pushdown module checking against CTL (resp., CTL ^*) is 2Exptime-complete (resp., 3Exptime-complete). Moreover, we prove that for a fixed CTL or CTL ^* formula, the problem is Exptime-complete.     

Shape reconstruction of 3D metallic objects via a physical optics distributional approach

The problem of determining the shape of 3D perfect electric conducting (PEC) objects starting from the scattered far field under the incidence of plane waves with a fixed angle of incidence, varying frequency and two orthogonal polarizations is dealt with.Two strategies of reconstruction are presented and compared. In particular, in the first solution strategy the data acquired at the two polarizations are singularly exploited to achieve two different reconstructions and the object surface is then obtained as their “union”. In the second one, all the data (i.e., for both the adopted polarizations) are simultaneously exploited to obtain the reconstruction.In all the cases, by adopting a distributional formulation for the unknown of the problem and thanks to the exploitation of the Kirchhoff approximation, the problem is cast as a linear inverse one and the solution is made stable by adopting a regularization scheme based on the truncated singular value decomposition (TSVD).The reliability of the inversion approach is tested with synthetic data against model error and noise on data.     

Construction of Listeria monocytogenes Mutants with In‐Frame Deletions in the Phosphotransferase Transport System (PTS) and Analysis of Their Growth under Stress Conditions

Listeria monocytogenes is a foodborne pathogen that is difficult to eliminate due to its ability to survive under different stress conditions such as low pH and high salt. To better control this pathogen in food, it is important to understand its survival mechanisms under these stress conditions. LMOf2365_0442, 0443, and 0444 encode for phosphotransferase transport system (PTS) permease (fructose‐specific IIABC components) that is responsible for sugar transport. LMOf2365_0445 encodes for glycosyl hydrolase. These genes were induced by high pressure and inhibited under salt treatments; therefore, we hypothesized that genes encoding these PTS proteins may be involved in general stress responses. To study the function of these genes, deletion mutants of the PTS genes (LMOf2365_0442, LMOf2365_0443, and LMOf2365_0444) and the downstream gene LMOf2365_0445 were created in L. monocytogenes strain F2365. These deletion mutants were tested under different stress conditions. The growth of ?LMOf2365_0445 was increased under nisin (125 μg/mL) treatments compared to the wild‐type (P < 0.01). The growth of ?LMOf2365_0442 in salt (brain–heart infusion medium with 5% NaCl) was significantly increased (P < 0.01), and ?LMOf2365_0442 showed increased growth under acidic conditions (pH 5.0) compared to the wild‐type (P < 0.01). The results from phenotypic arrays demonstrated that some of these mutants showed slightly slower growth under different carbon sources and basic conditions. The results indicate that deletion mutants ?LMOf2365_0442 and ?LMOf2365_0445 were more resistant to multiple stress conditions compared to the wild‐type, suggesting that they may contribute to the general stress response in L. monocytogenes. An understanding of the growth of these mutants under multiple stress conditions may assist in the development of intervention strategies to control L. monocytogenes in food.