Plaintext awareness in identity-based key encapsulation

The notion of plaintext awareness ( PA ) has many applications in public key cryptography: it offers unique, stand-alone security guarantees for public key encryption schemes, has been used as a sufficient condition for proving indistinguishability against adaptive chosen-ciphertext attacks ( IND-CCA ), and can be used to construct privacy-preserving protocols such as deniable authentication. Unlike many other security notions, plaintext awareness is very fragile when it comes to differences between the random oracle and standard models; for example, many implications involving PA in the random oracle model are not valid in the standard model and vice versa. Similarly, strategies for proving PA of schemes in one model cannot be adapted to the other model. Existing research addresses PA in detail only in the public key setting. This paper gives the first formal exploration of plaintext awareness in the identity-based setting and, as initial work, proceeds in the random oracle model. The focus is laid mainly on identity-based key encapsulation mechanisms (IB-KEMs), for which the paper presents the first definitions of plaintext awareness, highlights the role of PA in proof strategies of IND-CCA security, and explores relationships between PA and other security properties. On the practical side, our work offers the first, highly efficient, general approach for building IB-KEMs that are simultaneously plaintext-aware and IND-CCA -secure. Our construction is inspired by the Fujisaki-Okamoto (FO) transform, but demands weaker and more natural properties of its building blocks. This result comes from a new look at the notion of γ -uniformity that was inherent in the original FO transform. We show that for IB-KEMs (and PK-KEMs), this assumption can be replaced with a weaker computational notion, which is in fact implied by one-wayness. Finally, we give the first concrete IB-KEM scheme that is PA and IND-CCA -secure by applying our construction to a popular IB-KEM and optimizing it for better performance.

Litigating law of the sea disputes using the UNCLOS Dispute Settlement System

The interpretation and application of the United Nations Convention on the Law of the Sea (UNCLOS) may be the source of many disputes. UNCLOS introduced an à la carte menu for dispute settlement with a number of options for international dispute resolution, including a compulsory procedure entailing binding decisions. While drafting this ambitious and complex system of dispute settlement, the drafters had to negotiate many delicate compromises to secure a system for the uniform interpretation of the Convention. The aim of this paper r is to explore why litigation using the UNCLOS dispute settlement system is, or is not, a preferred mode of settlement for law of the sea disputes.

Fraud and its PREY : conceptualising social engineering tactics and its impact on financial literacy outcomes

Financial literacy may not be as effective as previously thought in protecting against fraud victimisation. It does not inoculate investors from persuasion or social engineering tactics used by offenders to secure investment in fraudulent schemes. In fact, recent research indicates that overconfidence in investment knowledge may make individuals more susceptible to fraud. Using boiler room fraud as a case study, this article introduces the PREY (Profiled, Relational, Exploitable and Yielding) model to capture the psychological tactics used by fraud perpetrators to influence the thoughts and decision-making processes of individuals. The PREY model operationalizes the tenets of social engineering and demonstrates how such tactics could be re-engineered to increase the effectiveness of fraud prevention within the financial literacy context.

Small signal stability analysis of power systems with high penetration of wind power

The integration of large amount of wind power into a power system imposes a new challenge for the secure and economic operation of the system. It is necessary to investigate the impacts of wind power generation on the dynamic behavior of the power system concerned. This paper investigates the impacts of large amount of wind power on small signal stability and the corresponding control strategies to mitigate the negative effects. The concepts of different types of wind turbine generators (WTGs) and the principles of the grid-connected structures of wind power generation systems are first briefly introduced. Then, the state-of-the-art of the studies on the impacts of WTGs on small signal stability as well as potential problems to be studied are clarified. Finally, the control strategies on WTGs to enhance power system damping characteristics are presented.

'Haunts of the street bully' : social reform and the Queensland children's playground movement

This article is about the Queensland children's playground movement and its development in Brisbane. It pays particular attention to three Brisbane playgrounds: Neal Macrossan Playground (formerly Paddington Playground); Bedford Playground (formerly Spring Hill Playground); and the Valley Playground, which has since been replaced by a building. The paper pays especial attention to the work of the local children's playground protagonist Mary Josephine Bedford, which will be seen within the context of the international movement.

Innovation through action research in environmental education : from project to praxis

This thesis is a work-in-progress that articulates my research journey based on the development of a curriculum innovation in environmental education. This journey had two distinct, but intertwined phases: action research based fieldwork, conducted collaboratively, to create a whole school approach to environmental education curriculum planning; and a phase of analysis and reflection based on the emerging findings, as I sought to create personal "living educational theory" about change and innovation. A key stimulus for the study was the perceived theory-practice gap in environmental education, which is often presented in the literature as a criticism of teachers for failing to achieve the values and action objectives of critical environmental education. Hence, many programs and projects are considered to be superficial and inconsequential in terms of their ability to seriously address environmental issues. The intention of this study was to work with teachers in a project that would be an exemplar of critical environmental education. This would be in the form of a whole school "learnscaping" curriculum in a primary school whereby the schoolgrounds would be utilised for interdisciplinary critical environment education. Parallel with the three cycles of action research in this project, my research objectives were to identify and comment upon the factors that influence the generation of successful educational innovation. It was anticipated that the project would be a collaboration involving me, as researcher-facilitator, and many of the teachers in the school as active participants. As the project proceeded through its action cycles, however, it became obvious that the goal of developing a critical environmental education curriculum, and the use of highly participatory processes, were unrealistic. Institutional and organisational rigidities in education generally, teachers' day-to-day work demands, and the constant juggle of work, family and other responsibilities for all participants acted as significant constraints. Consequently, it became apparent that the learnscaping curriculum would not be the hoped-for exemplar. Progress was slow and, at times, the project was in danger of stalling permanently. While the curriculum had some elements of critical environmental education, these were minor and not well spread throughout the school. Overall, the outcome seemed best described as a "small win"; perhaps just another example of the theory-practice gap that I had hoped this project would bridge. Towards the project's end, however, my continuing reflection led to an exploration of chaos/complexity theory which gave new meaning to the concept of a "small win". According to this theory, change is not the product of linear processes applied methodically in purposeful and diligent ways, but emerges from serendipitous events that cannot be planned for, or forecast in advance. When this perspective of change is applied to human organisations - in this study, a busy school - the context for change is recognised not as a stable, predictable environment, but as a highly complex system where change happens all the time, cannot be controlled, and no one can be really sure where the impacts might lead. This so-called "butterfly effect" is a central idea of this theory where small changes or modifications are created - the effects of which are difficult to know, let alone determine - and which can have large-scale impacts. Allied with this effect is the belief that long term developments in an organisation that takes complexity into account, emerge by spontaneous self-organising evolution, requiring political interaction and learning in groups, rather than systematic progress towards predetermined goals or "visions". Hence, because change itself and the contexts of change are recognised as complex, chaos/complexity theory suggests that change is more likely to be slow and evolutionary - cultural change - rather than fast and revolutionary where the old is quickly ushered out by radical reforms and replaced by new structures and processes. Slow, small-scale changes are "normal", from a complexity viewpoint, while rapid, wholesale change is both unlikely and unrealistic. Therefore, the frustratingly slow, small-scale, imperfect educational changes that teachers create - including environmental education initiatives - should be seen for what they really are. They should be recognised as successful changes, the impacts of which cannot be known, but which have the potential to magnify into large-scale changes into the future. Rather than being regarded as failures for not meeting critical education criteria, "small wins" should be cause for celebration and support. The intertwined phases of collaborative action research and individual researcher reflection are mirrored in the thesis structure. The first three chapters, respectively, provide the thesis overview, the literature underpinning the study's central concern, and the research methodology. Chapters 4, 5, and 6 report on each of the three action research cycles of the study, namely Laying the Groundwork, Down to Work!, and The Never-ending Story. Each of these chapters presents a narrative of events, a literature review specific to developments in the cycle, and analysis and critique of the events, processes and outcomes of each cycle. Chapter 7 provides a synthesis of the whole of the study, outlining my interim propositions about facilitating curriculum change in schools through action research, and the implications of these for environmental education.

Empirical approaches in knowledge city research

In the 21st century, it has become apparent that ‘knowledge’ is a major factor of postmodern production (Yigitcanlar et al., 2007). Beyond this, in today’s rapidly globalizing world, knowledge, along with the social and technological settings, is seen as a key to secure economic prosperity and quality of life (Yigitcanlar et al., 2008a). However, limiting the benefits of a ‘knowledge-based development’ to only economic gains—and to a degree to social ones—is quite a narrow sighted view (Yigitcanlar et al., 2008b). Thus, the concept of ‘knowledge-based urban development’ is coined to bring economic prosperity, environmental sustainability, a just socio-spatial order and good governance to cities, and as a result producing a purposefully designed city—i.e., ‘knowledge city’—generating positive environmental and governance outcomes as well as economic and societal ones (Yigitcanlar, 2011; Carrillo et al., 2014).

Forming a joint venture project team for multi-discipline engineering services in Australia

Joint venture design teams are formed to combine resources and expertise in order to secure multi-discipline engineering design services on major projects. Bringing together resources from two ordinarily competing companies to form one joint team is however challenging as each parent company brings to the project its own organisational culture, processes and team attitudes. This study examined the factors that impact on forming a successful joint venture project team. Three critical areas were identified from an extensive literature review; Joint Venture Arrangements, Parent Companies and Forming the Team; and a survey was conducted with professionals who have worked in joint venture project teams in the Australian building industry in order to identify factors that affected successful joint venture team formation, and the common lessons learnt. This study reinforced the importance of three key criteria - trust, commitment and compatibility - for partner alignment. The results also identified four key lessons learnt which included; selecting the right resources, enabling a collaborative working environment by way of project office, implementing an independent Joint Venture Manager, and allocating work which is best for project with fees reflecting risk where risk is disproportionate.

Sustainable creative career development pathways for young people in Tanzania : a case study

Tanzania has a rich and diverse cultural history based in community cultural life. However, at present, young people have limited opportunity to exploit this richness of traditional knowledge and engage in creative jobs as their means of future sustainable employment. Hence, the significant challenge remains: how to integrate and enhance the traditional knowledge in a learning strategy, while there is no “inter-ministerial action and institutional mechanisms” (United Nations 2008, 33-35) to promote creative employment for young people. This article reports on a case study that examined how the two Ministries of Culture and Education might work together to support Tanzania’s young people to secure, and engage successfully in creative jobs. The case study employed mixed methods, incorporating questionnaires, interviews and focus groups. The study was undertaken in Dar-Es-Salaam, Mwanza, Bagamoyo, Dodoma, Lindi and Morogoro from July to October, 2012. This paper discusses some of the issues and argues that there is no practical utilization of traditional knowledge and skills in “putting education to work” (UNESCO 2012, 170) for the better prospects of young people and to reveal the story of their lives. Although this study is specific to Tanzania, the case may also apply to other developing countries.

The Chidiac case : another miscarriage of justice?

On 25 March 1997 the Witness program on Channel 7 screened a story about the conviction of Neil Chidiac in February 1989 for conspiracy to import a trafficable quantity of heroin in NSW. The program questioned the justice of Chidiac's conviction and filmed his recent release from prison on parole after serving over eight years in prison, still protesting his innocence. Witness featured an interview with the chief Crown witness against Chidiac, Alfred Oti, in which Oti completely repudiated the testimony he gave at the trial and admitted to lying at the behest of the police in order to secure advantages for himself...

Food in the city : urban food movements and the (re)imagining of urban spaces

Ethical food movements are growing in number throughout Australia. Amongst these diverse movements are urban agriculture initiatives, which articulate a multitude of social and environmental values. Yet, despite the long history of production and exchange of food in urban areas, planners (and others) often overlook its significance. To assist in addressing this oversight, we take the case study of Melbourne to examine the ways in which participants in urban agriculture are re-imagining urban spaces and the future of agriculture and food systems in Australia. We demonstrate that urban food advocates' politics and practices both challenge and resist the enclosure of urban spaces. This creates new frontiers that transgress social, political, ecological and economic boundaries and edges. These transgressions or counter-enclosures articulate new visions for secure and just food systems and, in so doing, offer insights to assist planners in ensuring Australian cities support socially just and environmentally responsible food systems.

Modelling after-the-fact leakage for key exchange

Security models for two-party authenticated key exchange (AKE) protocols have developed over time to prove the security of AKE protocols even when the adversary learns certain secret values. In this work, we address more granular leakage: partial leakage of long-term secrets of protocol principals, even after the session key is established. We introduce a generic key exchange security model, which can be instantiated allowing bounded or continuous leakage, even when the adversary learns certain ephemeral secrets or session keys. Our model is the strongest known partial-leakage-based security model for key exchange protocols. We propose a generic construction of a two-pass leakage-resilient key exchange protocol that is secure in the proposed model, by introducing a new concept: the leakage-resilient NAXOS trick. We identify a special property for public-key cryptosystems: pair generation indistinguishability, and show how to obtain the leakage-resilient NAXOS trick from a pair generation indistinguishable leakage-resilient public-key cryptosystem.

Key-private proxy re-encryption under LWE

Proxy re-encryption (PRE) is a highly useful cryptographic primitive whereby Alice and Bob can endow a proxy with the capacity to change ciphertext recipients from Alice to Bob, without the proxy itself being able to decrypt, thereby providing delegation of decryption authority. Key-private PRE (KP-PRE) specifies an additional level of confidentiality, requiring pseudo-random proxy keys that leak no information on the identity of the delegators and delegatees. In this paper, we propose a CPA-secure PK-PRE scheme in the standard model (which we then transform into a CCA-secure scheme in the random oracle model). Both schemes enjoy highly desirable properties such as uni-directionality and multi-hop delegation. Unlike (the few) prior constructions of PRE and KP-PRE that typically rely on bilinear maps under ad hoc assumptions, security of our construction is based on the hardness of the standard Learning-With-Errors (LWE) problem, itself reducible from worst-case lattice hard problems that are conjectured immune to quantum cryptanalysis, or “post-quantum”. Of independent interest, we further examine the practical hardness of the LWE assumption, using Kannan’s exhaustive search algorithm coupling with pruning techniques. This leads to state-of-the-art parameters not only for our scheme, but also for a number of other primitives based on LWE published the literature.

Security metrics for Java bytecode programs

Although there are many approaches for developing secure programs, they are not necessarily helpful for evaluating the security of a pre-existing program. Software metrics promise an easy way of comparing the relative security of two programs or assessing the security impact of modifications to an existing one. Most studies in this area focus on high level source code but this approach fails to take compiler-specific code generation into account. In this work we describe a set of object-oriented Java bytecode security metrics which are capable of assessing the security of a compiled program from the point of view of potential information flow. These metrics can be used to compare the security of programs or assess the effect of program modifications on security using a tool which we have developed to automatically measure the security of a given Java bytecode program in terms of the accessibility of distinguished ‘classified’ attributes.

Why not the best schools? What we have learned from outstanding schools around the world

Why not the Best Schools? offers a ten-point, ten-year plan for an education revolution that will result in the transformation of Australia’s schools. Expectations have been raised in Australia and comparable countries for an ‘education revolution’ that will secure success for all students in all settings. Such a revolution must ensure the alignment of educational outcomes, the skills required for a strong economy, and the needs of a harmonious society. Why not the Best Schools? goes beyond system characteristics to provide an in-depth account of how transformation occurs in schools. Fifty indicators are provided to help shape strategies for policy makers and practitioners in schools and school systems. Guidelines for leadership and governance ensure a future-focus for those who are determined to ensure that all students will succeed in the twentieth-first century. This book draws on a five-year study culminating in the International Project to Frame the Transformation of Schools conducted in Australia, China, England, Finland, the United States and Wales. The findings are consistent with the McKinsey & Company report on the world’s best performing school systems and those arising from OECD’s PISA.