Modeling key compromise impersonation attacks on group key exchange protocols

Two-party key exchange (2PKE) protocols have been rigorously analyzed under various models considering different adversarial actions. However, the analysis of group key exchange (GKE) protocols has not been as extensive as that of 2PKE protocols. Particularly, an important security attribute called key compromise impersonation (KCI) resilience has been completely ignored for the case of GKE protocols. Informally, a protocol is said to provide KCI resilience if the compromise of the long-term secret key of a protocol participant A does not allow the adversary to impersonate an honest participant B to A. In this paper, we argue that KCI resilience for GKE protocols is at least as important as it is for 2PKE protocols. Our first contribution is revised definitions of security for GKE protocols considering KCI attacks by both outsider and insider adversaries. We also give a new proof of security for an existing two-round GKE protocol under the revised security definitions assuming random oracles. We then show how to achieve insider KCIR in a generic way using a known compiler in the literature. As one may expect, this additional security assurance comes at the cost of an extra round of communication. Finally, we show that a few existing protocols are not secure against outsider KCI attacks. The attacks on these protocols illustrate the necessity of considering KCI resilience for GKE protocols.

Some empirical results for neo-Piagetian reasoning in novice programmers and the relationship to code explanation questions

Recent research on novice programmers has suggested that they pass through neo-Piagetian stages: sensorimotor, preoperational, and concrete operational stages, before eventually reaching programming competence at the formal operational stage. This paper presents empirical results in support of this neo-Piagetian perspective. The major novel contributions of this paper are empirical results for some exam questions aimed at testing novices for the concrete operational abilities to reason with quantities that are conserved, processes that are reversible, and properties that hold under transitive inference. While the questions we used had been proposed earlier by Lister, he did not present any data for how students performed on these questions. Our empirical results demonstrate that many students struggle to answer these problems, despite the apparent simplicity of these problems. We then compare student performance on these questions with their performance on six explain in plain English questions.

Introductions to the profession : curricular approach

In 2008, extra-curricular career development programs developed for psychology undergraduates at the Queensland University of Technology were incorporated into the formal curriculum. While a whole of course approach has been adopted, this session will explore the impact of a new introductory unit, Psychology in Professional Contexts, which adopts a constructivist approach to student career exploration. First-year students are introduced to key theories, models, and processes of career development, and the diversity of contexts in which their psychological knowledge can be applied, while developing and highlighting the value of important generic abilities such as critical thinking, team communication, critical reflection, and information literacy. Materials are drawn from the media, guest speakers’ professional profiles, the students’ own experiences, and traditional and emerging areas of psychology. Assessment and learning activities involve case analysis, problem-based learning, and discussion-based classes. The content of these professional development classes is also aligned with that of the core discipline units studied concurrently, to encourage the transfer of career development skills and knowledge across the psychology curriculum. This presentation will focus on 4 years of curriculum development in Psychology in Professional Contexts, and discuss changes initiated in 2011 which incorporate interactive online environments and extend the role of problem-based learning.

11:59

At first glance, the gallery seems to be empty. Upon entering however, 11:59 reveals itself to be masking tape placed lackadaisically in seemingly geometric forms. Enter the gallery at 11:59 and you would witness the light and shadows correlate with the gestural marks that have been made. Exploring ideas of time, space, gesture, value and mark-making, this work can be interpreted to be overflowing with confidence and/or impotence. It whispers about site and encounters, over-complication and simplicity, and boldness and hesitancy.

The subtropical row house charrette

Current urban development in South East Queensland (SEQ) is impacted by a number of factors: growth and sprawl eroding subtropical character and identity; changing demographics and housing needs; lack of developable land; rising transport costs; diminishing fresh water supply; high energy consumption; and generic building designs which ignore local climate, landscape and lifestyle conditions. The Subtropical Row House project sought to research ‘best practice’ planning and design for contemporary and future needs for urban development in SEQ, and stimulate higher-density housing responses that achieve sustainable, low-energy and low water outcomes and support subtropical character and identity by developing a workable new typology for homes that the local market can adopt. The methodology was that of charrette, an established methodology in architecture and design. Four leading Queensland architectural firms were invited to form multidisciplinary creative teams. During the two-day charrette, the teams visited a selected greenfield site, defined the problems and issues, developed ideas and solutions, and benchmarked performance of designs using the Australian Green Building Council’s Pilot Green Star Multi-Unit residential tool. Each of the four resulting designs simultaneously express a positive relationship with climate and place by demonstrating: suitability for the subtropical climate; flexibility for a diversity of households; integrated building/site/vegetation strategies; market appeal to occupants and developers; affordability in operation; constructability by ‘domestic’ builders; and reduced energy, water and wastage. The project was awarded a Regional Commendation by the Australian Institute of Architects.

Enhancing Sustainability Deliverables for Infrastructure Project Delivery

Despite an increasing highlight on the sustainability agenda by the construction industry, sustainable development is often treated with different philosophy, interpretation, and responsibility at various stages of project development by various stakeholders involved. The actual sustainability deliverables from the industry is not substantially tangible, especially at project levels. For infrastructure projects which typically span over long periods of time, achieving consistent sustainability outcomes during various stages of development remains as a formidable task. The absence of common understanding among stakeholders and the lack of appropriate sustainability reporting mechanism are possible causes. Many policies dealing with these issues tend to be too generic and broad-based for practical adaptation. While there had been a plenty of research initiatives on sustainability assessment, there is often a gap between sustainability deliverables during project implementation and the grandeur of promises during project conception. This paper reviews the historical context of sustainable development and its principles, and past studies on sustainable construction, focusing on infrastructure projects. It goes on to introduce a QUT research project aimed at identifying and integrating the different perceptions and priority needs of the stakeholders, along with identifying issues that impact on the gap between sustainability foci and its actual realization at project end level, in order to generate a framework of enhancing sustainable deliverables. It is expected that the research will help promote more integrated approaches to decision-making on the implementation of sustainability strategies and foci during the construction project delivery processes.

From the “Little Aussie Bleeder” to Newstopia : (really) fake news in Australia

This paper offers an overview of the key characteristics of “fake” news in the Australian national context. Focusing on two television shows – The Norman Gunston Show and NEWStopia – it historicizes “fake” news within Australian television culture, situating it as part of a broader tradition of what Turner (1989) calls “Transgressive TV.” After analyzing the core comedic themes, styles, and intertextual relationships of both shows, the paper concludes that, although news parody in Australia has tended to be highly fictionalized, it may nevertheless play a vital role in helping viewers better understand generic devices that frame and govern “real” television news.

Optimum utilisation of rolling stocks for iron ore mining industries

In this paper, a generic and flexible optimisation methodology is developed to represent, model, solve and analyse the iron ore supply chain system by integrating of iron ore shipment, stockpiles and railing within a whole system. As a result, an integrated train-stockpile-ship timetable is created and optimised for improving efficiency of overall supply chain system. The proposed methodology provides better decision making on how to significantly improve rolling stock utilisation with the best cost-effectiveness ratio. Based on extensive computational experiments and analysis, insightful and quantitative advices are suggested for iron ore mine industry practitioners. The proposed methodology contributes to the sustainability of the environment by reducing pollution due to better utilisation of transportation resources and fuel.

Scheduling Trains with Priorities : a no-wait blocking parallel-machine job-shop scheduling model

The paper investigates train scheduling problems when prioritised trains and non-prioritised trains are simultaneously traversed in a single-line rail network. In this case, no-wait conditions arise because the prioritised trains such as express passenger trains should traverse continuously without any interruption. In comparison, non-prioritised trains such as freight trains are allowed to enter the next section immediately if possible or to remain in a section until the next section on the routing becomes available, which is thought of as a relaxation of no-wait conditions. With thorough analysis of the structural properties of the No-Wait Blocking Parallel-Machine Job-Shop-Scheduling (NWBPMJSS) problem that is originated in this research, an innovative generic constructive algorithm (called NWBPMJSS_Liu-Kozan) is proposed to construct the feasible train timetable in terms of a given order of trains. In particular, the proposed NWBPMJSS_Liu-Kozan constructive algorithm comprises several recursively-used sub-algorithms (i.e. Best-Starting-Time-Determination Procedure, Blocking-Time-Determination Procedure, Conflict-Checking Procedure, Conflict-Eliminating Procedure, Tune-up Procedure and Fine-tune Procedure) to guarantee feasibility by satisfying the blocking, no-wait, deadlock-free and conflict-free constraints. A two-stage hybrid heuristic algorithm (NWBPMJSS_Liu-Kozan-BIH) is developed by combining the NWBPMJSS_Liu-Kozan constructive algorithm and the Best-Insertion-Heuristic (BIH) algorithm to find the preferable train schedule in an efficient and economical way. Extensive computational experiments show that the proposed methodology is promising because it can be applied as a standard and fundamental toolbox for identifying, analysing, modelling and solving real-world scheduling problems.

A hybrid shifting bottleneck procedure algorithm for the parallel-machine job-shop scheduling problem

In practice, parallel-machine job-shop scheduling (PMJSS) is very useful in the development of standard modelling approaches and generic solution techniques for many real-world scheduling problems. In this paper, based on the analysis of structural properties in an extended disjunctive graph model, a hybrid shifting bottleneck procedure (HSBP) algorithm combined with Tabu Search metaheuristic algorithm is developed to deal with the PMJSS problem. The original-version SBP algorithm for the job-shop scheduling (JSS) has been significantly improved to solve the PMJSS problem with four novelties: i) a topological-sequence algorithm is proposed to decompose the PMJSS problem into a set of single-machine scheduling (SMS) and/or parallel-machine scheduling (PMS) subproblems; ii) a modified Carlier algorithm based on the proposed lemmas and the proofs is developed to solve the SMS subproblem; iii) the Jackson rule is extended to solve the PMS subproblem; iv) a Tabu Search metaheuristic algorithm is embedded under the framework of SBP to optimise the JSS and PMJSS cases. The computational experiments show that the proposed HSBP is very efficient in solving the JSS and PMJSS problems.

Optimising a coal rail network under capacity constraints

This research deals with an innovative methodology for optimising the coal train scheduling problem. Based on our previously published work, generic solution techniques are developed by utilising a “toolbox” of standard well-solved standard scheduling problems. According to our analysis, the coal train scheduling problem can be basically modelled a Blocking Parallel-Machine Job-Shop Scheduling (BPMJSS) problem with some minor constraints. To construct the feasible train schedules, an innovative constructive algorithm called the SLEK algorithm is proposed. To optimise the train schedule, a three-stage hybrid algorithm called the SLEK-BIH-TS algorithm is developed based on the definition of a sophisticated neighbourhood structure under the mechanism of the Best-Insertion-Heuristic (BIH) algorithm and Tabu Search (TS) metaheuristic algorithm. A case study is performed for optimising a complex real-world coal rail system in Australia. A method to calculate the lower bound of the makespan is proposed to evaluate results. The results indicate that the proposed methodology is promising to find the optimal or near-optimal feasible train timetables of a coal rail system under network and terminal capacity constraints.

CAD/CAm-assisted breast reconstruction

The application of computer-aided design and manufacturing (CAD/CAM) techniques in the clinic is growing slowly but steadily. The ability to build patient-specific models based on medical imaging data offers major potential. In this work we report on the feasibility of employing laser scanning with CAD/CAM techniques to aid in breast reconstruction. A patient was imaged with laser scanning, an economical and facile method for creating an accurate digital representation of the breasts and surrounding tissues. The obtained model was used to fabricate a customized mould that was employed as an intra-operative aid for the surgeon performing autologous tissue reconstruction of the breast removed due to cancer. Furthermore, a solid breast model was derived from the imaged data and digitally processed for the fabrication of customized scaffolds for breast tissue engineering. To this end, a novel generic algorithm for creating porosity within a solid model was developed, using a finite element model as intermediate.

Outdoor experiential training as a medium for the development of today’s leaders

Outdoor experiential training is often used for the enhancement of generalised workplace skills including those considered relevant for effective leadership. Traditionally, facilitation processes and strategies employed in outdoor experiential training have often relied on theories delivered as part of an outdoor leadership training program. This was premised on the assumption that skills and capabilities developed in such programs transfer to the mainstream business market. In this paper we present data from an International study on the characteristics of outdoor education professionals that adds further insights into the role that outdoor experiential training plays in the development of generic leadership characteristics. Outdoor leaders were found to characterise transformational leadership qualities and considered that the development of these qualities were directly linked to their outdoor experiential training.

Towards human and social innovation: not wanting to know in order to create

The formation of a venture relies, in part, upon the participants reaching a shared understanding of purpose and process. Yet in circumstances of great complexity and uncertainty how can such a shared understanding be created? If the response to complexity and uncertainty is to seek simplicity in order to find commonality then what is lost and what is at risk? Can shared understandings of purpose and process be arrived at by embracing complexity and uncertainty and if so how? These questions led us to explore the process of dialogue and communication of a team in its formative stages. Our interests were not centred upon the behavioural characteristics of the individuals in the 'forming' stage of group dynamics but rather the process of cognitive and linguistic turns, the wax and wan of ideas and, the formation of shared meaning. This process of cognitive and linguistic turns was focused thematically on the areas of foresight, innovation, entrepreneurship, and public policy. This cross disciplinary exploration sought to explore potential synergies between these domains, in particular in developing a conceptual basis for long term thinking that can inform wiser public policy.

Savages crossing

For a screenwriter, the key challenge of writing genre movies is balancing formulaic convention (familiar plotlines, character types, themes) with generic invention (introducing novel generic elements or devices). The thriller genre is built around the elements of tension and suspense, and plot devices such as twists, red herrings, and cliff-hangers evoke uncertainty, anxiety and anticipation from the audience. For the feature film Savages Crossing, the question driving the screenplay was “How can the psychological thriller genre be renewed through elements of the family drama to challenge audience expectations?” While there are numerous sub-genres, each with thematic nuances, the psychological thriller typically revolves around a central antagonist. Taking this element as the focal point, the screenplay turned to family drama to revise this convention.