Design and analysis of group key exchange protocols

A group key exchange (GKE) protocol allows a set of parties to agree upon a common secret session key over a public network. In this thesis, we focus on designing efficient GKE protocols using public key techniques and appropriately revising security models for GKE protocols. For the purpose of modelling and analysing the security of GKE protocols we apply the widely accepted computational complexity approach. The contributions of the thesis to the area of GKE protocols are manifold. We propose the first GKE protocol that requires only one round of communication and is proven secure in the standard model. Our protocol is generically constructed from a key encapsulation mechanism (KEM). We also suggest an efficient KEM from the literature, which satisfies the underlying security notion, to instantiate the generic protocol. We then concentrate on enhancing the security of one-round GKE protocols. A new model of security for forward secure GKE protocols is introduced and a generic one-round GKE protocol with forward security is then presented. The security of this protocol is also proven in the standard model. We also propose an efficient forward secure encryption scheme that can be used to instantiate the generic GKE protocol. Our next contributions are to the security models of GKE protocols. We observe that the analysis of GKE protocols has not been as extensive as that of two-party key exchange protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for GKE protocols. We model the security of GKE protocols addressing KCI attacks by both outsider and insider adversaries. We then show that a few existing protocols are not secure against KCI attacks. A new proof of security for an existing GKE protocol is given under the revised model assuming random oracles. Subsequently, we treat the security of GKE protocols in the universal composability (UC) framework. We present a new UC ideal functionality for GKE protocols capturing the security attribute of contributiveness. An existing protocol with minor revisions is then shown to realize our functionality in the random oracle model. Finally, we explore the possibility of constructing GKE protocols in the attribute-based setting. We introduce the concept of attribute-based group key exchange (AB-GKE). A security model for AB-GKE and a one-round AB-GKE protocol satisfying our security notion are presented. The protocol is generically constructed from a new cryptographic primitive called encapsulation policy attribute-based KEM (EP-AB-KEM), which we introduce in this thesis. We also present a new EP-AB-KEM with a proof of security assuming generic groups and random oracles. The EP-AB-KEM can be used to instantiate our generic AB-GKE protocol.

Ramifications of development projects deemed “state significant”

Purpose, Design/methodology / approach The acknowledgement of state significance in relation to development projects can result in special treatment by regulatory authorities, particularly in terms of environmental compliance and certain economic and other government support measures. However, defining just what constitutes a “significant project”, or a project of “state significance”, varies considerably between Australian states. In terms of establishing threshold levels, in Queensland there is even less clarity. Despite this lack of definition, the implications of “state significance” can nevertheless be considerable. For example, in Queensland if the Coordinator-General declares a project to be a “significant project” under the State Development and Public Works Organisation Act 1971, the environmental impact assessment process may become more streamlined – potentially circumventing certain provisions under The Integrated Planning Act 1997. If the project is not large enough to be so deemed, an extractive resource under the State Planning Policy 2/07 - Protection of Extractive Resources 2007 may be considered to be of State or regional significance and subsequently designated as a “Key Resource Area”. As a consequence, such a project is afforded some measure of resource protection but remains subject to the normal assessment process under the Integrated Development Assessment System, as well as the usual requirements of the vegetation management codes, and other regulations. Findings (Originality/value) & Research limitations / implications This paper explores the various meanings of “state significance” in Queensland and the ramifications for development projects in that state. It argues for a streamlining of the assessment process in order to avoid or minimise constraints acting on the state’s development. In so doing, it questions the existence of a strategic threat to the delivery of an already over-stretched infrastructure program.

Concurrent and prospective associations between physical activity, walking and mental health in older women

Background Leisure-time physical activity (LTPA) shows promise for reducing the risk of poor mental health in later life, although gender- and age-specific research is required to clarify this association. This study examined the concurrent and prospective relationships between both LTPA and walking with mental health in older women. Methods Community-dwelling women aged 73–78 years completed mailed surveys in 1999, 2002 and 2005 for the Australian Longitudinal Study on Women's Health. Respondents reported their weekly minutes of walking, moderate LTPA and vigorous LTPA. Mental health was defined as the number of depression and anxiety symptoms, as assessed with the Goldberg Anxiety and Depression Scale (GADS). Multivariable linear mixed models, adjusted for socio-demographic and health-related variables, were used to examine associations between five levels of LTPA (none, very low, low, intermediate and high) and GADS scores. For women who reported walking as their only LTPA, associations between walking and GADS scores were also examined. Women who reported depression or anxiety in 1999 were excluded, resulting in data from 6653 women being included in these analyses. Results Inverse dose–response associations were observed between both LTPA and walking with GADS scores in concurrent and prospective models (p<0.001). Even low levels of LTPA and walking were associated with lowered scores. The lowest scores were observed in women reporting high levels of LTPA or walking. Conclusion The results support an inverse dose–response association between both LTPA and walking with mental health, over 3 years in older women without depression or anxiety.

Repair and regeneration of osteochondral defects in the articular joints

People suffering from pain due to osteoarthritic or rheumatoidal changes in the joints are still waiting for a better treatment. Although some studies have achieved success in repairing small cartilage defects, there is no widely accepted method for complete repair of osteochondral defects. Also joint replacements have not yet succeeded in replacing of natural cartilage without complications. Therefore, there is room for a new medical approach, which outperforms currently used methods. The aim of this study is to show potential of using a tissue engineering approach for regeneration of osteochondral defects. The critical review of currently used methods for treatment of osteochondral defects is also provided. In this study, two kinds of hybrid scaffolds developed in Hutmacher's group have been analysed. The first biphasic scaffold consists of fibrin and PCL. The fibrin serves as a cartilage phase while the porous PCL scaffold acts as the subchondral phase. The second system comprises of PCL and PCL-TCP. The scaffolds were fabricated via fused deposition modeling which is a rapid prototyping system. Bone marrow-derived mesenchymal cells were isolated from New Zealand White rabbits, cultured in vitro and seeded into the scaffolds. Bone regenerations of the subchondral phases were quantified via micro CT analysis and the results demonstrated the potential of the porous PCL and PCL-TCP scaffolds in promoting bone healing. Fibrin was found to be lacking in this aspect as it degrades rapidly. On the other hand, the porous PCL scaffold degrades slowly hence it provides an effective mechanical support. This study shows that in the field of cartilage repair or replacement, tissue engineering may have big impact in the future. In vivo bone and cartilage engineering via combining a novel composite, biphasic scaffold technology with a MSC has been shown a high potential in the knee defect regeneration in the animal models. However, the clinical application of tissue engineering requires the future research work due to several problems, such as scaffold design, cellular delivery and implantation strategies.

Providing technical support for a university radiological laboratory

Queensland University of Technology has a long standing in providing tertiary education and training in ionising radiation. The radiological laboratory plays an important part in this education and training. As radiological applications are diversified in the fields of health and environment, the laboratory provides support for a number of scenarios in the use of experimental situations in radiation detection and radiation protection. This paper discusses the role that a radiological laboratory technician plays in the functionality of a radiological laboratory.

Do walking and leisure-time physical activity protect against arthritis in older women?

Objective: To examine the prospective dose–response relationships between both leisure-time physical activity (LTPA) and walking with self-reported arthritis in older women. Design, setting and participants: Data came from women aged 73–78 years who completed mailed surveys in 1999, 2002 and 2005 for the Australian Longitudinal Study on Women’s Health. Women reported their weekly minutes of walking and moderate to vigorous physical activities. They also reported on whether they had been diagnosed with, or treated for, arthritis since the previous survey. General estimating equation analyses were performed to examine the longitudinal relationship between LTPA and arthritis and, for women who reported walking as their only physical activity, the longitudinal relationship between walking and arthritis. Women who reported arthritis or a limited ability to walk in 1999 were excluded, resulting in data from 3613 women eligible for inclusion in these analyses. Main results: ORs for self-reported arthritis were lowest for women who reported “moderate” levels of LTPA (OR 0.78; 95% CI 0.67 to 0.92), equivalent to 75 to <150 minutes of moderate-intensity LTPA per week. Slightly higher odds ratios were found for women who reported “high” (OR 0.81; 95% CI 0.69 to 0.95) or “very high” (OR 0.84; 95% CI 0.72 to 0.98) LTPA levels, indicating no further benefit from increased activity. For women whose only activity was walking, an inverse dose–response relationship between walking and arthritis was seen. Conclusions: The results support an inverse association between both LTPA and walking with self-reported arthritis over 6 years in older women who are able to walk.

Perceptions of daylight quality delivered by light transport systems

Light Transport Systems (LTS) (e.g lightpipes, fibre optics) can illuminate core areas within buildings with great potential for energy savings. However, they do not provide a clear connection to the outside like windows do, and their effects on people’s physiological and psychological health are not well understood. Furthermore, how people perceive LTS affects users’ acceptance of the device and its performance. The purpose of this research is to understand how occupants perceive and experience spaces illuminated by LTS. Two case studies of commercial buildings with LTS, located in Brisbane, Australia are assessed by qualitative (focus group interviews) and quantitative (measurement of daylight illuminances and luminance) methods. The data from interviews with occupants provide useful insight into the aspects of LTS design that are most relevant to positive perception of the luminous environment. Luminance measurements of the occupied spaces support the perception of the LTS reported by occupants: designs that create high contrast luminous environments are more likely to be perceived negatively.

Imagination

Imagination is a capacity of internal visualization, concept creation and manipulation not directly dependent upon sensation. Imagination is associated with a range of phenomena: mental imagery, fancy, inventiveness, insight, counterfactual reasoning, pretence, simulation and conceivability.

Thinking spatially, acting collaboratively : a GIS-based health decision support system for improving the collaborative health-planning practice

The field of collaborative health planning faces significant challenges due to the lack of effective information, systems and the absence of a framework to make informed decisions. These challenges have been magnified by the rise of the healthy cities movement, consequently, there have been more frequent calls for localised, collaborative and evidence-driven decision-making. Some studies in the past have reported that the use of decision support systems (DSS) for planning healthy cities may lead to: increase collaboration between stakeholders and the general public, improve the accuracy and quality of the decision-making processes and improve the availability of data and information for health decision-makers. These links have not yet been fully tested and only a handful of studies have evaluated the impact of DSS on stakeholders, policy-makers and health planners. This study suggests a framework for developing healthy cities and introduces an online Geographic Information Systems (GIS)-based DSS for improving the collaborative health planning. It also presents preliminary findings of an ongoing case study conducted in the Logan-Beaudesert region of Queensland, Australia. These findings highlight the perceptions of decision-making prior to the implementation of the DSS intervention. Further, the findings help us to understand the potential role of the DSS to improve collaborative health planning practice.

Identifying parents' perceptions about physical activity : a qualitative exploration of salient behavioural, normative and control beliefs among mothers and fathers of young children

Drawing on the belief-based framework of the Theory of Planned Behaviour, this study employs qualitative methodology involving individual and group interviews to examine the beliefs associated with regular physical activity performance among parents of young children (N = 40). The data were analysed using thematic content analysis. A range of advantages (e.g. improves parenting practices), disadvantages (e.g. interferes with commitments), barriers (e.g. time), and facilitators (e.g. social support) to performing physical activity are identified. Normative pressures are also identified as affecting parents’ activity behaviour. These identified beliefs can be used to inform interventions to challenge inactivity among this at-risk group.

Talking the talk and walking the walk : how managers can influence the quality of work-life balance in a construction project

Purpose – The construction industry in Australia is characterised by a long work-hours culture, with conditions that make it difficult for staff to balance their work and non-work lives. The objective of this paper is to measure the success of a work-place intervention designed to improve work-life balance (WLB) in an alliance project in the construction industry, and the role the project manager plays in this success. Design/methodology/approach – The paper focuses on an alliance case study. Interviews were conducted at two points in time, several months apart, after the interventions were implemented. Findings – Results showed that staff on the whole were more satisfied with their work experience after the interventions, and indicated the important role that managers' attitudes and behaviours played. Originality/value – Managerial support for work-life initiatives is a critical element in achieving WLB and satisfaction with working arrangements. The fact that the manager “talked the talk and walked the walk” was a major contributing success factor, which has not previously been demonstrated.

Deliberative assessment of surrogate consent in dementia research

Background Research involving incapacitated persons with dementia entails complex scientific, legal, and ethical issues, making traditional surveys of layperson views on the ethics of such research challenging. We therefore assessed the impact of democratic deliberation (DD), involving balanced, detailed education and peer deliberation, on the views of those responsible for persons with dementia. Methods One hundred and seventy-eight community-recruited caregivers or primary decision-makers for persons with dementia were randomly assigned to either an all-day DD session group or a control group. Educational materials used for the DD session were vetted for balance and accuracy by an interdisciplinary advisory panel. We assessed the acceptability of family-surrogate consent for dementia research (“surrogate-based research”) from a societal policy perspective as well as from the more personal perspectives of deciding for a loved one or for oneself (surrogate and self-perspectives), assessed at baseline, immediately post-DD session, and 1 month after DD date, for four research scenarios of varying risk-benefit profiles. Results At baseline, a majority in both the DD and control groups supported a policy of family consent for dementia research in all research scenarios. The support for a policy of family consent for surrogate-based research increased in the DD group, but not in the control group. The change in the DD group was maintained 1 month later. In the DD group, there were transient changes in attitudes from surrogate or self-perspectives. In the control group, there were no changes from baseline in attitude toward surrogate consent from any perspective. Conclusions Intensive, balanced, and accurate education, along with peer deliberation provided by democratic deliberation, led to a sustained increase in support for a societal policy of family consent in dementia research among those responsible for dementia patients.

Settlement geography of African refugee communities in Southeast Queensland : an analysis of residential distribution and secondary migration

Before 2001, most Africans immigrating to Australia were white South Africans and Zimbabweans who arrived as economic and family-reunion migrants (Cox, Cooper & Adepoju, 1999). Black African communities are a more recent addition to the Australian landscape, with most entering Australia as refugees after 2001. African refugees are a particularly disadvantaged immigrant group, which the Department of Immigration and Multicultural Affairs (in the Community Relations Commission of New South Wales, 2006) suggests require high levels of settlement support (p.23). Decision makers and settlement service providers need to have settlement data on the communities so that they can be effective in planning, budgeting and delivering support where it is most needed. Settlement data are also useful for determining the challenges that these communities face in trying to establish themselves in resettlement. There has been no verification of existing secondary data sources, however, or previous formal study of African refugee settlement geography in Southeast Queensland. This research addresses the knowledge gap by using a mixed-method approach to identify and describe the distribution and population size of eight African communities in Southeast Queensland, examine secondary migration patterns in these communities and assess the relationship between these geographic features and housing, a critical factor in successful settlement. Significant discrepancies exist between the primary data gathered in the study and existing secondary data relating to population size and distribution of the communities. Results also reveal a tension between the socio-cultural forces and the housing and economic imperatives driving secondary migration in the communities, and a general lack of engagement by African refugees with structured support networks. These findings have a wide range of implications for policy and for groups that provide settlement support to these communities.

Patterns, heuristics for architectural design support: making use of evolutionary modelling in design

Software used by architectural and industrial designers – has moved from becoming a tool for drafting, towards use in verification, simulation, project management and project sharing remotely. In more advanced models, parameters for the designed object can be adjusted so a family of variations can be produced rapidly. With advances in computer aided design technology, numerous design options can now be generated and analyzed in real time. However the use of digital tools to support design as an activity is still at an early stage and has largely been limited in functionality with regard to the design process. To date, major CAD vendors have not developed an integrated tool that is able to both leverage specialized design knowledge from various discipline domains (known as expert knowledge systems) and support the creation of design alternatives that satisfy different forms of constraints. We propose that evolutionary computing and machine learning be linked with parametric design techniques to record and respond to a designer’s own way of working and design history. It is expected that this will lead to results that impact on future work on design support systems-(ergonomics and interface) as well as implicit constraint and problem definition for problems that are difficult to quantify.

Crash risk estimation and assessment tool

Currently in Australia, there are no decision support tools for traffic and transport engineers to assess the crash risk potential of proposed road projects at design level. A selection of equivalent tools already exists for traffic performance assessment, e.g. aaSIDRA or VISSIM. The Urban Crash Risk Assessment Tool (UCRAT) was developed for VicRoads by ARRB Group to promote methodical identification of future crash risks arising from proposed road infrastructure, where safety cannot be evaluated based on past crash history. The tool will assist practitioners with key design decisions to arrive at the safest and the most cost -optimal design options. This paper details the development and application of UCRAT software. This professional tool may be used to calculate an expected mean number of casualty crashes for an intersection, a road link or defined road network consisting of a number of such elements. The mean number of crashes provides a measure of risk associated with the proposed functional design and allows evaluation of alternative options. The tool is based on historical data for existing road infrastructure in metropolitan Melbourne and takes into account the influence of key design features, traffic volumes, road function and the speed environment. Crash prediction modelling and risk assessment approaches were combined to develop its unique algorithms. The tool has application in such projects as road access proposals associated with land use developments, public transport integration projects and new road corridor upgrade proposals.