Timed Analysis of Security Protocols

We propose a method for engineering security protocols that are aware of timing aspects. We study a simplified version of the well-known Needham Schroeder protocol and the complete Yahalom protocol, where timing information allows the study of different attack scenarios. We model check the protocols using UPPAAL. Further, a taxonomy is obtained by studying and categorising protocols from the well known Clark Jacob library and the Security Protocol Open Repository (SPORE) library. Finally, we present some new challenges and threats that arise when considering time in the analysis, by providing a novel protocol that uses time challenges and exposing a timing attack over an implementation of an existing security protocol

APDs as Single-Photon Detectors for Visible and Near-Infrared Wavelenghts down to Hz Rates

For the SPECTRAP experiment at GSI, Germany, detectors with Single-Photon counting capability in the visible and near-infrared regime are required. For the wavelength region up to 1100 nm we investigate the performance of 2x2 mm^2 avalanche photo diodes (APDs) of type S0223 manufactured by Radiation Monitoring Devices. To minimize thermal noise, the APDs are cooled to approximately -170 deg. C using liquid nitrogen. By operating the diodes close to the breakdown voltage it is possible to achieve relative gains in excess of 2x10^4. Custom-made low noise preamplifiers are used to read out the devices. The measurements presented in this paper have been obtained at a relative gain of 2.2x10^4. At a discriminator threshold of 6 mV the resulting dark count rate is in the region of 230/s. With these settings the studied APDs are able to detect single photons at 628 nm wavelength with a photo detection efficiency of (67+-7)%. Measurements at 1020 nm wavelength have been performed using the attenuated output of a grating spectrograph with a light bulb as photon source. With this setup the photo detection efficiency at 1020 nm has been determined to be (13+-3)%, again at a threshold of 6 mV.Comment: 14 pages, 9 figures, submitted to Journal of Instrumentatio

Sonochemical Degradation of Perfluorooctane Sulfonate (PFOS) and Perfluorooctanoate (PFOA) in Landfill Groundwater: Environmental Matrix Effects

Perfluorinated chemicals such as perfluorooctane sulfonate (PFOS) and perfluorooctanoic acid (PFOA) are environmentally persistent and recalcitrant to most conventional chemical and microbial treatment technologies. In this paper, we show that sonolysis is able to decompose PFOS and PFOA present in groundwater beneath a landfill. However, the pseudo first-order rate constant for the sonochemical degradation in the landfill groundwater is reduced by 61 and 56% relative to MilliQ water for PFOS and PFOA, respectively, primarily due to the presence of other organic constituents. In this study, we evaluate the effect of various organic compounds on the sonochemical decomposition rates of PFOS and PFOA. Organic components in environmental matrices may reduce the sonochemical degradation rates of PFOS and PFOA by competitive adsorption onto the bubble−water interface or by lowering the average interfacial temperatures during transient bubble collapse events. The effect of individual organic compounds depends on the Langmuir adsorption constant, the Henry’s law constant, the specific heat capacity, and the overall endothermic heat of dissociation. Volatile organic compounds (VOCs) are identified as the primary cause of the sonochemical rate reduction for PFOS and PFOA in landfill groundwater, whereas the effect of dissolved natural organic matter (DOM) is not significant. Finally, a combined process of ozonation and sonolysis is shown to substantially recover the rate loss for PFOS and PFOA in landfill groundwater

Enhancement of perfluorooctanoate and perfluorooctanesulfonate activity at acoustic cavitation bubble interfaces

Acoustic cavitation driven by ultrasonic irradiation decomposes and mineralizes the recalcitrant perfluorinated surfactants perfluorooctanesulfonate (PFOS) and perfluorooctanoate (PFOA). Pyrolytic cleavage of the ionic headgroup is the rate-determining step. In this study, we examine the sonochemical adsorption of PFOX, where X = S for PFOS and A for PFOA, by determining kinetic order and absolute rates over an initial PFOX concentration range of 20 nM to 200 μM. Sonochemical PFOX kinetics transition from pseudo-first-order at low initial concentrations, [PFOX]_i 40 μM, as the bubble interface sites are saturated. At PFOX concentrations below 100 μM, concentration-dependent rates were modeled with Langmuir−Hinshelwood (LH) kinetics. Empirically determined rate maximums, V_(Max)^(−PFOA) = 2230 ± 560 nM min^−1 and V_(Max)^(−PFOS) = 230 ± 60 nM min^−1, were used in the LH model, and sonochemical surface activities were estimated to be K_(Sono)^(PFOS) = 120000 M^−1 and K_(Sono)^(PFOA) = 28500 M^−1, 60 and 80 times greater than equilibrium surface activities, K_(Eq)^(PFOS) and K_(Eq)^(PFOA). These results suggest enhanced sonochemical degradation rates for PFOX when the bubble interface is undersaturated. The present results are compared to previously reported sonochemical kinetics of nonvolatile surfactants

Hysteretic and chaotic dynamics of viscous drops in creeping flows with rotation

It has been shown in our previous publication (Blawzdziewicz,Cristini,Loewenberg,2003) that high-viscosity drops in two dimensional linear creeping flows with a nonzero vorticity component may have two stable stationary states. One state corresponds to a nearly spherical, compact drop stabilized primarily by rotation, and the other to an elongated drop stabilized primarily by capillary forces. Here we explore consequences of the drop bistability for the dynamics of highly viscous drops. Using both boundary-integral simulations and small-deformation theory we show that a quasi-static change of the flow vorticity gives rise to a hysteretic response of the drop shape, with rapid changes between the compact and elongated solutions at critical values of the vorticity. In flows with sinusoidal temporal variation of the vorticity we find chaotic drop dynamics in response to the periodic forcing. A cascade of period-doubling bifurcations is found to be directly responsible for the transition to chaos. In random flows we obtain a bimodal drop-length distribution. Some analogies with the dynamics of macromolecules and vesicles are pointed out.Comment: 22 pages, 13 figures. submitted to Journal of Fluid Mechanic

Observation of high-Tc superconductivity in inhomogeneous combinatorial ceramics

A single-sample synthesis concept based on multi-element ceramic samples can produce a variety of local products. When applied to cuprate superconductors (SC), statistical modelling predicts the occurrence of possible compounds in a concentration range of about 50 ppm. In samples with such low concentrations, determining which compositions are superconducting is a challenging task and requires local probes or separation techniques. Here, we report results from samples with seven components: BaO2, CaCO3, SrCO3, La2O3, PbCO3, ZrO2 and CuO oxides and carbonates, starting from different grain sizes. The reacted ceramics show different phases, particular grain growth, as well as variations in homogeneity and superconducting properties. High-Tc superconductivity up to 118 K was found. Powder x-ray diffraction (XRD) in combination with energy-dispersive spectroscopy (EDS), scanning transmission electron microscopy (STEM) can assign Pb1223 and (Sr,Ca,Ba)0.7-1.0CuO2 phases in inhomogeneous samples milled with 10 mm ball sizes. Rather uniform samples featuring strong grain growth were obtained with 3 mm ball sizes, resulting in Tc =70 K superconductivity of the La(Ba,Ca)2Cu3Ox based phase. Scanning SQUID microscopy (SSM) establishes locally formed superconducting areas at a level of a few microns in inhomogeneous superconducting particles captured by a magnetic separation technique. The present results demonstrate a new synthetic approach for attaining high-Tc superconductivity in compounds without Bi, Tl, Hg, or the need for high-pressure synthesis

Assessing the Quality of Regulatory Impact Analyses

This study provides the most comprehensive evaluation of the quality of recent economic analyses that agencies conduct before finalizing major regulations. We construct a new dataset that includes analyses of forty-eight major health, safety, and environmental regulations from mid-1996 to mid-1999. This dataset provides detailed information on a variety of issues, including an agency's treatment of benefits, costs, net benefits, discounting, and uncertainty. We use this dataset to assess the quality of recent economic analyses and to determine the extent to which they are consistent with President Clinton's Executive Order 12866 and the benefit-cost guidelines issued by the Office of Management and Budget (OMB). We find that economic analyses prepared by regulatory agencies typically do not provide enough information to make decisions that will maximize the efficiency or effectiveness of a rule. Agencies quantified net benefits for only 29 percent of the rules. Agencies failed to discuss alternatives in 27 percent of the rules and quantified costs and benefits of alternatives in only 31 percent of the rules. Our findings strongly suggest that agencies generally failed to comply with the executive order and adhere to the OMB guidelines. We offer specific suggestions for improving the quality of analysis and the transparency of the regulatory process, including writing clear executive summaries, making analyses available on the Internet, providing more careful consideration of alternatives to a regulation, and estimating net benefits of a regulation when data on costs and benefits are provided.

APDs as Single-Photon Detectors for Visible and Near-Infrared Wavelenghts down to Hz Rates

For the SPECTRAP experiment at GSI, Germany, detectors with Single-Photon counting capability in the visible and near-infrared regime are required. For the wavelength region up to 1100 nm we investigate the performance of 2x2 mm^2 avalanche photo diodes (APDs) of type S0223 manufactured by Radiation Monitoring Devices. To minimize thermal noise, the APDs are cooled to approximately -170 deg. C using liquid nitrogen. By operating the diodes close to the breakdown voltage it is possible to achieve relative gains in excess of 2x10^4. Custom-made low noise preamplifiers are used to read out the devices. The measurements presented in this paper have been obtained at a relative gain of 2.2x10^4. At a discriminator threshold of 6 mV the resulting dark count rate is in the region of 230/s. With these settings the studied APDs are able to detect single photons at 628 nm wavelength with a photo detection efficiency of (67+-7)%. Measurements at 1020 nm wavelength have been performed using the attenuated output of a grating spectrograph with a light bulb as photon source. With this setup the photo detection efficiency at 1020 nm has been determined to be (13+-3)%, again at a threshold of 6 mV.Comment: 14 pages, 9 figures, submitted to Journal of Instrumentatio

A direct optical method for the study of grain boundary melting

The structure and evolution of grain boundaries underlies the nature of polycrystalline materials. Here we describe an experimental apparatus and light reflection technique for measuring disorder at grain boundaries in optically clear material, in thermodynamic equilibrium. The approach is demonstrated on ice bicrystals. Crystallographic orientation is measured for each ice sample. The type and concentration of impurity in the liquid can be controlled and the temperature can be continuously recorded and controlled over a range near the melting point. The general methodology is appropriate for a wide variety of materials.Comment: 8 pages, 8 figures, updated with minor changes made to published versio