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.

Monitoring energy performance of air conditioners in classrooms

Air quality and temperatures in classrooms are important factors influencing the student learning process. To improve the thermal comfort of classrooms for Queensland State Schools, Queensland Government initiated the "Cooler Schools Program". One of the key objectives under this program was to develop low energy cooling systems as an alternative to high energy demand conventioanl split system of air conditioning (AC) systems. In order to compare and evaluate the energy performance of different types of air conditioners installed in classrooms, monitoring systems were installed in a state primary school located in the greater outer urban area of Brisbane, Australia. It was found that the installation of monitoring systems could have a significant impact on the accuracy of the data being collected. By comparing the estimated energy efficiency ratio (EER)for four qualified air conditioners included in this study, it was also found that AC6, a hybrid air conditioner newly developed by the Queensland Department of Public Works (DPW), had the best energy performance, although the current data were not able to show the full advantages of the system.

Gender equity in the professoriate : a cohort study of new women professors in Australia

According to statistics and trend data, women continue to be substantially under- represented in the Australian professoriate, and growth in their representation has been slow despite the plethora of equity programs. While not disputing these facts, we propose that examining gender equity by cohort provides a complementary perspective on the status of gender equity in the professoriate. Based on over 500 survey responses, we detected substantial similarities between women and men who were appointed as professors or associate professors between 2005 and 2008. There were similar proportions of women and men appointed via external or internal processes or by invitation. Additionally, similar proportions of women and men professors expressed a marked preference for research over teaching. Furthermore, there were similar distributions between the genders in the age of appointment to the professoriate. However, a notable gender difference was that women were appointed to the professoriate on average 1.9 years later than mens. This later appointment provides one reason for the lower representation of women compared to men in the professoriate. It also raises questions of the typical length of time that women and men remain in the (paid) professoriate and reasons why they might leave it. A further similarity between women and men in this cohort was their identification of motivation and circumstances as key factors in their career orientation. However, substantially more women identified motivation than circumstances and the situation was reversed for men. The open-ended survey responses also provided confirmation that affirmative action initiatives make a difference to women’s careers.

New Evidence for Structured Telephone Support in the Management of Patients with Heart Failure [Letter to Editor]

Letter to the Editor of New England Journal of Medicine on behalf of the Cochrane Systematic Review team.

Understanding learning and teaching : elementary teacher trainers in Papua New Guinea engaged in cultural authorship in the context of national educational reform

Over the last decade, Papua New Guinea (PNG) has pursued educational reform in elementary teacher education. Because elementary teachers and teacher education are central to the reform agenda, there is a need to gain empirical evidence about how PNG teacher trainers’ understandings about learning and teaching impact on their practice. The study uses cultural-authorship as a theoretical framework to investigate the nature of changes in understanding about learning and teaching for 18 teacher trainers as they progressed through a two-year Bachelor of Early Childhood upgrade course. It addresses the research question: What do elementary teacher trainers in PNG understanding about learning and teaching and how has this changed during their course? The focus on such understandings provides valuable insights into their professional identities at a critical time in PNG’s education reform agenda. Analysis of journal entries at the beginning and end of the course showed that, over time, teacher trainers described increasingly more complex ways of understanding learning and teaching. These views shifted from a focus on learning and teaching as transmission of ideas to one in which the critical role played by communities and families in educational processes and the teacher as a change agent became focal. This watershed finding demonstrates notable shifts in teacher trainers’ professional identities from trainers to community leaders in elementary education.

Investigation of cooling energy performance of commercial building in sub-tropical climate through the application of green roof and living wall

This paper investigates cooling energy performance of commercial building before and after green roof and living wall application based on integrated building heat gain model developed from Overall Thermal Transfer Value (OTTV) of building wall and steady state heat transfer process of roof in sub-tropical climate. Using the modelled equation and eQUEST energy simulation tool, commercial building envelope parameters and relevant heat gain parameters have been accumulated to analyse the heat gain and cooling energy consumption of commercial building. Real life commercial building envelope and air-conditioned load data for the sub-tropical climate zone have been collected and compared with the modelled analysis. Relevant temperature data required for living wall and green roof analysis have been collected from experimental setup comprised of both green roof and west facing living wall. Then, Commercial building heat flux and cooling energy performance before and after green roof and living wall application have been scrutinized.

Collaborative academic/practitioner research in project management : examples and applications

Purpose – The purpose of this paper is to present a cost-benefit interpretation of academic-practitioner research by describing and analysing several recent relevant examples of academic-practitioner research with a focus on doctoral theses carried out at universities and business schools in clusters of research centred in North America, Australia and Europe. Design/methodology/approach – Using case study examples, a value proposition framework for undertaking collaborative research for higher degree level study is developed and presented. Findings – Value proposition benefits from this level of collaborative research can be summarised as enhancing competencies at the individual and organisational level as well as providing participating universities with high-quality candidates/students and opportunities for industry engagement. The project management (PM) professional bodies can also extend PM knowledge but they need to be prepared to provide active support. Practical implications – A model for better defining the value proposition of collaborative research from a range of stakeholder perspectives is offered that can be adapted for researchers and industry research sponsors. Originality/value – Few papers offer a value proposition framework for explaining collaborative research benefits. This paper addresses that need.

Creating successful cultural Brokers : the pros and cons of a community of practice approach in arts management education

Arts managers play a critical role in creating a strong, sustainable arts and cultural sector. They operate as brokers, creating programs, and, more critically, coordinating the relationships between artists, audiences, communities, governments and sponsors required to make these programs a success. Based on study of model developed for a subject in the Master of Creative Industries (Creative Production & Arts Management) at Queensland University of Technology (QUT), this paper examines the pros and cons of a “community of practice” approach in training arts management students to act as cultural brokers. It provides data on the effectiveness of a range of activities – including Position Papers, Case Studies, Masterclasses, and offline and online conversations – that can be used facilitate the peer-to-peer engagement by which students work together to build their cultural brokering skills in a community of practice. The data demonstrates that, whilst students appreciate this approach, educators must provide enough access to voices of authority – that is, to arts professionals – to establish a well-functioning community of practice, and ensure that more expert students do not become frustrated when they are unwittingly and unwillingly thrust into this role by less expert classmates. This is especially important in arts management, where classes are always diverse, due to the fact that most dedicated programs in Australia, as in the US, UK and Europe, are taught via small-scale programs at graduate level which accept applicants from a wide variety of arts and non-arts backgrounds.

Observation of new particle formation in subtropical urban environment

The aim of this study was to characterise the new particle formation events in a subtropical urban environment in the southern hemisphere. The study measured the number concentration of particles and its size distribution in Brisbane, Australia during 2009. The variation of particle number concentration and nucleation burst events were characterised as well as the particle growth rate which was first reported in urban environment of Australia. The annual average NUFP, NAitken and NNuc were 9.3 x 103, 3.7 x 103 and 5.6 x 103 cm-3, respectively. Weak seasonal variation in number concentration was observed. Local traffic exhaust emissions were a major contributor of the pollution (NUFP) observed in morning which was dominated by the Aitken mode particles, while particles formed by secondary formation processes contributed to the particle number concentration during afternoon. Overall, 65 nucleation burst events were identified during the study period. Nucleation burst events were classified into two groups, with and without particles growth after the burst of nucleation mode particles observed. The average particle growth rate of the nucleation events was 4.6 nm hr-1 (ranged from 1.79 – 7.78 nm hr-1). Case studies of the nucleation burst events were characterised including i) the nucleation burst with particle growth which is associated with the particle precursor emitted from local traffic exhaust emission, ii) the nucleation burst without particle growth which is due to the transport of industrial emissions from the coast to Brisbane city or other possible sources with unfavourable conditions which suppressed particle growth and iii) interplay between the above two cases which demonstrated the impact of the vehicle and industrial emissions on the variation of particle number concentration and its size distribution during the same day.

Challenges and opportunities in the journey of the design-led innovation champions

The purpose of this study is to deepen our knowledge and understanding of the challenges faced by design champions in proposing and applying design methods and insights in existing firms. This study investigates the early stages of the journey of the design champions as they incorporate design into operational and strategic conversations and practices, and their progress in mastering these challenges as opportunities in a firm context. Little research on this topic has been reported, yet it is of growing interest as more firms turn to design-led innovation to shape their strategies and practices. Interviews with design champions were used to investigate first hand the experience and reflections the many challenges provide. Findings from the study provide some early insights that can be extended through further research.

Employment opportunities in Australia for educational researchers: A review of recent advertisements

The Australian Association for Research in Education (AARE) by promoting the conference theme has identified a need to be more proactive to ensure growth in the number of educational researchers. Within the Higher Education sector there are a number of methods used to encourage interest in a particular area, and these include policy, funding, sponsorship, employment and scholarships. There are three types of employment for academics: Research, Lecturing and Teaching and Learning and two types of scholarships: either students self-identify the topic or topics are targeted with associated funding. The aim of this study is to review the academic positions and targeted scholarships of Australian Universities and research organisations gathered from advertisements in a national newspaper. This will establish a baseline of recent practice from July to December, 2006 and identify opportunities for researchers in all Disciplines and specifically in education. Results reveal the two main groups for academics are Research and Lecturing, with a small number in Teaching and Learning. Although the Education Discipline is well represented overall (3rd in 12 Disciplines after Health and Science) in terms of research opportunities education then moves to 10th position. A further significant finding is the highly contractual nature of research versus the more stable, tenured environment for lecturing. There are a number of implications arising from this short study. Firstly, the Discipline of Education as a targeted area for research alone is significantly under-represented in the advertised positions but is well represented in lecturing where the role always requires teaching and research. Thus it seems the amount of time devoted to research by academics in the education Discipline is significantly lower than for health or science. Secondly, there are few industry/Government targeted scholarships in the education Discipline therefore any growth in numbers of educational researchers through postgraduate study is not expanded by funding to meet identified needs. In conclusion AARE, an association interested in promoting the growth of educational research, has an obvious need to encourage and review the outcomes of this study and perhaps adopt some of the successful strategies employed by other Disciplines to improve the opportunities for educational researchers in the future.