Strengthening and formally verifying privacy in identity management systems

In a digital world, users’ Personally Identifiable Information (PII) is normally managed with a system called an Identity Management System (IMS). There are many types of IMSs. There are situations when two or more IMSs need to communicate with each other (such as when a service provider needs to obtain some identity information about a user from a trusted identity provider). There could be interoperability issues when communicating parties use different types of IMS. To facilitate interoperability between different IMSs, an Identity Meta System (IMetS) is normally used. An IMetS can, at least theoretically, join various types of IMSs to make them interoperable and give users the illusion that they are interacting with just one IMS. However, due to the complexity of an IMS, attempting to join various types of IMSs is a technically challenging task, let alone assessing how well an IMetS manages to integrate these IMSs. The first contribution of this thesis is the development of a generic IMS model called the Layered Identity Infrastructure Model (LIIM). Using this model, we develop a set of properties that an ideal IMetS should provide. This idealized form is then used as a benchmark to evaluate existing IMetSs. Different types of IMS provide varying levels of privacy protection support. Unfortunately, as observed by Jøsang et al (2007), there is insufficient privacy protection in many of the existing IMSs. In this thesis, we study and extend a type of privacy enhancing technology known as an Anonymous Credential System (ACS). In particular, we extend the ACS which is built on the cryptographic primitives proposed by Camenisch, Lysyanskaya, and Shoup. We call this system the Camenisch, Lysyanskaya, Shoup - Anonymous Credential System (CLS-ACS). The goal of CLS-ACS is to let users be as anonymous as possible. Unfortunately, CLS-ACS has problems, including (1) the concentration of power to a single entity - known as the Anonymity Revocation Manager (ARM) - who, if malicious, can trivially reveal a user’s PII (resulting in an illegal revocation of the user’s anonymity), and (2) poor performance due to the resource-intensive cryptographic operations required. The second and third contributions of this thesis are the proposal of two protocols that reduce the trust dependencies on the ARM during users’ anonymity revocation. Both protocols distribute trust from the ARM to a set of n referees (n > 1), resulting in a significant reduction of the probability of an anonymity revocation being performed illegally. The first protocol, called the User Centric Anonymity Revocation Protocol (UCARP), allows a user’s anonymity to be revoked in a user-centric manner (that is, the user is aware that his/her anonymity is about to be revoked). The second protocol, called the Anonymity Revocation Protocol with Re-encryption (ARPR), allows a user’s anonymity to be revoked by a service provider in an accountable manner (that is, there is a clear mechanism to determine which entity who can eventually learn - and possibly misuse - the identity of the user). The fourth contribution of this thesis is the proposal of a protocol called the Private Information Escrow bound to Multiple Conditions Protocol (PIEMCP). This protocol is designed to address the performance issue of CLS-ACS by applying the CLS-ACS in a federated single sign-on (FSSO) environment. Our analysis shows that PIEMCP can both reduce the amount of expensive modular exponentiation operations required and lower the risk of illegal revocation of users’ anonymity. Finally, the protocols proposed in this thesis are complex and need to be formally evaluated to ensure that their required security properties are satisfied. In this thesis, we use Coloured Petri nets (CPNs) and its corresponding state space analysis techniques. All of the protocols proposed in this thesis have been formally modeled and verified using these formal techniques. Therefore, the fifth contribution of this thesis is a demonstration of the applicability of CPN and its corresponding analysis techniques in modeling and verifying privacy enhancing protocols. To our knowledge, this is the first time that CPN has been comprehensively applied to model and verify privacy enhancing protocols. From our experience, we also propose several CPN modeling approaches, including complex cryptographic primitives (such as zero-knowledge proof protocol) modeling, attack parameterization, and others. The proposed approaches can be applied to other security protocols, not just privacy enhancing protocols.

Media Economics

A concise introduction to the key ideas and issues in the study of media economics, drawing on a broad range of case studies - from Amazon and Twitter, to Apple and Netflix - to illustrate how economic paradigms are not just theories, but provide important practical insights into how the media operates today. Understanding the economic paradigms at work in media industries and markets is vitally important for the analysis of the media system as a whole. The changing dynamics of media production, distribution and consumption are stretching the capacity of established economic paradigms. In addition to succinct accounts of neo-classical and critical political economics, the text offers fresh perspectives for understanding media drawn from two 'heterodox' approaches: institutional economics and evolutionary economics. Applying these paradigms to vital topics and case studies, Media Economics stresses the value – and limits – of contending economic approaches in understanding how the media operates today. It is essential reading for all students of Media and Communication Studies, and also those from Economics, Policy Studies, Business Studies and Marketing backgrounds who are studying the media. Table of Contents: 1. Media Economics: The Mainstream Approach 2. Critical Political Economy of the Media 3. Institutional Economics 4. Evolutionary Economics 5. Case Studies and Conclusions

Vision only pose estimation and scene reconstruction on airborne platforms

We aim to demonstrate unaided visual 3D pose estimation and map reconstruction using both monocular and stereo vision techniques. To date, our work has focused on collecting data from Unmanned Aerial Vehicles, which generates a number of significant issues specific to the application. Such issues include scene reconstruction degeneracy from planar data, poor structure initialisation for monocular schemes and difficult 3D reconstruction due to high feature covariance. Most modern Visual Odometry (VO) and related SLAM systems make use of a number of sensors to inform pose and map generation, including laser range-finders, radar, inertial units and vision [1]. By fusing sensor inputs, the advantages and deficiencies of each sensor type can be handled in an efficient manner. However, many of these sensors are costly and each adds to the complexity of such robotic systems. With continual advances in the abilities, small size, passivity and low cost of visual sensors along with the dense, information rich data that they provide our research focuses on the use of unaided vision to generate pose estimates and maps from robotic platforms. We propose that highly accurate (�5cm) dense 3D reconstructions of large scale environments can be obtained in addition to the localisation of the platform described in other work [2]. Using images taken from cameras, our algorithm simultaneously generates an initial visual odometry estimate and scene reconstruction from visible features, then passes this estimate to a bundle-adjustment routine to optimise the solution. From this optimised scene structure and the original images, we aim to create a detailed, textured reconstruction of the scene. By applying such techniques to a unique airborne scenario, we hope to expose new robotic applications of SLAM techniques. The ability to obtain highly accurate 3D measurements of an environment at a low cost is critical in a number of agricultural and urban monitoring situations. We focus on cameras as such sensors are small, cheap and light-weight and can therefore be deployed in smaller aerial vehicles. This, coupled with the ability of small aerial vehicles to fly near to the ground in a controlled fashion, will assist in increasing the effective resolution of the reconstructed maps.

A geometric approach to trajectory design for an autonomous underwater vehicle : surveying the bulbous bow of a ship

In this paper, we present a control strategy design technique for an autonomous underwater vehicle based on solutions to the motion planning problem derived from differential geometric methods. The motion planning problem is motivated by the practical application of surveying the hull of a ship for implications of harbor and port security. In recent years, engineers and researchers have been collaborating on automating ship hull inspections by employing autonomous vehicles. Despite the progresses made, human intervention is still necessary at this stage. To increase the functionality of these autonomous systems, we focus on developing model-based control strategies for the survey missions around challenging regions, such as the bulbous bow region of a ship. Recent advances in differential geometry have given rise to the field of geometric control theory. This has proven to be an effective framework for control strategy design for mechanical systems, and has recently been extended to applications for underwater vehicles. Advantages of geometric control theory include the exploitation of symmetries and nonlinearities inherent to the system. Here, we examine the posed inspection problem from a path planning viewpoint, applying recently developed techniques from the field of differential geometric control theory to design the control strategies that steer the vehicle along the prescribed path. Three potential scenarios for surveying a ship?s bulbous bow region are motivated for path planning applications. For each scenario, we compute the control strategy and implement it onto a test-bed vehicle. Experimental results are analyzed and compared with theoretical predictions.

Implementing low intensity CBT in case management of clients with severe mental illness

In a previous chapter (Dean and Kavanagh, Chapter 37), the authors made a case for applying low intensity (LI) cognitive behaviour therapy (CBT) to people with serious mental illness (SMI). As in other populations, LI CBT interventions typically deal with circumscribed problems or behaviours. LI CBT retains an emphasis on self-management, has restricted content and segment length, and does not necessarily require extensive CBT training. In applying these interventions to SMI, adjustments may be needed to address cognitive and symptomatic difficulties often faced by these groups. What may take a single session in a less affected population may require several sessions or a thematic application of the strategy within case management. In some cases, the LI CBT may begin to appear more like a high-intensity (HI) intervention, albeit simple and with many LI CBT characteristics still retained. So, if goal setting were introduced in one or two sessions, it could clearly be seen as an LI intervention. When applied to several different situations and across many sessions, it may be indistinguishable from a simple HI treatment, even if it retains the same format and is effectively applied by a practitioner with limited CBT training. ----- ----- In some ways, LI CBT should be well suited to case management of patients with SMI. treating staff typically have heavy workloads, and find it difficult to apply time-consuming treatments (Singh et al. 2003). LI CBT may allow provision of support to greater numbers of service users, and allow staff to spend more time on those who need intensive and sustained support. However, the introduction of any change in practice has to address significant challenges, and LI CBT is no exception. ----- ----- Many of the issues that we face in applying LI CBT to routine case management in a mnetal health service and their potential solutions are essentially the same as in a range of other problem domains (Turner and Sanders 2006)- and, indeed, are similar to those in any adoption of innovation (Rogers 2003). Over the last 20 years, several commentators have described barriers to implementing evidence-based innovations in mental health services (Corrigan et al. 1992; Deane et al. 2006; Kavanagh et al. 1993). The aim of the current chapter is to present a cognitive behavioural conceptualisation of problems and potential solutions for dissemination of LI CBT.

Brief motivational interviewing for depression and anxiety

Motivational interviewing (MI)can be applied as a brief, low intensity (LI) intervention of 1-4 individualised sessions (typically 45-60 minutes in duration), including screening, assessment feedback, and psycho-education. MI is a client-centred, directive therapeutic style that enhances readiness for change by helping clients explore and resolve ambivalence (Miller and Rollnick 2002). A summary of the key components of brief MI interventions is provided in Table 16.1. There is a well-established evidence base for MI in the treatment of substance misuse (particularly alcohol misuse; Moyer et al. 2002), as well as a growing evidence for the use of MI in the treatment of other mental disorders (e.g. depression, PTSD, OCD), as well as suicidality and physical health problems (Hettema et al. 2005). Brief MI intervention can be delivered as a standalone treatment or as a motivational prelude to pharmacological and/or other psychological treatments (Hettema et al. 2005). MI has been used as an accompaniment to cognitive behavioural therapy (CBT) in the treatment of both depression and anxiety for resolving ambivalence about change and developing strategies for responding to resistance (e.g. treatment attendance, homework/medication compliance; Arkowitz et al. 2008a, 2008b). This chapter will describe how to apply brief MI interventions to the treatment of depression and anxiety as applied to the case of Megan (see Box 16.1) along with some of the challenges and potential solutions to applying MI in practice.

An analytical method to solve a general class of nonlinear reactive transport models

Three recent papers published in Chemical Engineering Journal studied the solution of a model of diffusion and nonlinear reaction using three different methods. Two of these studies obtained series solutions using specialized mathematical methods, known as the Adomian decomposition method and the homotopy analysis method. Subsequently it was shown that the solution of the same particular model could be written in terms of a transcendental function called Gauss’ hypergeometric function. These three previous approaches focused on one particular reactive transport model. This particular model ignored advective transport and considered one specific reaction term only. Here we generalize these previous approaches and develop an exact analytical solution for a general class of steady state reactive transport models that incorporate (i) combined advective and diffusive transport, and (ii) any sufficiently differentiable reaction term R(C). The new solution is a convergent Maclaurin series. The Maclaurin series solution can be derived without any specialized mathematical methods nor does it necessarily involve the computation of any transcendental function. Applying the Maclaurin series solution to certain case studies shows that the previously published solutions are particular cases of the more general solution outlined here. We also demonstrate the accuracy of the Maclaurin series solution by comparing with numerical solutions for particular cases.

Changing academic practice to prepare nursing undergraduates for an evidence-based approach

Evidence based practice (EBP) has been accepted as a process to assist health professionals in clinical decision making to improve patient outcomes. It requires applying skills in a prescribed sequence to critique existing practices. Many countries, including Australia, require nurses to demonstrate competencies in EBP skills to be registered. In the last ten years, this has lead to universities incorporating EBP in undergraduate nursing degree courses. The literature reports many challenges including students’ difficulties in critically appraising research evidence, and their need for both simplification of the process and extensive support. The purpose of our study was to investigate the effectiveness of a standalone introductory EBP subject for a diverse group of third-year undergraduates, based on a novel but challenging approach to assessment. Despite many changes made in the second iteration of the subject, most students’ perceptions of the subject’s difficulty remained unchanged. This research aligns with the issues identified in the literature and has wider applicability to the teaching of rapidly changing disciplines, where evidence-driven consumers have easy access to information and expect up-to-date practices.

Asset renewal decision modelling with application to the water utility industry

Reliable infrastructure assets impact significantly on quality of life and provide a stable foundation for economic growth and competitiveness. Decisions about the way assets are managed are of utmost importance in achieving this. Timely renewal of infrastructure assets supports reliability and maximum utilisation of infrastructure and enables business and community to grow and prosper. This research initially examined a framework for asset management decisions and then focused on asset renewal optimisation and renewal engineering optimisation in depth. This study had four primary objectives. The first was to develop a new Asset Management Decision Framework (AMDF) for identifying and classifying asset management decisions. The AMDF was developed by applying multi-criteria decision theory, classical management theory and life cycle management. The AMDF is an original and innovative contribution to asset management in that: · it is the first framework to provide guidance for developing asset management decision criteria based on fundamental business objectives; · it is the first framework to provide a decision context identification and analysis process for asset management decisions; and · it is the only comprehensive listing of asset management decision types developed from first principles. The second objective of this research was to develop a novel multi-attribute Asset Renewal Decision Model (ARDM) that takes account of financial, customer service, health and safety, environmental and socio-economic objectives. The unique feature of this ARDM is that it is the only model to optimise timing of asset renewal with respect to fundamental business objectives. The third objective of this research was to develop a novel Renewal Engineering Decision Model (REDM) that uses multiple criteria to determine the optimal timing for renewal engineering. The unique features of this model are that: · it is a novel extension to existing real options valuation models in that it uses overall utility rather than present value of cash flows to model engineering value; and · it is the only REDM that optimises timing of renewal engineering with respect to fundamental business objectives; The final objective was to develop and validate an Asset Renewal Engineering Philosophy (AREP) consisting of three principles of asset renewal engineering. The principles were validated using a novel application of real options theory. The AREP is the only renewal engineering philosophy in existence. The original contributions of this research are expected to enrich the body of knowledge in asset management through effectively addressing the need for an asset management decision framework, asset renewal and renewal engineering optimisation based on fundamental business objectives and a novel renewal engineering philosophy.

Subtropical design in South East Queensland : a handbook for planners, developers and decision makers

Subtropical Design in South East Queensland provides a direct link between climatic design, applied urban design and sustainable planning policy. The role that character and identity of a place plays in achieving environmental sustainability is explained. Values of local distinctiveness to do with climate, landscape and culture are identified and the environmental, social and economic benefits of applying subtropical design principles to planning are described. The handbook provides planners and urban designers with an understanding of how subtropical design principles apply within the different contexts of urban planning including the entire spectrum of urban scales from the regional scale, to the city, neighbourhood, street, individual building or site. Twelve interactive principles, and interrelated strategies, drawn predominantly from the body of knowledge of landscape architecture, architectural science and urban design are described in detail in text, and richly illustrated with diagrams and photographs.

Technology, design and process innovation in the built environment

Buildings and infrastructure represent principal assets of any national economy as well as prime sources of environmental degradation. Making them more sustainable represents a key challenge for the construction, planning and design industries and governments at all levels; and the rapid urbanisation of the 21st century has turned this into a global challenge. This book embodies the results of a major research programme by members of the Australia Co-operative Research Centre for Construction Innovation and its global partners, presented for an international audience of construction researchers, senior professionals and advanced students. It covers four themes, applied to regeneration as well as to new build, and within the overall theme of Innovation: Sustainable Materials and Manufactures, focusing on building material products, their manufacture and assembly – and the reduction of their ecological ‘fingerprints’, the extension of their service lives, and their re-use and recyclability. It also explores the prospects for applying the principles of the assembly line. Virtual Design, Construction and Management, viewed as increasing sustainable development through automation, enhanced collaboration (such as virtual design teams), real time BL performance assessment during design, simulation of the construction process, life-cycle management of project information (zero information loss) risk minimisation, and increased potential for innovation and value adding. Integrating Design, Construction and Facility Management over the Project Life Cycle, by converging ICT, design science engineering and sustainability science. Integration across spatial scales, enabling building–infrastructure synergies (such as water and energy efficiency). Convergences between IT and design and operational processes are also viewed as a key platform increased sustainability.

Sustaining the ecological, social and economic values of the forests of Southern Tasmania

This thesis articulates a methodology that can be applied to the analysis and design of underlying organisational structures and processes that will consistently and effectively address ‘wicked problems’ (the most difficult class of problems that we can conceptualise: problems which consist of ‘clusters’ of problems; problems within these clusters cannot be solved in isolation from one another, and include sociopolitical and moral-spiritual issues (Rittel and Webber 1973)) in forestry. This transdisciplinary methodology has been developed from the perspective of institutional economics synthesised with perspectives from ecological economics and system dynamics. The institutionalist policymaking framework provides an approach for the explicit development of holistic policy. An illustrative application of this framework has been applied to the wicked problem of forestry in southern Tasmania as an example of the applicability of the approach in the Australian context. To date all attempts to seek solutions to that prevailing wicked problem set have relied on non-reflexive, partial and highly reductionist thinking. A formal assessment of prevailing governance and process arrangements applying to that particular forestry industry has been undertaken using the social fabric matrix. This methodology lies at the heart of the institutionalist policymaking framework, and allows for the systematic exploration of elaborately complex causal links and relationships, such as are present in southern Tasmania. Some possible attributes of an alternative approach to forest management that sustains ecological, social and economic values of forests have been articulated as indicative of the alternative policy and management outcomes that real-world application of this transdisciplinary, discursive and reflexive framework may crystallise. Substantive and lasting solutions to wicked problems need to be formed endogenously, that is, from within the system. The institutionalist policymaking framework is a vehicle through which this endogenous creation of solutions to wicked problems may be realised.

Constituting the teacher of reading in contemporary Australian literacy debates

This chapter documents the history of the National Inquiry into the Teaching of Literacy and the subsequent fate of the figure of the teacher, in terms of how the inquiry has acted to background the teacher and bring new figures into prominence. The classroom teacher is being moved out of a central role of authority in literacy education, in spite of claims about the importance of the teacher in parts of the report. Authority is now being placed in the figure of the scientific researcher who decides what the best techniques are, and develops diagnostic tools that the teacher must use in order to decide which of the techniques to apply. Specialist literacy teachers, well “trained”by these experts, are needed to ensure that teachers do what the experts recommend (evidence-based practice). Thus, the classroom literacy teacher becomes a cipher for applying expertly designed techniques and tests.

Nascent entrepreneurship and the developing individual : early entrepreneurial competence in adolescence and venture creation success during the career

What predicts a person's venture creation success over the course of the career, such as making progress in the venture creation process and multiple successful venture creations? Applying a life span approach of human development, this study examined the effect of early entrepreneurial competence in adolescence, which was gathered retrospectively by means of the Life History Calendar method. Human and social capitals during the founding process were investigated as mediators between adolescent competence and performance. Findings were derived from regression analyses on the basis of prospective and retrospective data from two independent samples (N = 88 nascent founders; N = 148 founders). We found that early entrepreneurial competence in adolescence had a positive effect on making progress in the venture creation process. Nascent founders' current human and social capital also had a direct effect, but it did not mediate the effect of early competences. Finally, the data revealed that early entrepreneurial competence in adolescence positively predicted habitual entrepreneurship (multiple successful venture creations) exhibited over a longer period of the individual career (specifically, 18 years). In line with the results from prospective longitudinal studies on early precursors of entrepreneurship, our findings underscore the long neglected importance of adolescent development in the explanation of entrepreneurial performance during the subsequent working life.

Towards low emissions in the electricity generation sector : creating a coherent legal model for Australia

Australia’s efforts to transition to a low-emissions economy have stagnated following the successive defeats of the Carbon Pollution Reduction Scheme. This failure should not, however, be regarded as the end of Australia’s efforts to make this transition. In fact, the opportunity now exists for Australia to refine its existing arrangements to enable this transition to occur more effectively. The starting point for this analysis is the legal arrangements applying to the electricity generation sector, which is the largest sectoral emitter of anthropogenic greenhouse gas emissions in Australia. Without an effective strategy to mitigate this sector’s contribution to anthropogenic climate change, it is unlikely that Australia will be able to transition towards a low-emissions economy. It is on this basis that this article assesses the dominant national legal arrangement – the Renewable Energy Target – underpinning the electricity generation sector's efforts to become a low-emissions sector.