Ensuring Secure Non-interference of Programs by Game Semantics

Non-interference is a security property which states that improper information leakages due to direct and indirect flows have not occurred through executing programs. In this paper we investigate a game semantics based formulation ofnon-interference that allows to perform a security analysis of closed and open procedural programs. We show that such formulation is amenable to automated verification techniques. The practicality of this method is illustrated by several examples, which also emphasize its advantage compared to known operational methods for reasoning about open programs.<br/

Assessment of Microbial Quality of Chlorinated Drinking Tap Water and Susceptibility of Gram-Negative Bacterial Isolates towards Chlorine

Sixty (56.1%) water samples crossed the permissible limit of WHO guideline value in heterotrophic plate count and total coliform count each. Ten different genera of gram-negative bacteria were recovered, among which E. coli was predominant followed by Citrobacter spp., Shigella spp., Enterobacter spp., Providencia spp., Klebsiella spp., Salmonella spp., Pseudomonas spp., Proteus spp., and Edwardsiella spp. Higher the temperature of water sample, higher the bacterial growth was obtained (p= 0.002), and similarly, a higher level of free residual chlorine in water reduced the bacterial growth (p= 0.037). However, increase or decrease of pH (p= 0.454), turbidity (p= 0.164), and conductivity (p= 0.969) didn't affect the microbial growth. A negative correlation (r= -0.162) between heterotrophic plate count and free residual chlorine was observed, but without statistical significance (p= 0.096). Similarly, a negative correlation (r= -0.383) between total coliform count and free residual chlorine was observed with statistical significance (p= 0.001). In the chlorine assay, all tested eight different genera of gram-negative bacteria were found to be chlorine resistant at 0.2 mg/L for a contact time of 30 minutes. The average time required for T99.9 (3-log) and T99.99 (4-log) reduction of viable isolates from the initial population of 2×106 cells/mL were found to be less than 30 minutes and greater than 60 minutes respectively. Log inactivation of various bacterial isolates with a chlorine concentration of 0.2 mg/L for a contact time of 30 minutes ranged from 3 to 3.5-log. The emergence of chlorine-resistant organisms in drinking water probably demands alternate disinfection or mitigation strategy

Amplitude to phase conversion of InGaAs pin photo-diodes for femtosecond lasers microwave signal generation

When a photo-diode is illuminated by a pulse train from a femtosecond laser, it generates microwaves components at the harmonics of the repetition rate within its bandwidth. The phase of these components (relative to the optical pulse train) is known to be dependent on the optical energy per pulse. We present an experimental study of this dependence in InGaAs pin photo-diodes illuminated with ultra-short pulses generated by an Erbium-doped fiber based femtosecond laser. The energy to phase dependence is measured over a large range of impinging pulse energies near and above saturation for two typical detectors, commonly used in optical frequency metrology with femtosecond laser based optical frequency combs. When scanning the optical pulse energy, the coefficient which relates phase variations to energy variations is found to alternate between positive and negative values, with many (for high harmonics of the repetition rate) vanishing points. By operating the system near one of these vanishing points, the typical amplitude noise level of commercial-core fiber-based femtosecond lasers is sufficiently low to generate state-of-the-art ultra-low phase noise microwave signals, virtually immune to amplitude to phase conversion related noise.Comment: 7 pages, 6 figures, submitted to Applied Physics

Matching Spherical Dust Solutions to Construct Cosmological Models

Conditions for smooth cosmological models are set out and applied to inhomogeneous spherically symmetric models constructed by matching together different Lemaitre-Tolman-Bondi solutions to the Einstein field equations. As an illustration the methods are applied to a collapsing dust sphere in a curved background. This describes a region which expands and then collapses to form a black hole in an Einstein de Sitter background. We show that in all such models if there is no vacuum region then the singularity must go on accreting matter for an infinite LTB time.Comment: 13 pages, Revtex; to appear Gen. Rel. Gra

Radial asymptotics of Lemaitre-Tolman-Bondi dust models

We examine the radial asymptotic behavior of spherically symmetric Lemaitre-Tolman-Bondi dust models by looking at their covariant scalars along radial rays, which are spacelike geodesics parametrized by proper length $\ell$, orthogonal to the 4-velocity and to the orbits of SO(3). By introducing quasi-local scalars defined as integral functions along the rays, we obtain a complete and covariant representation of the models, leading to an initial value parametrization in which all scalars can be given by scaling laws depending on two metric scale factors and two basic initial value functions. Considering regular "open" LTB models whose space slices allow for a diverging $\ell$, we provide the conditions on the radial coordinate so that its asymptotic limit corresponds to the limit as $\ell\to\infty$. The "asymptotic state" is then defined as this limit, together with asymptotic series expansion around it, evaluated for all metric functions, covariant scalars (local and quasi-local) and their fluctuations. By looking at different sets of initial conditions, we examine and classify the asymptotic states of parabolic, hyperbolic and open elliptic models admitting a symmetry center. We show that in the radial direction the models can be asymptotic to any one of the following spacetimes: FLRW dust cosmologies with zero or negative spatial curvature, sections of Minkowski flat space (including Milne's space), sections of the Schwarzschild--Kruskal manifold or self--similar dust solutions.Comment: 44 pages (including a long appendix), 3 figures, IOP LaTeX style. Typos corrected and an important reference added. Accepted for publication in General Relativity and Gravitatio

Very-high energy gamma-ray astronomy: A 23-year success story in high-energy astroparticle physics

Very-high energy (VHE) gamma quanta contribute only a minuscule fraction - below one per million - to the flux of cosmic rays. Nevertheless, being neutral particles they are currently the best "messengers" of processes from the relativistic/ultra-relativistic Universe because they can be extrapolated back to their origin. The window of VHE gamma rays was opened only in 1989 by the Whipple collaboration, reporting the observation of TeV gamma rays from the Crab nebula. After a slow start, this new field of research is now rapidly expanding with the discovery of more than 150 VHE gamma-ray emitting sources. Progress is intimately related with the steady improvement of detectors and rapidly increasing computing power. We give an overview of the early attempts before and around 1989 and the progress after the pioneering work of the Whipple collaboration. The main focus of this article is on the development of experimental techniques for Earth-bound gamma-ray detectors; consequently, more emphasis is given to those experiments that made an initial breakthrough rather than to the successors which often had and have a similar (sometimes even higher) scientific output as the pioneering experiments. The considered energy threshold is about 30 GeV. At lower energies, observations can presently only be performed with balloon or satellite-borne detectors. Irrespective of the stormy experimental progress, the success story could not have been called a success story without a broad scientific output. Therefore we conclude this article with a summary of the scientific rationales and main results achieved over the last two decades.Comment: 45 pages, 38 figures, review prepared for EPJ-H special issue "Cosmic rays, gamma rays and neutrinos: A survey of 100 years of research

Study of Temperature and Concentration Dependence of Refractive Index of Liquids Using a Novel Technique

A simple and reliable method of measuring the refractive index of liquids is reported in the present paper. The technique was employed to study the temperature dependence of refractive index of water (at sodium D-line 589nm). By measuring the refractive index of water at different temperatures, the temperature coefficient of refractive index (dn/dT) was determined. In addition to this, refractive index of different solutions as a function of the concentration was studied. The results were compared with the results obtained from commercial refractometers and it was found that this technique is quite reliable and can be safely used in the study of the optical properties of any transparent liquids

Measurement of the photon+b+b-jet production differential cross section in ppˉp\bar{p} collisions at \sqrt{s}=1.96~\TeV

We present measurements of the differential cross section dsigma/dpT_gamma for the inclusive production of a photon in association with a b-quark jet for photons with rapidities |y_gamma|< 1.0 and 30<pT_gamma <300 GeV, as well as for photons with 1.5<|y_gamma|< 2.5 and 30< pT_gamma <200 GeV, where pT_gamma is the photon transverse momentum. The b-quark jets are required to have pT>15 GeV and rapidity |y_jet| < 1.5. The results are based on data corresponding to an integrated luminosity of 8.7 fb^-1, recorded with the D0 detector at the Fermilab Tevatron $p\bar{p}$ Collider at sqrt(s)=1.96 TeV. The measured cross sections are compared with next-to-leading order perturbative QCD calculations using different sets of parton distribution functions as well as to predictions based on the kT-factorization QCD approach, and those from the Sherpa and Pythia Monte Carlo event generators.Comment: 10 pages, 9 figures, submitted to Phys. Lett.

Search for direct production of charginos and neutralinos in events with three leptons and missing transverse momentum in √s = 7 TeV pp collisions with the ATLAS detector

A search for the direct production of charginos and neutralinos in final states with three electrons or muons and missing transverse momentum is presented. The analysis is based on 4.7 fb−1 of proton–proton collision data delivered by the Large Hadron Collider and recorded with the ATLAS detector. Observations are consistent with Standard Model expectations in three signal regions that are either depleted or enriched in Z-boson decays. Upper limits at 95% confidence level are set in R-parity conserving phenomenological minimal supersymmetric models and in simplified models, significantly extending previous results

Search for pair production of the scalar top quark in muon+tau final states

We present a search for the pair production of scalar top quarks ($\tilde{t}_{1}$), the lightest supersymmetric partners of the top quarks, in $p\bar{p}$ collisions at a center-of-mass energy of 1.96 TeV, using data corresponding to an integrated luminosity of {7.3 $fb^{-1}$} collected with the \dzero experiment at the Fermilab Tevatron Collider. Each scalar top quark is assumed to decay into a $b$ quark, a charged lepton, and a scalar neutrino ($\tilde{\nu}$). We investigate final states arising from $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\mu\tau \tilde{\nu} \tilde{\nu}$ and $\tilde{t}_{1} \bar{\tilde{t}_{1}} \rightarrow b\bar{b}\tau\tau \tilde{\nu} \tilde{\nu}$. With no significant excess of events observed above the background expected from the standard model, we set exclusion limits on this production process in the ($m_{\tilde{t}_{1}}$,$m_{\tilde{\nu}}$) plane.Comment: Submitted to Phys. Lett.