Towards a secure human-and-computer mutual authentication protocol

We blend research from human-computer interface (HCI) design with computational based crypto- graphic provable security. We explore the notion of practice-oriented provable security (POPS), moving the focus to a higher level of abstraction (POPS+) for use in providing provable security for security ceremonies involving humans. In doing so we high- light some challenges and paradigm shifts required to achieve meaningful provable security for a protocol which includes a human. We move the focus of security ceremonies from being protocols in their context of use, to the protocols being cryptographic building blocks in a higher level protocol (the security cere- mony), which POPS can be applied to. In order to illustrate the need for our approach, we analyse both a protocol proven secure in theory, and a similar proto- col implemented by a �nancial institution, from both HCI and cryptographic perspectives.

A framework of promoting stakeholder mutual benefits for sustainable housing implementation

Strong regulatory pressure and rising public awareness on environmental issues will continue to influence the market demand for sustainable housing for years to come. Despite this potential, the voluntary uptake rate of sustainable practices is not as high as expected within the new built housing industry. This is in contrast to the influx of emerging building technologies, new materials and innovative designs as showcased in office buildings and exemplar homes worldwide. One of the possible reasons for this under-performance is that key stakeholders such as developers, builders and consumers do not fully understand and appreciate the related challenges, risks and opportunities of pursuing sustainability. Therefore, in their professional and business activities, they may not be able to see the tangible and mutual benefits that sustainable housing may bring. This research investigates the multiple challenges to achieving benefits (CABs) from sustainable housing development, and links these factors to the characteristics of key stakeholders in the housing supply chain. It begins with a comparative survey study among seven stakeholder groups in the Australian housing industry, in order to examine the importance and interrelationships of CABs. In-depth interviews then further explore the survey findings with a focus on stakeholder diversity, which leads to the identification of 12 critical mutual-benefit factors and their interrelationship. Based on such a platform, a mutual-benefit framework is developed with the aid of Interpretive Structure Modelling, to identify the patterns of stakeholder benefit materialisation, suggest the priority of critical factors and provide related stakeholder-specific action guidelines for sustainable housing implementation. The study concludes with a case study of two real-life housing projects to test the application of the mutual-benefit framework for improvement. This framework will lead to a shared value of sustainability among stakeholders and improved stakeholder collaboration, which in turn help to break the "circle of blame" for the current under-performance of sustainable housing implementation.

Ventilation distribution in rats : Part I - The effect of gas composition as measured with electrical impedance tomography

The measurement of ventilation distribution is currently performed using inhaled tracer gases for multiple breath inhalation studies or imaging techniques to quantify spatial gas distribution. Most tracer gases used for these studies have properties different from that of air. The effect of gas density on regional ventilation distribution has not been studied. This study aimed to measure the effect of gas density on regional ventilation distribution. Methods Ventilation distribution was measured in seven rats using electrical impedance tomography (EIT) in supine, prone, left and right lateral positions while being mechanically ventilated with either air, heliox (30% oxygen, 70% helium) or sulfur hexafluoride (20% SF6, 20% oxygen, 60% air). The effect of gas density on regional ventilation distribution was assessed. Results Gas density did not impact on regional ventilation distribution. The non-dependent lung was better ventilated in all four body positions. Gas density had no further impact on regional filling characteristics. The filling characteristics followed an anatomical pattern with the anterior and left lung showing a greater impedance change during the initial phase of the inspiration. Conclusion It was shown that gas density did not impact on convection dependent ventilation distribution in rats measured with EIT.

Ventilation distribution in rats : part 2 – a comparison of electrical impedance tomography and hyperpolarised helium magnetic resonance imaging

Background: Hyperpolarised helium MRI (He3 MRI) is a new technique that enables imaging of the air distribution within the lungs. This allows accurate determination of the ventilation distribution in vivo. The technique has the disadvantages of requiring an expensive helium isotope, complex apparatus and moving the patient to a compatible MRI scanner. Electrical impedance tomography (EIT) a non-invasive bedside technique that allows constant monitoring of lung impedance, which is dependent on changes in air space capacity in the lung. We have used He3MRI measurements of ventilation distribution as the gold standard for assessment of EIT. Methods: Seven rats were ventilated in supine, prone, left and right lateral position with 70% helium/30% oxygen for EIT measurements and pure helium for He3 MRI. The same ventilator and settings were used for both measurements. Image dimensions, geometric centre and global in homogeneity index were calculated. Results: EIT images were smaller and of lower resolution and contained less anatomical detail than those from He3 MRI. However, both methods could measure positional induced changes in lung ventilation, as assessed by the geometric centre. The global in homogeneity index were comparable between the techniques. Conclusion: EIT is a suitable technique for monitoring ventilation distribution and inhomgeneity as assessed by comparison with He3 MRI.

Arguing the Autopsy : mutual suspicion, jurisdictional confusion and the socially marginal

Vulnerable and marginalised populations are not only over-represented in the criminal justice system, but also in civil jurisdictions like the coronial system. Moreover, many of the personnel who deal with criminal matters, especially in rural and regional areas, are also those who manage the coronial death investigation. This movement back and forth between civil and criminal jurisdictions is difficult for the both professional personnel and the families, but especially for those families who may also have had dealings with these personnel in the criminal justice system, or who present as suspicious due to larger historical and global issues. While coronial legislation now allows families to raise cultural and religious concerns about the process, particularly to do with the autopsy of their loved one, this also requires them to identify themselves to police at the initial stage of the death investigation. This paper, part of a larger body of work on autopsy decision making, discusses the ways in which this information is gathered by police, how it is communicated through the system, the ways in which families are supported through the process, and the difficulties that ensue.

Talk about a YouTube video in preschool : the mutual production of shared understanding for learning with digital technology

Much of what is written about digital technologies in preschool contexts focuses on young children’s acquisition of skills rather than their meaning-making during use of technologies. In this paper, we consider how the viewing of a YouTube video was used by a teacher and children to produce shared understandings about it. Conversation analysis of talk and interaction during the viewing of the video establishes some of the ways that individual accounts of events were produced for others and then endorsed as shared understandings. The analysis establishes how adults and children made use of verbal and embodied actions during interactions to produce shared understandings of the YouTube video, the events it recorded and written commentary about those events

Observability analysis of electric networks considering branch impedance

This paper presents an analytical method to analyze the effect of X to R ratio as well as impedance value of branches on observability of a network based on un-decoupled formulation of state estimation (SE) and null space of matrices. The results showed that the X to R ratio of branches had no effect on the observability of networks. In addition, it was shown that observability of some networks was affected by impedance values while some others were not affected. In addition, for branch observability analysis of radial network, a simple and quick method is developed. Illustrative examples of the network under transmission and distribution voltages demonstrate the effectiveness of the proposed methods.

A sequential Monte Carlo framework for adaptive Bayesian model discrimination designs using mutual information

In this paper we present a unified sequential Monte Carlo (SMC) framework for performing sequential experimental design for discriminating between a set of models. The model discrimination utility that we advocate is fully Bayesian and based upon the mutual information. SMC provides a convenient way to estimate the mutual information. Our experience suggests that the approach works well on either a set of discrete or continuous models and outperforms other model discrimination approaches.

Lung recruitment and endotracheal suction in ventilated preterm infants measured with electrical impedance tomography

Aims Although suctioning is a standard airway maintenance procedure, there are significant associated risks, such as loss of lung volume due to high negative suction pressures. This study aims to assess the extent and duration of change in end-expiratory level (EEL) resulting from endotracheal tube (ETT) suction and to examine the relationship between EEL and regional lung ventilation in ventilated preterm infants with respiratory distress syndrome. Methods A prospective observational clinical study of the effect of ETT suction on 20 non-muscle-relaxed preterm infants with respiratory distress syndrome (RDS) on conventional mechanical ventilation was conducted in a neonatal intensive care unit. Ventilation distribution was measured with regional impedance amplitudes and EEL using electrical impedance tomography. Results ETT suction resulted in a significant increase in EEL post-suction (P < 0.01). Regionally, anterior EEL decreased and posterior EEL increased post-suction, suggesting heterogeneity. Tidal volume was significantly lower in volume-guarantee ventilation compared with pressure-controlled ventilation (P = 0.04). Conclusions ETT suction in non-muscle-relaxed and ventilated preterm infants with RDS results in significant lung volume increase that is maintained for at least 90 min. Regional differences in distribution of ventilation with ETT suction suggest that the behaviour of the lung is heterogeneous in nature.

A Boundary-Oriented Chinese Segmentation Method Using NGram Mutual Information

This paper describes our participation in the Chinese word segmentation task of CIPS-SIGHAN 2010. We implemented an n-gram mutual information (NGMI) based segmentation algorithm with the mixed-up features from unsupervised, supervised and dictionarybased segmentation methods. This algorithm is also combined with a simple strategy for out-of-vocabulary (OOV) word recognition. The evaluation for both open and closed training shows encouraging results of our system. The results for OOV word recognition in closed training evaluation were however found unsatisfactory.

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.

Analysis of impedance matched circuit for wireless power transfer

Typical wireless power transfer systems utilize series compensation circuit which is based on magnetic coupling and resonance principles that was first developed by Tesla. However, changes in coupling caused by gap distance, alignment and orientation variations can lead to reduce power transfer efficiencies and the transferred power levels. This paper proposes impedance matched circuit to reduce frequency bifurcation effect and improve on the transferred power level, efficiency and total harmonic distortion (THD) performance of the series compensation circuit. A comprehensive mathematical analysis is performed for both series and impedance matched circuits to show the frequency bifurcation effects in terms of input impedance, variations in transferred power levels and efficiencies. Matlab/Simulink results validate the theoretical analysis and shows the circuits’ THD performance when circuits are fed with power electronic converters.

Integrated decoupling and matching network incorporated in the ground plane of a compact monopole array

Compact arrays enable various applications such as antenna beam-forming and multi-input, multi-output (MIMO) schemes on limited-size platforms. The reduced element spacing in compact arrays introduces high levels of mutual coupling which can affect the performance of the adaptive array. This coupling causes a mismatch at the input ports, which disturbs the performance of the individual elements in the array and affects the implementation of beam steering. In this article, a reactive decoupling network for a 3-element monopole array is used to establish port isolation while simultaneously matching input impedance at each port to the system impendence. The integrated decoupling and matching network is incorporated in the ground plane of the monopole array, providing further development scope for beamforming using phase shifters and power splitters in double-layered circuits.

The time taken for the regional distribution of ventilation to stabilise: An investigation using electrical impedance tomography

Electrical impedance tomography is a novel technology capable of quantifying ventilation distribution in the lung in real time during various therapeutic manoeuvres. The technique requires changes to the patient’s position to place the electrical impedance tomography electrodes circumferentially around the thorax. The impact of these position changes on the time taken to stabilise the regional distribution of ventilation determined by electrical impedance tomography is unknown. This study aimed to determine the time taken for the regional distribution of ventilation determined by electrical impedance tomography to stabilise after changing position. Eight healthy, male volunteers were connected to electrical impedance tomography and a pneumotachometer. After 30 minutes stabilisation supine, participants were moved into 60 degrees Fowler’s position and then returned to supine. Thirty minutes was spent in each position. Concurrent readings of ventilation distribution and tidal volumes were taken every five minutes. A mixed regression model with a random intercept was used to compare the positions and changes over time. The anterior-posterior distribution stabilised after ten minutes in Fowler’s position and ten minutes after returning to supine. Left-right stabilisation was achieved after 15 minutes in Fowler’s position and supine. A minimum of 15 minutes of stabilisation should be allowed for spontaneously breathing individuals when assessing ventilation distribution. This time allows stabilisation to occur in the anterior-posterior direction as well as the left-right direction.