On the Security of Two RFID Mutual Authentication Protocols

In this paper, the security of two recent RFID mutual authentication protocols are investigated. The first protocol is a scheme proposed by Huang et al. [7] and the second one by Huang, Lin and Li [6]. We show that these two protocols have several weaknesses. In Huang et al.’s scheme, an adversary can determine the 32-bit secret password with a probability of 2−2 , and in Huang-Lin-Li scheme, a passive adversary can recognize a target tag with a success probability of 1−2−4 and an active adversary can determine all 32 bits of Access password with success probability of 2−4 . The computational complexity of these attacks is negligible.

Equilibrium and column studies of iron exchange with strong acid cation resin

The exchange of iron species from iron (III) chloride solutions with a strong acid cation resin has been investigated in relation to a variety of water and wastewater applications. A detailed equilibrium isotherm analysis was conducted wherein models such as Langmuir Vageler, Competitive Langmuir, Freundlich, Temkin, Dubinin Astakhov, Sips and Brouers-Sotolongo were applied to the experimental data. An important conclusion was that both the bottle-point method and solution normality used to generate the ion exchange equilibrium information influenced which sorption model fitted the isotherm profiles optimally. Invariably, the calculated value for the maximum loading of iron on strong acid cation resin was substantially higher than the value of 47.1 g/kg of resin which would occur if one Fe3+ ion exchanged for three “H+” sites on the resin surface. Consequently, it was suggested that above pH 1, various iron complexes sorbed to the resin in a manner which required less than 3 sites per iron moiety. Column trials suggested that the iron loading was 86.6 g/kg of resin when 1342 mg/L Fe (III) ions in water were flowed at 31.7 bed volumes per hour. Regeneration with 5 to 10 % HCl solutions reclaimed approximately 90 % of exchange sites.

An examination of isotherm generation : impact of bottle-point method upon potassium ion exchange with strong acid cation resin

This paper relates to the importance of impact of the chosen bottle-point method when conducting ion exchange equilibria experiments. As an illustration, potassium ion exchange with strong acid cation resin was investigated due to its relevance to the treatment of various industrial effluents and groundwater. The “constant mass” bottle-point method was shown to be problematic in that depending upon the resin mass used the equilibrium isotherm profiles were different. Indeed, application of common equilibrium isotherm models revealed that the optimal fit could be with either the Freundlich or Temkin equations, depending upon the conditions employed. It could be inferred that the resin surface was heterogeneous in character, but precise conclusions regarding the variation in the heat of sorption were not possible. Estimation of the maximum potassium loading was also inconsistent when employing the “constant mass” method. The “constant concentration” bottle-point method illustrated that the Freundlich model was a good representation of the exchange process. The isotherms recorded were relatively consistent when compared to the “constant mass” approach. Unification of all the equilibrium isotherm data acquired was achieved by use of the Langmuir Vageler expression. The maximum loading of potassium ions was predicted to be at least 116.5 g/kg resin.

Bi-modal biometric authentication on mobile phones in challenging conditions

This paper examines the issue of face, speaker and bi-modal authentication in mobile environments when there is significant condition mismatch. We introduce this mismatch by enrolling client models on high quality biometric samples obtained on a laptop computer and authenticating them on lower quality biometric samples acquired with a mobile phone. To perform these experiments we develop three novel authentication protocols for the large publicly available MOBIO database. We evaluate state-of-the-art face, speaker and bi-modal authentication techniques and show that inter-session variability modelling using Gaussian mixture models provides a consistently robust system for face, speaker and bi-modal authentication. It is also shown that multi-algorithm fusion provides a consistent performance improvement for face, speaker and bi-modal authentication. Using this bi-modal multi-algorithm system we derive a state-of-the-art authentication system that obtains a half total error rate of 6.3% and 1.9% for Female and Male trials, respectively.

Predictive motion planning for AUVs subject to strong time-varying currents and forecasting uncertainties

This paper presents a novel path planning method for minimizing the energy consumption of an autonomous underwater vehicle subjected to time varying ocean disturbances and forecast model uncertainty. The algorithm determines 4-Dimensional path candidates using Nonlinear Robust Model Predictive Control (NRMPC) and solutions optimised using A*-like algorithms. Vehicle performance limits are incorporated into the algorithm with disturbances represented as spatial and temporally varying ocean currents with a bounded uncertainty in their predictions. The proposed algorithm is demonstrated through simulations using a 4-Dimensional, spatially distributed time-series predictive ocean current model. Results show the combined NRMPC and A* approach is capable of generating energy-efficient paths which are resistant to both dynamic disturbances and ocean model uncertainty.

Formal modelling and analysis of DNP3 secure authentication

Supervisory Control and Data Acquisition (SCADA) systems are one of the key foundations of smart grids. The Distributed Network Protocol version 3 (DNP3) is a standard SCADA protocol designed to facilitate communications in substations and smart grid nodes. The protocol is embedded with a security mechanism called Secure Authentication (DNP3-SA). This mechanism ensures that end-to-end communication security is provided in substations. This paper presents a formal model for the behavioural analysis of DNP3-SA using Coloured Petri Nets (CPN). Our DNP3-SA CPN model is capable of testing and verifying various attack scenarios: modification, replay and spoofing, combined complex attack and mitigation strategies. Using the model has revealed a previously unidentified flaw in the DNP3-SA protocol that can be exploited by an attacker that has access to the network interconnecting DNP3 devices. An attacker can launch a successful attack on an outstation without possessing the pre-shared keys by replaying a previously authenticated command with arbitrary parameters. We propose an update to the DNP3-SA protocol that removes the flaw and prevents such attacks. The update is validated and verified using our CPN model proving the effectiveness of the model and importance of the formal protocol analysis.

Two-way strong: A study of vertebrates using Queensland Indigenous knowledges and Montessori Linnaean materials to engage Indigenous secondary school students

The marginalisation that Indigenous secondary students experience in zoology science lessons can be attributed to a chasm they experience between their life in community and the classroom. The study found that the integration of Indigenous and Western science knowledge can provide transformative learning experiences for students which work to strengthen their sense of belonging to community and school. Using action research, the study investigated the integration of both-ways science education into students' zoology lessons. It privileged the community's cultural expertise, practices and connections with students and their families, which worked to enhance student engagement in their learning.

Strong inference in functional neuroimaging

A recurring question for cognitive science is whether functional neuroimaging data can provide evidence for or against psychological theories. As posed, the question reflects an adherence to a popular scientific method known as 'strong inference'. The method entails constructing multiple hypotheses (Hs) and designing experiments so that alternative possible outcomes will refute at least one (i.e., 'falsify' it). In this article, after first delineating some well-documented limitations of strong inference, I provide examples of functional neuroimaging data being used to test Hs from rival modular information-processing models of spoken word production. 'Strong inference' for neuroimaging involves first establishing a systematic mapping of 'processes to processors' for a common modular architecture. Alternate Hs are then constructed from psychological theories that attribute the outcome of manipulating an experimental factor to two or more distinct processing stages within this architecture. Hs are then refutable by a finding of activity differentiated spatially and chronometrically by experimental condition. When employed in this manner, the data offered by functional neuroimaging may be more useful for adjudicating between accounts of processing loci than behavioural measures.

Can biophilic urbanism deliver strong economic and social benefits in cities? An economic and policy invetigations into the increased use of natural elements in urban design

Biophilic urbanism, or urban design that reflects humanity’s innate need for nature, stands to make significant contributions to a range of national, state and local government policies related to climate change mitigation and adaptation, by investigating ways in which nature can be integrated into, around and on top of buildings. Potential benefits of such design include reducing the heat island effect, reducing energy consumption for thermal control, enhancing urban biodiversity, improving well being and productivity, improving water cycle management, and assisting in the response to growing needs for densification and revitalisation of cities. This report will give an overview of the concept of biophilia and consider enablers and disablers to its application to urban planning and design. The paper will present findings from stakeholder engagement and a series of detailed case studies, related to a consideration of the economics of the use of biophilic elements (direct and indirect).

Ion exchange treatment of saline solutions using lanxess S108H strong acid cation resin

Common to many types of water and wastewater is the presence of sodium ions which can be removed by desalination technologies, such as reverse osmosis and ion exchange. The focus of this investigation was ion exchange as it potentially offered several advantages compared to competing methods. The equilibrium and column behaviour of a strong acid cation (SAC) resin was examined for the removal of sodium ions from aqueous sodium chloride solutions of varying normality as well as a coal seam gas water sample. The influence of the bottle-point method to generate the sorption isotherms was evaluated and data interpreted with the Langmuir Vageler, Competitive Langmuir, Freundlich, and Dubinin-Astakhov models. With the constant concentration bottle point method, the predicted maximum exchange levels of sodium ions on the resin ranged from 61.7 to 67.5 g Na/kg resin. The general trend was that the lower the initial concentration of sodium ions in the solution, the lower the maximum capacity of the resin for sodium ions. In contrast, the constant mass bottle point method was found to be problematic in that the isotherm profiles may not be complete, if experimental parameters were not chosen carefully. Column studies supported the observations of the equilibrium studies, with maximum sodium loading of ca. 62.9 g Na/kg resin measured, which was in excellent agreement with the predictions of the data from the constant concentration bottle point method. Equilibria involving coal seam gas water were more complex due to the presence of sodium bicarbonate in solution, albeit the maximum loading capacity for sodium ions was in agreement with the results from the more simple sodium chloride solutions.

Vaccination of koalas (Phascolarctos cinereus) with a recombinant chlamydial major outer membrane protein adjuvanted with poly I:C, a host defense peptide and polyphosphazine, elicits strong and long lasting cellular and humoral immune responses

Chlamydial infections are wide spread in koalas across their range and a solution to this debilitating disease has been sought for over a decade. Antibiotics are the currently accepted therapeutic measure, but are not an effective treatment due to the asymptomatic nature of some infections and a low efficacy rate. Thus, a vaccine would be an ideal way to address this infectious disease threat in the wild. Previous vaccine trials have used a three-dose regimen; however this is very difficult to apply in the field as it would require multiple capture events, which are stressful and invasive processes for the koala. In addition, it requires skilled koala handlers and a significant monetary investment. To overcome these challenges, in this study we utilized a polyphosphazine based poly I:C and a host defense peptide adjuvant combined with recombinant chlamydial major outer membrane protein (rMOMP) antigen to induce long lasting (54 weeks) cellular and humoral immunity in female koalas with a novel single immunizing dose. Immunized koalas produced a strong IgG response in plasma, as well as at mucosal sites. Moreover, they showed high levels of C. pecorum specific neutralizing antibodies in the plasma as well as vaginal and conjunctival secretions. Lastly, Chlamydia-specific lymphocyte proliferation responses were produced against both whole chlamydial elementary bodies and rMOMP protein, over the 12-month period. The results of this study suggest that a single dose rMOMP vaccine incorporating a poly I:C, host defense peptide and polyphosphazine adjuvant is able to stimulate both arms of the immune system in koalas, thereby providing an alternative to antibiotic treatment and/or a three-dose vaccine regime.

Classification and rating of strong-motion earthquake records

Ninety-two strong-motion earthquake records from the California region, U.S.A., have been statistically studied using principal component analysis in terms of twelve important standardized strong-motion characteristics. The first two principal components account for about 57 per cent of the total variance. Based on these two components the earthquake records are classified into nine groups in a two-dimensional principal component plane. Also a unidimensional engineering rating scale is proposed. The procedure can be used as an objective approach for classifying and rating future earthquakes.

Baseline responses of Alphitobius diaperinus (Coleoptera : Tenebrionidae) to cyfluthrin and detection of strong resistance in field populations in eastern Australia

Resistance to cyfluthrin in broiler farm populations of lesser mealworm, Alphitobius diaperinus (Panzer) (Coleoptera: Tenebrionidae), in eastern Australia was suspected to have contributed to recent control failures. In 2000-2001, beetles from 11 broiler farms were tested for resistance by comparing them to an insecticide-susceptible reference population by using topical application. Resistance was detected in almost all beetle populations (up to 22 times the susceptible at the LC50), especially in southeastern Queensland where more cyfluthrin applications had been made. Two from outside southeastern Queensland were found to be susceptible. Dose-mortality data generated from the reference population over a range of cyflutbrin concentrations showed that 0.0007% cyfluthrin at a LC99.9 level could be used as a convenient dose to discriminate between susceptible and resistant populations. Using this discriminating concentration, from 2001 to 2005, the susceptibilities of 18 field populations were determined. Of these, 11 did not exhibit complete mortality at the discriminating concentration (mortality range 2.8-97.7%), and in general, cyfluthrin resistance was directly related to the numbers of cyfluthrin applications. As in the full study, populations outside of southeastern Queensland were found to have lower levels of resistance or were susceptible. One population from an intensively farmed broiler area in southeastern Queensland exhibited low mortality despite having no known exposure to cyfluthrin. Comparisons of LC50 values of three broiler populations and a susceptible population, collected in 2000 and 2001 and recollected in 2004 and 2005 indicated that values from the three broiler populations had increased over this time for all populations. The continued use of cyfluthrin for control of A. diaperinus in eastern Australia is currently under consideration.

Strong-coupling expansion for the momentum distribution of the Bose-Hubbard model with benchmarking against exact numerical results

A strong-coupling expansion for the Green's functions, self-energies, and correlation functions of the Bose-Hubbard model is developed. We illustrate the general formalism, which includes all possible (normal-phase) inhomogeneous effects in the formalism, such as disorder or a trap potential, as well as effects of thermal excitations. The expansion is then employed to calculate the momentum distribution of the bosons in the Mott phase for an infinite homogeneous periodic system at zero temperature through third order in the hopping. By using scaling theory for the critical behavior at zero momentum and at the critical value of the hopping for the Mott insulator–to–superfluid transition along with a generalization of the random-phase-approximation-like form for the momentum distribution, we are able to extrapolate the series to infinite order and produce very accurate quantitative results for the momentum distribution in a simple functional form for one, two, and three dimensions. The accuracy is better in higher dimensions and is on the order of a few percent relative error everywhere except close to the critical value of the hopping divided by the on-site repulsion. In addition, we find simple phenomenological expressions for the Mott-phase lobes in two and three dimensions which are much more accurate than the truncated strong-coupling expansions and any other analytic approximation we are aware of. The strong-coupling expansions and scaling-theory results are benchmarked against numerically exact quantum Monte Carlo simulations in two and three dimensions and against density-matrix renormalization-group calculations in one dimension. These analytic expressions will be useful for quick comparison of experimental results to theory and in many cases can bypass the need for expensive numerical simulations.

Detection and characterisation of strong resistance to phosphine in Brazilian Rhyzopertha dominica (F.) (Coleoptera: Bostrychidae)

As failure to control Rhyzopertha dominica (F.) with phosphine is a common problem in the grain-growing regions of Brazil, a study was undertaken to investigate the frequency, distribution and strength of phosphine resistance in R. dominica in Brazil. Nineteen samples of R. dominica were collected between 1991 and 2003 from central storages where phosphine fumigation had failed to control this species. Insects were cultured without selection until testing in 2005. Each sample was tested for resistance to phosphine on the basis of the response of adults to discriminating concentrations of phosphine (20 and 48 h exposures) and full dose-response assays (48 h exposure). Responses of the Brazilian R. dominica samples were compared with reference susceptible, weak-resistance and strong-resistance strains from Australia in parallel assays. All Brazilian population samples showed resistance to phosphine: five were diagnosed with weak resistance and 14 with strong resistance. Five samples showed levels of resistance similar to the reference strong-resistance strain. A representative highly resistant sample was characterised by exposing mixed-age cultures to a range of constant concentrations of phosphine for various exposure periods. Time to population extinction (TPE) and time to 99.9% suppression of population (LT99.9) values of this sample were generally similar to those of the reference strong-resistance strain. For example, at 0.1, 0.5 and 1.0 mg L-1, LT99.9 values for BR33 and the reference strong-resistance strain were respectively 21, 6.4 and 3.7 days and 17, 6.2 and 3.8 days. With both strains, doubling phosphine concentrations to 2 mg L -1 resulted in increased LT99.9 and TPE. High level and frequency of resistance in all population samples, some of which had been cultured without selection for up to 12 years, suggest little or no fitness deficit associated with phosphine resistance. The present research indicates that widespread phosphine resistance may be developing in Brazil. Fumigation practices should be monitored and resistance management plans implemented to alleviate further resistance development.