Does counting still count? Revisiting the security of counting based user authentication protocols against statistical attacks

At NDSS 2012, Yan et al. analyzed the security of several challenge-response type user authentication protocols against passive observers, and proposed a generic counting based statistical attack to recover the secret of some counting based protocols given a number of observed authentication sessions. Roughly speaking, the attack is based on the fact that secret (pass) objects appear in challenges with a different probability from non-secret (decoy) objects when the responses are taken into account. Although they mentioned that a protocol susceptible to this attack should minimize this difference, they did not give details as to how this can be achieved barring a few suggestions. In this paper, we attempt to fill this gap by generalizing the attack with a much more comprehensive theoretical analysis. Our treatment is more quantitative which enables us to describe a method to theoretically estimate a lower bound on the number of sessions a protocol can be safely used against the attack. Our results include 1) two proposed fixes to make counting protocols practically safe against the attack at the cost of usability, 2) the observation that the attack can be used on non-counting based protocols too as long as challenge generation is contrived, 3) and two main design principles for user authentication protocols which can be considered as extensions of the principles from Yan et al. This detailed theoretical treatment can be used as a guideline during the design of counting based protocols to determine their susceptibility to this attack. The Foxtail protocol, one of the protocols analyzed by Yan et al., is used as a representative to illustrate our theoretical and experimental results.

Process compliance analysis based on behavioural profiles

Process compliance measurement is getting increasing attention in companies due to stricter legal requirements and market pressure for operational excellence. In order to judge on compliance of the business processing, the degree of behavioural deviation of a case, i.e., an observed execution sequence, is quantified with respect to a process model (referred to as fitness, or recall). Recently, different compliance measures have been proposed. Still, nearly all of them are grounded on state-based techniques and the trace equivalence criterion, in particular. As a consequence, these approaches have to deal with the state explosion problem. In this paper, we argue that a behavioural abstraction may be leveraged to measure the compliance of a process log – a collection of cases. To this end, we utilise causal behavioural profiles that capture the behavioural characteristics of process models and cases, and can be computed efficiently. We propose different compliance measures based on these profiles, discuss the impact of noise in process logs on our measures, and show how diagnostic information on non-compliance is derived. As a validation, we report on findings of applying our approach in a case study with an international service provider.

Response variation of optically stimulated luminescence dosimeters

Introduction This study investigates uncertainties pertaining to the use of optically stimulated luminescence dosimeters (OSLDs) in radiotherapy dosimetry. The sensitivity of the luminescent material is related to the density of recombination centres [1], which is in the range of 1015–1016 cm-3. Because of this non-uniform distribution of traps in crystal growth the sensitivity varies substantially within a batch of dosimeters. However, a quantitative understanding of the relationship between the response of an OSLD and its sensitive volume has not yet been investigated or reported in literature. Methods In this work, OSLDs are scanned with a MicroCT scanner to determine potential sources for the variation in relative sensitivity across a selection of Landauer nanoDot dosimeters. Specifically, the correlation between a dosimeters relative sensitivity and the loading density of Al2O3:C powder was determined. Results When extrapolating the sensitive volume’s radiodensity from the CT data, it was shown that there is a non-uniform distribution incrystal growth as illustrated in Fig. 1. A plot of voxel count versus the element-specific correction factor is shown in Fig. 2 where each point represents a single OSLD. A line was fitted which has an R2-value of 0.69 and a P-value of 8.21 9 10-19. This data shows that the response of a dosimeter decreases proportionally with sensitive volume. Extrapolating from this data, a quantitative relationship between response and sensitive volume was roughly determined for this batch of dosimeters. A change in volume of 1.176 9 10-5 cm3 corresponds to a 1 % change in response. In other words, a 0.05 % change in the nominal volume of the chip would result in a 1 % change in response. Discussion and conclusions This work demonstrated that the amount of sensitive material is approximately linked to the total correction factor. Furthermore, the ‘true’ volume of an OSLD’s sensitive material is, on average, 17.90 % less than that which has been reported in literature, mainly due to the presence of air cavities in the material’s structure. Finally, the potential effects of the inaccuracy of Al2O3:C deposition increases with decreasing chip size. If a luminescent dosimeter were manufactured with a smaller volume than currently employed using the same manufacturing protocol, the variation in response from chip to chip would more than likely exceed the current 5 % range.

Electromechanical wave in power systems : theory and applications

The continuum model is a key paradigm describing the behavior of electromechanical transients in power systems. In the past two decades, much research work has been done on applying the continuum model to analyze the electromechanical wave in power systems. In this work, the uniform and non-uniform continuum models are first briefly described, and some explanations borrowing concepts and tools from other fields are given. Then, the existing approaches of investigating the resulting wave equations are summarized. An application named the zero reflection controller based on the idea of the wave equations is next presented.

On extension and torsion of a compressible elastic circular cylinder

In this paper we examine the combined extension and torsion of a compressible isotropic elastic cylinder of finite extent. The equilibrium equations are formulated in terms of the principal stretches and then applied to the special case of pure torsion superimposed on a uniform extension (an isochoric deformation). Explicit necessary and sufficient conditions on the strain-energy function for the material to support this deformation with vanishing traction on the lateral surfaces of the cylinder are obtained. Some strain-energy functions satisfying these conditions are considered, existing results are recovered as special cases and new results are obtained. We also point out how the strain-energy functions generated from the considered isochoric deformation considered (of a compressible material) can be used to generate energy functions and corresponding solutions for the incompressible theory.

Single-step synthesis and magnetic separation of graphene and carbon nanotubes in arc discharge plasmas

The unique properties of graphene and carbon nanotubes made them the most promising nanomaterials attracting enormous attention, due to the prospects for applications in various nanodevices, from nanoelectronics to sensors and energy conversion devices. Here we report on a novel deterministic, single-step approach to simultaneous production and magnetic separation of graphene flakes and carbon nanotubes in an arc discharge by splitting the high-temperature growth and low-temperature separation zones using a non-uniform magnetic field and tailor-designed catalyst alloy, and depositing nanotubes and graphene in different areas. Our results are very relevant to the development of commercially-viable, single-step production of bulk amounts of high-quality graphene.

Reversible and semi-blind relational database watermarking

Database watermarking has received significant research attention in the current decade. Although, almost all watermarking models have been either irreversible (the original relation cannot be restored from the watermarked relation) and/or non-blind (requiring original relation to detect the watermark in watermarked relation). This model has several disadvantages over reversible and blind watermarking (requiring only watermarked relation and secret key from which the watermark is detected and original relation is restored) including inability to identify rightful owner in case of successful secondary watermarking, inability to revert the relation to original data set (required in high precision industries) and requirement to store unmarked relation at a secure secondary storage. To overcome these problems, we propose a watermarking scheme that is reversible as well as blind. We utilize difference expansion on integers to achieve reversibility. The major advantages provided by our scheme are reversibility to high quality original data set, rightful owner identification, resistance against secondary watermarking attacks, and no need to store original database at a secure secondary storage.

Atmospheric-pressure plasma jets : effect of gas flow, active species, and snake-like bullet propagation

Cold atmospheric-pressure plasma jets have recently attracted enormous interest owing to numerous applications in plasma biology, health care, medicine, and nanotechnology. A dedicated study of the interaction between the upstream and downstream plasma plumes revealed that the active species (electrons, ions, excited OH, metastable Ar, and nitrogen-related species) generated by the upstream plasma plume enhance the propagation of the downstream plasma plume. At gas flows exceeding 2 l/min, the downstream plasma plume is longer than the upstream plasma plume. Detailed plasma diagnostics and discharge species analysis suggest that this effect is due to the electrons and ions that are generated by the upstream plasma and flow into the downstream plume. This in turn leads to the relatively higher electron density in the downstream plasma. Moreover, high-speed photography reveals a highly unusual behavior of the plasma bullets, which propagate in snake-like motions, very differently from the previous reports. This behavior is related to the hydrodynamic instability of the gas flow, which results in non-uniform distributions of long-lifetime active species in the discharge tube and of surface charges on the inner surface of the tube.

Drawing and writing on the screen

This chapter focuses on the physicality of the iPad as an object, and how that physicality affects the interactions children have with the device generally, and the apps specifically. Thinking about the physicality of the iPad is important because the materials, size, weight and appearance make the iPad quite unlike most other toys and equipment in the kindergarten space. Most strikingly, this physicality does not ‘represent’ the virtual vast dimensions of the iPad brought about through the diverse functions and contents of the apps contained in it. While the iPad is small enough and functional enough to be easily handled and operated even by young children, it is capable of performing highly complex, highly technological tasks that take it beyond its diminutive dimensions. This virtual-actual contrast is interesting to consider in relation to the other resources more commonly found in a kindergarten space. While objects such as toys, bricks, building materials often do prompt the child to imagine and invent beyond the physical boundaries of the toy, they not have the same types of virtual-actual contrasts of a digital device such as the iPad. How then, might children be drawn to the iPad because of its physical, technological and virtual difference? Particularly, how might this virtual-actual difference impact on the physical skills associated with writing and drawing: skills usually learnt through the use of a pencil and paper? While the research project did not set out to compare how digital and paper-based resources affect writing and drawing skills there was great interest to see how young children negotiated drawing and writing on the shiny glass surface of the iPad.

Fire performance and design of cold-formed steel wall systems

Traditionally, the fire resistance rating of Light gauge steel frame (LSF) wall systems is based on approximate prescriptive methods developed using limited fire tests. These fire tests are conducted using standard fire time-temperature curve given in ISO 834. However, in recent times fire has become a major disaster in buildings due to the increase in fire loads as a result of modern furniture and lightweight construction, which make use of thermoplastics materials, synthetic foams and fabrics. Therefore a detailed research study into the performance of load bearing LSF wall systems under both standard and realistic design fires on one side was undertaken to develop improved fire design rules. This study included both full scale fire tests and numerical studies of eight different LSF wall systems conducted for both the standard fire curve and the recently developed realistic design fire curves. The use of previous fire design rules developed for LSF walls subjected to non-uniform elevated temperature distributions based on AISI design manual and Eurocode 3 Parts 1.2 and 1.3 was investigated first. New simplified fire design rules based on AS/NZS 4600, North American Specification and Eurocode 3 Part 1.3 were then proposed with suitable allowances for the interaction effects of compression and bending actions. The importance of considering thermal bowing, magnified thermal bowing and neutral axis shift in the fire design was also investigated and their effects were included. A spread sheet based design tool was developed based on the new design rules to predict the failure load ratio versus time and temperature curves for varying LSF wall configurations. The accuracy of the proposed design rules was verified using the fire test and finite element analysis results for various wall configurations, steel grades, thicknesses and load ratios under both standard and realistic design fire conditions. A simplified method was also proposed to predict the fire resistance rating of LSF walls based on two sets of equations developed for the load ratio-hot flange temperature and the time-temperature relationships. This paper presents the details of this study on LSF wall systems under fire conditions and the results.

Fire design rules of light gauge steel frame walls – a review

Cold-formed steel members are widely used in load bearing Light gauge steel frame (LSF) wall systems with plasterboard linings on both sides. However, these thin-walled steel sections heat up quickly and lose their strength under fire conditions despite the protection provided by plasterboards. Hence there is a need for simple fire design rules to predict their load capacities and fire resistance ratings. During fire events, the LSF wall studs are subjected to non-uniform temperature distributions that cause thermal bowing, neutral axis shift and magnification effects and thus resulting in a combined axial compression and bending action on the LSF wall studs. In this research a series of full scale fire tests was conducted first to evaluate the performance of LSF wall systems with eight different wall configurations under standard fire conditions. Finite element models of LSF walls were then developed, analysed under transient and steady state conditions, and validated using full scale fire tests. Using the results from fire tests and finite element analyses, a detailed investigation was undertaken into the prediction of axial compression strength and failure times of LSF wall studs in standard fires using the available fire design rules based on Australian, American and European standards. The results from both fire tests and finite element analyses were used to investigate the ability of these fire design rules to include the complex effects of non-uniform temperature distributions and their accuracy in predicting the axial compression strengths of wall studs and the failure times. Suitable modifications were then proposed to the fire design rules. This paper presents the details of this investigation into the accuracy of using currently available fire design rules of LSF walls and the results.

Fouling of waste heat recovery : numerical and experimental results

Numerical results are presented to investigate the performance of a partly-filled porous heat exchanger for waste heat recovery units. A parametric study was conducted to investigate the effects of inlet velocity and porous block height on the pressure drop of the heat exchanger. The focus of this work is on modelling the interface of a porous and non-porous region. As such, numerical simulation of the problem is conducted along with hot-wire measurements to better understand the physics of the problem. Results from the two sources are then compared to existing theoretical predictions available in the literature which are unable to predict the existence of two separation regions before and after the porous block. More interestingly, a non-uniform interface velocity was observed along the streamwise direction based on both numerical and experimental data.

Evaluation of protein bait laced with various insecticides on the Queensland fruit fly (Diptera: Tephritidae): Attraction, feeding, mortality and bait persistence

The use of malathion in fruit fly protein bait sprays has raised serious concerns due to its adverse effects on non-target organisms. This has necessitated the evaluation of novel reduced-risk compounds. This study evaluated the effects of spinosad, fipronil, malathion and chlorpyrifos mixed with fruit fly protein bait (Mauri Pinnacle protein®) on attraction, feeding and mortality of the Queensland fruit fly, Bactrocera tryoni (Froggatt). The effects of outdoor weathering of these mixtures on fly mortality were also determined. In field-cage experiment, protein-starved flies showed the same level of attraction to baits containing spinosad, fipronil, malathion, chlorpyrifos and protein alone used as control. Female protein-starved flies were deterred from feeding on baits containing malathion and chlorpyrifos compared to baits containing spinosad, fipronil and protein alone. Baits containing malathion and chlorpyrifos caused higher fly mortality and rapid fly knock down than spinosad and fipronil. However, spinosad acted slowly and caused an increase in fly mortality over time, causing up to 90% fly mortality after 72-h. Baits containing malathion and chlorpyrifos, applied on citrus leaves and weathered outdoors, had longer residual effectiveness in killing flies than spinosad and fipronil. Residual effectiveness of the spinosad bait mixture waned significantly after 3 days of outdoor weathering. Results suggest that spinosad and fipronil can be potential alternatives for malathion in protein bait sprays.

Behaviour and strength of hollow flange channel sections under torsion and bending

Hollow flange channel section is a cold-formed high-strength and thin-walled steel section with a unique shape including two rectangular hollow flanges and a slender web. Due to its mono-symmetric characteristics, it will also be subjected to torsion when subjected to transverse loads in practical applications. Past research on steel beams subject to torsion has concentrated on open sections while very few steel design standards give suitable design rules for torsion design. Since the hollow flange channel section is different from conventional open sections, its torsional behaviour remains unknown to researchers. Therefore the elastic behaviour of hollow flange channel sections subject to uniform and non-uniform torsion, and combined torsion and bending was investigated using the solutions of appropriate differential equilibrium equations. The section torsion shear flow, warping normal stress distribution, and section constants including torsion constant and warping constant were obtained. The results were compared with those from finite element analyses that verified the accuracy of analytical solutions. Parametric studies were undertaken for simply supported beams subject to a uniformly distributed torque and a uniformly distributed transverse load applied away from the shear centre. This paper presents the details of this research into the elastic behaviour and strength of hollow flange channel sections subject to torsion and bending and the results.

Temperature variation between neighboring days and mortality: a distributed lag non-linear analysis

Objectives To investigate whether a sudden temperature change between neighboring days has significant impact on mortality. Methods A Poisson generalized linear regression model combined with a distributed lag non-linear models was used to estimate the association of temperature change between neighboring days with mortality in a subtropical Chinese city during 2008–2012. Temperature change was calculated as the current day’s temperature minus the previous day’s temperature. Results A significant effect of temperature change between neighboring days on mortality was observed. Temperature increase was significantly associated with elevated mortality from non-accidental and cardiovascular diseases, while temperature decrease had a protective effect on non-accidental mortality and cardiovascular mortality. Males and people aged 65 years or older appeared to be more vulnerable to the impact of temperature change. Conclusions Temperature increase between neighboring days has a significant adverse impact on mortality. Further health mitigation strategies as a response to climate change should take into account temperature variation between neighboring days.