Modelling after-the-fact leakage for key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to prove the security of AKE protocols even when the adversary learns certain secret values. In this work, we address more granular leakage: partial leakage of long-term secrets of protocol principals, even after the session key is established. We introduce a generic key exchange security model, which can be instantiated allowing bounded or continuous leakage, even when the adversary learns certain ephemeral secrets or session keys. Our model is the strongest known partial-leakage-based security model for key exchange protocols. We propose a generic construction of a two-pass leakage-resilient key exchange protocol that is secure in the proposed model, by introducing a new concept: the leakage-resilient NAXOS trick. We identify a special property for public-key cryptosystems: pair generation indistinguishability, and show how to obtain the leakage-resilient NAXOS trick from a pair generation indistinguishable leakage-resilient public-key cryptosystem.

Defining expected cost for the air conditioning to avoid a price spike of electricity market under DSR model

This work presents a demand side response model (DSR) which assists small electricity consumers, through an aggregator, exposed to the market price to proactively mitigate price and peak impact on the electrical system. The proposed model allows consumers to manage air-conditioning when as a function of possible price spikes. The main contribution of this research is to demonstrate how consumers can minimise the total expected cost by optimising air-conditioning to account for occurrences of a price spike in the electricity market. This model investigates how pre-cooling method can be used to minimise energy costs when there is a substantial risk of an electricity price spike. The model was tested with Queensland electricity market data from the Australian Energy Market Operator and Brisbane temperature data from the Bureau of Statistics during hot days on weekdays in the period 2011 to 2012.

Air navigation services in Australia and the United States : a comparative case study

The central document governing the global organization of Air Navigation Services (ANS) is the Convention on International Civil Aviation, commonly referred to as the “Chicago Convention,” whose original version was signed in that city in 1944. In the Convention, Contracting States agreed to ensure the minimum standards of ANS established by ICAO, a specialized United Nations agency created by the Convention. Emanating from obligations under the Chicago Convention, ANS has traditionally provided by departments of national governments. However, there is a widespread trend toward transferring delivery of ANS services outside of line departments of national governments to independent agencies or corporations. The Civil Air Navigation Services Organisation (CANSO), which is the trade association for independent ANS providers, currently counts approximately 60 members, and is steadily growing. However, whatever delivery mechanisms are chosen, national governments remain ultimately responsible for ensuring that adequate ANS services are available. The provision by governments of ANS reflects the responsibility of the state for safety, international relations, and indirectly, the macroeconomic benefits of ensuring a sound infrastructure for aviation. ANS is a “public good” and an “essential good” provided to all aircraft using a country’s airfields and airspace. However, ANS also represents a service that directly benefits only a limited number of users, notably aircraft owners and operators. The idea that the users of the system, rather than the taxpaying public, should incur the costs associated with ANS provision is inherent in the commercialization process. However, ICAO sets out broad principles for the establishment of user charges, which member states are expected to comply with. ICAO states that only distance flown and aircraft weights are acceptable parameters for use in a charging system. These two factors are considered to be easy to measure, bear a reasonable relationship to the value of service received, and do not discriminate due to factors such as where the flight originated or the nation of aircraft registration.

Continuous after-the-fact leakage-resilient key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to provide security even when the adversary learns certain secret keys. In this work, we advance the modelling of AKE protocols by considering more granular, continuous leakage of long-term secrets of protocol participants: the adversary can adaptively request arbitrary leakage of long-term secrets even after the test session is activated, with limits on the amount of leakage per query but no bounds on the total leakage. We present a security model supporting continuous leakage even when the adversary learns certain ephemeral secrets or session keys, and give a generic construction of a two-pass leakage-resilient key exchange protocol that is secure in the model; our protocol achieves continuous, after-the-fact leakage resilience with not much more cost than a previous protocol with only bounded, non-after-the-fact leakage.

Bisphenol A degradation enhanced by air bubbles via advanced oxidation using in situ generated ferrous ions from nano zero-valent iron/palygorskite composite materials

Novel nano zero-valent iron/palygorskite composite materials prepared by evaporative and centrifuge methods are tested for the degradation of bisphenol A in an aqueous medium. A systematic study is presented which showed that nano zero-valent iron material has little effect on bisphenol A degradation. When hydrogen peroxide was added to initiate the reaction, some percentage of bisphenol A removal (∼20%) was achieved; however, with the aid of air bubbles, the percentage removal can be significantly increased to ∼99%. Compared with pristine nano zero-valent iron and commercial iron powder, nano zero-valent iron/palygorskite composite materials have much higher reactivity towards bisphenol A and these materials are superior as they have little impact on the solution pH. However, for pristine nano zero-valent iron, it is difficult to maintain the reaction system at a favourable low pH which is a key factor in maintaining high bisphenol A removal. All materials were characterized by X-ray diffraction, scanning electron microscopy, elemental analysis, transmission electron microscopy and X-ray photoelectron spectroscopy. The optimum conditions were obtained based on a series of batch experiments. This study has extended the application of nano zero-valent iron/palygorskite composites as effective materials for the removal of phenolic compounds from the environment.

Investigation of air quality at Lithgow Correctional Centre

This project was conducted at Lithgow Correctional Centre (LCC), NSW, Australia. Air quality field measurements were conducted on two occasions (23-27 May 2012, and 3-8 December 2012), just before and six months after the introduction of smoke free buildings policies (28 May 2012) at the LCC, respectively. The main aims of this project were to: (1) investigate the indoor air quality; (2) quantify the level of exposure to environmental tobacco smoke (ETS); (3) identify the main indoor particle sources; (4) distinguish between PM2.5 / particle number from ETS, as opposed to other sources; and (5) provide recommendations for improving indoor air quality and/or minimising exposure at the LCC. The measurements were conducted in Unit 5.2A, Unit 5.2B, Unit 1.1 and Unit 3.1, together with personal exposure measurements, based on the following parameters: -Indoor and outdoor particle number (PN) concentration in the size range 0.005-3 µm -Indoor and outdoor PM2.5 particle mass concentration -Indoor and outdoor VOC concentrations -Personal particle number exposure levels (in the size range 0.01-0.3 µm) -Indoor and outdoor CO and CO2 concentrations, temperature and relative humidity In order to enhance the outcomes of this project, the indoor and outdoor particle number (PN) concentrations were measured by two additional instruments (CPC 3787) which were not listed in the original proposal.

The effect of very small air gaps on small field dosimetry

The purpose of this study was to investigate the effect of very small air gaps (less than 1 mm) on the dosimetry of small photon fields used for stereotactic treatments. Measurements were performed with optically stimulated luminescent dosimeters (OSLDs) for 6 MV photons on a Varian 21iX linear accelerator with a Brainlab lMLC attachment for square field sizes down to 6 mm 9 6 mm. Monte Carlo simulations were performed using EGSnrc C++ user code cavity. It was found that the Monte Carlo model used in this study accurately simulated the OSLD measurements on the linear accelerator. For the 6 mm field size, the 0.5 mm air gap upstream to the active area of the OSLD caused a 5.3 % dose reduction relative to a Monte Carlo simulation with no air gap...

Partitioning of dioxins (PCDDs/Fs) in ambient air at urban residential locations

In this work, 17-polychlorinated dibenzo-pdioxin/furan (PCDD/Fs) isomers were measured in ambient air at four urban sites in Seoul, Korea (from February to June 2009). The concentrations of their summed values RPCDD/Fs) across all four sites ranged from 1,947 (271 WHO05 TEQ) (Jong Ro) to 2,600 (349 WHO05 TEQ) fg/m3 (Yang Jae) with a mean of 2,125 ± 317) fg/m3 (292 WHO05 TEQ fg/m3). The sum values for the two isomer groups of RPCDD and RPCDF were 527 (30 WHO05 TEQ) and 1,598 (263 WHO05 TEQ) fg/m3, respectively. The concentration profile of individual species was dominated by the 2,3,4,7,8-PeCDF isomer, which contributed approximately 36 % of the RPCDD/Fs value. The observed temporal trends in PCDD/F concentrations were characterized by relative enhancement in the winter and spring. The relative contribution of different sources, when assessed by principal component analysis, is explained by the dominance of vehicular emissions along with coal (or gas) burning as the key source of ambient PCDD/Fs in the residential areas studied.

Agent-based modelling simulation case study : assessment of airport check-in and evacuation process by considering group travel behaviour of air passengers

Passenger experience has become a major factor that influences the success of an airport. In this context, passenger flow simulation has been used in designing and managing airports. However, most passenger flow simulations failed to consider the group dynamics when developing passenger flow models. In this paper, an agent-based model is presented to simulate passenger behaviour at the airport check-in and evacuation process. The simulation results show that the passenger behaviour can have significant influences on the performance and utilisation of services in airport terminals. The model was created using AnyLogic software and its parameters were initialised using recent research data published in the literature.

Open-air direct current plasma jet : scaling up, uniformity, and cellular control

Atmospheric-pressure plasma jets are commonly used in many fields from medicine to nanotechnology, yet the issue of scaling the discharges up to larger areas without compromising the plasma uniformity remains a major challenge. In this paper, we demonstrate a homogenous cold air plasmaglow with a large cross-section generated by a direct current power supply. There is no risk of glow-to-arc transitions, and the plasmaglow appears uniform regardless of the gap between the nozzle and the surface being processed. Detailed studies show that both the position of the quartz tube and the gas flow rate can be used to control the plasma properties. Further investigation indicates that the residual charges trapped on the inner surface of the quartz tube may be responsible for the generation of the air plasma plume with a large cross-section. The spatially resolved optical emission spectroscopy reveals that the air plasma plume is uniform as it propagates out of the nozzle. The remarkable improvement of the plasma uniformity is used to improve the bio-compatibility of a glass coverslip over a reasonably large area. This improvement is demonstrated by a much more uniform and effective attachment and proliferation of human embryonic kidney 293 (HEK 293) cells on the plasma-treated surface.

Inactivation of a 25.5 µm Enterococcus faecalis biofilm by a room-temperature, battery-operated, handheld air plasma jet

Effective biofilm inactivation using a handheld, mobile plasma jet powered by a 12 V dc battery and operated in open air without any external gas supply is reported. This cold, room-temperature plasma is produced in self-repetitive nanosecond discharges with current pulses of ~100 ns duration, current peak amplitude of ~6 mA and repetition rate of ~20 kHz. It is shown that the reactive plasma species penetrate to the bottom layer of a 25.5 µm-thick Enterococcus faecalis biofilm and produce a strong bactericidal effect. This is the thickest reported biofilm inactivated using room-temperature air plasmas.

Length control of He atmospheric plasma jet plumes: Effects of discharge parameters and ambient air

The effects of various discharge parameters and ambient gas on the length of He atmospheric plasma jet plumes expanding into the open air are studied. It is found that the voltage and width of the discharge-sustaining pulses exert significantly stronger effects on the plume length than the pulse frequency, gas flow rate, and nozzle diameter. This result is explained through detailed analysis of the I-V characteristics of the primary and secondary discharges which reveals the major role of the integrated total charges of the primary discharge in the plasma dynamics. The length of the jet plume can be significantly increased by guiding the propagating plume into a glass tube attached to the nozzle. This increase is attributed to elimination of the diffusion of surrounding air into the plasma plume, an absence which facilitates the propagation of the ionization front. These results are important for establishing a good level of understanding of the expansion dynamics and for enabling a high degree of control of atmospheric pressure plasmas in biomedical, materials synthesis and processing, environmental and other existing and emerging industrial applications. © 2009 American Institute of Physics.

Air pollution and invisible violence

In recent years air pollution has been referred to as an ‘invisible killer’, and ‘an invisible health crisis’ (European Respiratory Society 2012). As other chapters in this collection have argued, the invisibility of crime is manifested through various lenses: lack of knowledge, lack of political and media attention, an absence of policing and regulatory focus, and an unwitting and ill-informed public. All such arguments pertain to air pollution; however, toxic emissions are also literally invisible from sight and consciousness, as are the associated consequences.

Air ion concentrations under overhead power lines

Corona discharge is responsible for the flux of small ions from overhead power lines, and is capable of modifying the ambient electrical environment, such as the air ion concentrations at ground level. Once produced, small ions quickly attach to aerosol particles in the air, producing ‘large ions’, approximately 1 nm to 1 µm in diameter. However, very few studies have measured air ion concentrations directly near high voltage transmission lines. The present study involved the simultaneously measurement of small ion concentration and net large ion concentration using air ion counters and an aerosol electrometer at four power line sites. Both positive and negative small ion concentration (<1.6nm), net large ion concentration (2nm-5μm) and particle number concentration (10nm-2μm) were measured using air ion counters and an aerosol electrometer at four power line sites. Measurements at sites 1 and 2 were conducted at both upwind and downwind sides. The results showed that total ion concentrations on the downwind side were 3-5 times higher than on the upwind side, while particle number concentrations did not show a significant difference. This result also shows that a large number of ions were emitted from the power lines at sites 1 and 2. Furthermore, both positive and negative ions were observed at different power line sites. Dominant positive ions were observed at site 1, with a concentration of 4.4 x 103 ions cm-3, which was 10 times higher than on the upwind side. Contrary to site 1, sites 2 to 4 showed negative ion emissions, with concentrations of -1.2 x 103, -460 and -410 ions cm-3, respectively. These values were higher than the background urban negative ion concentration of 400 cm-3. At site 1 and site 2, the net ion concentration and net particle charge concentration on downwind side of the lines showed same polarities. Further investigations were also conducted into the correlation between net ion concentration and net charge particle concentration 20 m downwind of the power lines at site 2. The two parameters showed a correlation coefficient of 0.72, indicating that a substantial number of ions could attach to particles and affect the particle charge status within a short distance from the source.