Formalising human recognition : a fundamental building block for security proofs

A fundamental part of many authentication protocols which authenticate a party to a human involves the human recognizing or otherwise processing a message received from the party. Examples include typical implementations of Verified by Visa in which a message, previously stored by the human at a bank, is sent by the bank to the human to authenticate the bank to the human; or the expectation that humans will recognize or verify an extended validation certificate in a HTTPS context. This paper presents general definitions and building blocks for the modelling and analysis of human recognition in authentication protocols, allowing the creation of proofs for protocols which include humans. We cover both generalized trawling and human-specific targeted attacks. As examples of the range of uses of our construction, we use the model presented in this paper to prove the security of a mutual authentication login protocol and a human-assisted device pairing protocol.

'You can name her' : ritualised grieving by an Australian woman for her stillborn twin

The stillbirth of an Australian infant in the mid-20th Century was an event often left unacknowledged. Mothers of stillborn babies were often told to 'forget about it and have another baby.' Siblings of these babies were often not encouraged to discuss them, and were even left unaware of their birth and death. This paper explores this phenomenon in an Australian case study. When Nancy was born in 1937, her twin sister was stillborn. As was customary at that time, the deceased baby was buried unnamed in an unmarked plot without ceremony. Little was said of her thereafter. Seventy-three years later, Nancy finally undertook a number of activities with ritualised features that acknowledged, named, mourned and honoured her sister.

Integration of science and monitoring of river ecosystem health to guide investments in catchment protection and rehabilitation

1. Stream ecosystem health monitoring and reporting need to be developed in the context of an adaptive process that is clearly linked to identified values and objectives, is informed by rigorous science, guides management actions and is responsive to changing perceptions and values of stakeholders. To be effective, monitoring programmes also need to be underpinned by an understanding of the probable causal factors that influence the condition or health of important environmental assets and values. This is often difficult in stream and river ecosystems where multiple stressors, acting at different spatial and temporal scales, interact to affect water quality, biodiversity and ecosystem processes. 2. In this article, we describe the development of a freshwater monitoring programme in South East Queensland, Australia, and how this has been used to report on ecosystem health at a regional scale and to guide investments in catchment protection and rehabilitation. We also discuss some of the emerging science needs to identify the appropriate scale and spatial arrangement of rehabilitation to maximise river ecosystem health outcomes and, at the same time, derive other benefits downstream. 3. An objective process was used to identify potential indicators of stream ecosystem health and then test these across a known catchment land-use disturbance gradient. From the 75 indicators initially tested, 22 from five indicator groups (water quality, ecosystem metabolism, nutrient cycling, invertebrates and fish) responded strongly to the disturbance gradient, and 16 were subsequently recommended for inclusion in the monitoring programme. The freshwater monitoring programme was implemented in 2002, funded by local and State government authorities, and currently involves the assessment of over 120 sites, twice per year. This information, together with data from a similar programme on the region's estuarine and coastal marine waters, forms the basis of an annual report card that is presented in a public ceremony to local politicians and the broader community. 4. Several key lessons from the SEQ Healthy Waterways Programme are likely to be transferable to other regional programmes aimed at improving aquatic ecosystem health, including the importance of a shared common vision, the involvement of committed individuals, a cooperative approach, the need for defensible science and effective communication. 5. Thematic implications: this study highlights the use of conceptual models and objective testing of potential indicators against a known disturbance gradient to develop a freshwater ecosystem health monitoring programme that can diagnose the probable causes of degradation from multiple stressors and identify the appropriate spatial scale for rehabilitation or protection. This approach can lead to more targeted management investments in catchment protection and rehabilitation, greater public confidence that limited funds are being well spent and better outcomes for stream and river ecosystem health.

ANZIAM 2015

The 51st ANZIAM Conference was held on 1–5 February 2015 in the Outrigger Hotel, Surfers Paradise, Australia. A total of 229 people registered for the conference, with nine plenary presentations, 78 student presentations and 107 non-student presentations. Highlights of the conference included the plenary talks, presentations by the 2014 Michell and ANZIAM Medalists, the Women in Mathematics Lunch and the Conference Dinner and Awards Ceremony. The main conference was followed by a one-day workshop entitled ‘Discrete mathematical models in the life sciences’, held at Queensland University of Technology, Brisbane, on February 6, 2015.

The business of myth-making: Mary Poppins, P.L. Travers and the Disney effect

In just one of the many extraordinary moments during the spectacular Opening Ceremony of the 2012 London Olympic Games, thirty Mary Poppinses floated into the stadium on their umbrellas to battle a 40 foot-long inflatable Lord Voldemort. This multi-million pound extravaganza was telecast to a global audience of over one billion people, highlighting in an extremely effective manner the grandeur and eccentricities of the host nation, and featuring uniquely British icons such as Mr Bean, James Bond, The Beatles and Harry Potter, as well as those quintessential icons of Englishness, the Royal Family, double-decker red buses and the National Health Service.