This paper contributes to the investigation of object-sensitive information flow properties for sequential Java, i.e., properties that take into account information leakage through objects, as opposed to primitive values. We present two improvements to a popular object-sensitive noninterference property. Both reduce the burden on analysis and monitoring tools. The second contribution is a forma...

The calculation of ground water transit times is one important factor in ground water protection. In this paper, we present an analytical solution for the transit time for a Dupuit-type flow system applicable to saturated flow through a horizontal leaky aquifer discharging to a downgradient fixed-head boundary under steady-state conditions. We investigate the influence of leakage when comparing...

The economic and environmental losses due to serious leakage in the urban water supply network have increased the effort to control the water leakage. However, current methods for leakage estimation are inaccurate leading to the development of ineffective leakage controls. Therefore, this study proposes a method based on the blind source separation theory (BSS) to calculate the leakage of water...

micro-leakage, one of the major reasons for recurrent decays, may lead to uncontrollable flow of liquids, pulp inflammation and peri-apical pathology. the purpose of this in vitro study was to evaluate micro-leakage of pit and fissure sealants after using three different pit and fissure preparation techniques: 1) acid etching, 2) fissure enameloplasty and acid etching, and 3) air abrasion and a...

Of 521 patients with erectile dysfunction in whom a multidisciplinary approach was used, 145 (27.8%) showed venous leakage as (concomitant) etiology of the impotence in dynamic cavernosography. The rate of the maintenance flow corresponded well with the response to a standardized intracavernosal injection of vasoactive drugs (p less than 0.05) in patients with venous leakage. The maintenance fl...

A new notion of Security Boundary is introduced to model multilevel security policies in the scenario of mobile systems, within Cardelli and Gordon’s “pure” Mobile Ambients calculus. Information leakage may be expressed in terms of the possibility for a hostile ambient to access confidential data that are not protected inside a security boundary. A control flow analysis is defined, as a refinem...

Anastomotic leakage is considered as an independent risk factor for postoperative mortality after esophagectomy, and an insufficient blood flow in the reconstructed conduit may be a risk factor of anastomotic leakage. We investigated the clinical significance of blood flow visualization by indocyanine green (ICG) fluorescence in the gastric conduit as a means of predicting the leakage of esopha...

Insulation degradation leading to leakage current flow through the high voltage insulator is a major problem faced by various power distribution utilities. The excessive leakage current flow into the wooden supporting structures (wooden cross-arm and pole) leads to pole-top fires and subsequently power cut-off. Most prior researchers focused on flashover phenomena of insulators rather than inve...