Analysis of Object-Specific Authorization Protocol (OSAP) using coloured Petri nets

The use of Trusted Platform Module (TPM) is be- coming increasingly popular in many security sys- tems. To access objects protected by TPM (such as cryptographic keys), several cryptographic proto- cols, such as the Object Specific Authorization Pro- tocol (OSAP), can be used. Given the sensitivity and the importance of those objects protected by TPM, the security of this protocol is vital. Formal meth- ods allow a precise and complete analysis of crypto- graphic protocols such that their security properties can be asserted with high assurance. Unfortunately, formal verification of these protocols are limited, de- spite the abundance of formal tools that one can use. In this paper, we demonstrate the use of Coloured Petri Nets (CPN) - a type of formal technique, to formally model the OSAP. Using this model, we then verify the authentication property of this protocol us- ing the state space analysis technique. The results of analysis demonstrates that as reported by Chen and Ryan the authentication property of OSAP can be violated.

Planning for the impact of distributed solar energy on the grid

The behaviour of single installations of solar energy systems is well understood; however, what happens at an aggregated location, such as a distribution substation, when output of groups of installations cumulate is not so well understood. This paper considers groups of installations attached to distributions substations on which the load is primarily commercial and industrial. Agent-based modelling has been used to model the physical electrical distribution system and the behaviour of equipment outputs towards the consumer end of the network. The paper reports the approach used to simulate both the electricity consumption of groups of consumers and the output of solar systems subject to weather variability with the inclusion of cloud data from the Bureau of Meteorology (BOM). The data sets currently used are for Townsville, North Queensland. The initial characteristics that indicate whether solar installations are cost effective from an electricity distribution perspective are discussed.

The naming of waterfalls

As features of the landscape, waterfalls have been studied extensively by geographers, but the names given to these landforms have received relatively little scholarly attention. This paper examines the naming of waterfalls and addresses the question of classifying these hydronyms. The subject is considered in a global historical context, focusing on place names in the anglophone world. Until the 18th and 19th centuries, relatively few waterfalls were named.With the beginning of the Industrial Revolution, water power rose in economic importance, and at the same time, there was a growing scientific and aesthetic engagement with the landscape. These developments are suggested as reasons for the increased interest in waterfalls which were then being recorded in topographical literature and on maps, individual names being given to increasing numbers of falls. European exploration added to the knowledge of the world’s waterfalls, many of which were given names by their ‘discoverers’. This naming process accelerated with the growth of domestic and overseas tourism which exploited scenic resources such as waterfalls. Until now, research on the names of waterfalls has been fragmentary, and the classification of these hydronyms has been neglected. This paper demonstrates that waterfall names can be classified in accordance with a recognised toponymic typology. Using examples drawn from waterfall guidebooks, databases, maps, and other sources, the following discussion supports George Stewart’s claim that his toponymic classification is valid for place names of all kinds.

Threshold concepts in property education : a case study

First year Property Economics students enrolled in the Bachelor of Urban Development at QUT are required to undertake a number of compulsory subjects, alongside students undertaking studies in other disciplines. One such common unit is ‘Stewardship of Land’, an interdisciplinary unit that introduces students to the characteristics of land and land tenure with a focus on land use and property rights. It covers a range of issues including: native title, land contamination, heritage values, alternative uses, the property development process, impact of environmental and social factors, and the management of land, both urban and regional. Teaching such a diverse content to a diverse audience has in previous years proved difficult, from the perspectives of relevance, engagement and content overload. In 2011 a project was undertake to redevelop this unit to reflect ‘threshold concepts’, concepts that are “transformative, probably irreversible, integrative, often troublesome and probably bounded” (Meyer & Land, 2003) . This project involved the development of a new set of underlying concepts students should draw from the unit, application of these to the unit curriculum, and a survey of the student response to these changes. This paper reports on the threshold concepts developed for this unit, the changes this made to the unit curriculum, and a preliminary report on survey responses. Recommendations for other educators seeking to incorporate threshold concepts into their curricula are provided.

When digital native meets analogue reality : a case study of ICT skills in first year university students

Recently claims have been made that all universities will in coming decades merge to become just a few mega-institutions offering online degrees to the world. This assumes a degree of literacy with ICT (information and communication technology) amongst potential students, who are often regarded as 'digital natives'. Far from being digital natives, many students have considerable trouble using ICT beyond the ubiquitous Facebook. While some students are computer literate, a substantial proportion lack the skills to prosper under their own devices in an online tertiary education environment. For these students a blended learning experience is needed to develop skills to effectively interact in the virtual environment. This paper presents a case study that specifically examined the ICT capabilities of first-year university students enrolled in the School of Civil Engineering and the Built Environment at Queensland University of Technology (QUT). Empirical data are presented and curriculum strategies articulated to develop ICT skills in university undergraduates.

Contract Law [4th ed.]

The fourth edition of Contract Law provides a comprehensive review of the principles of contract law. Complex topics are explained in a clear and accessible style that and illustrated by succinct cases. This text is also available with a casebook which gives students access to an expanded selection of primary and secondary materials.

Contract Law Case Book [2nd ed.]

This case book contains the essential sections of the most significant cases in Australian contract law. Ready access to this collection of cases enables students to experience the law through the judges’ own words, and to develop the skills of interpreting and analysing cases in order to refine their understanding of the law. Excerpts from important statutes and writings are also included.

Mobile Q&A for enhancing online discussion

In this study, we explore the design and evaluation of a mobile online discussion system for motivating students to share their learning experiences. The system supports interaction with peers and academic staff anytime and anywhere using mobile devices. The application introduces a set of features that enables customisation for different purposes. This paper describes the application and explains the motivation for developing the application. We describe the methods and results of a case study that explores usage of the application among a small group of localised participants. Finally, we discuss the implications of this work and outline future areas of research and development.

Uninav : a context-aware mobile application for university campus maps

The smart phones we carry with us are becoming ubiquitous with everyday life and the sensing capabilities of these devices allow us to provide context-aware services. In this paper, we discuss the development of UniNav, a context-aware mobile application that delivers personalised campus maps for universities. The application utilises university students’ details to provide information and services that are relevant and important to them. It helps students to navigate within the campus and become familiar with their university environment quickly. A study was undertaken to evaluate the acceptability and usefulness of the campus map, as well as the impact on a users’ navigation efficiency by utilising the personal and environmental contexts. The result indicates the integration of personal and environmental contexts on digital maps can improve its usefulness and navigation efficiency.

Parking, parties and pets : disputes - the dark side of community living

In the last decade community living, in master planned communities or strata titled complexes, has increased. As land becomes scarcer, the popularity of these schemes is predicted to grow. Offsetting this popularity is the peculiarities of community living, in particular the often unthought-of difficulties arising from living in very close proximity to your neighbour. Such difficulties affect both amenity of life and property value. This paper seeks to inform practitioners of the issues arising from community living. It does this by identifying the more common forms of disputes and considering recent tribunal and court decisions. The paper concludes by identifying the dispute warning signs to assist to practitioners with the valuation process.

Mobile valuations : the Internet's impact on traditional valuation services

Preparing valuations is a time consuming process involving site inspections, research and report formulation. The ease of access to the internet has changed how and where valuations may be undertaken. No longer is it necessary to return to the office to finalise reports, or leave your desk in order to undertake research. This enables more streamlined service delivery and is viewed as a positive. However, it is not without negative impacts. This paper seeks to inform practitioners of the work environment changes flowing from increased access to the internet. It identifies how increased accessibility to, and use of, technology and the internet has, and will continue to, impact upon valuation service provision into the future.

The Best interests duty in the future of financial advice reforms : striking a balance between certainty and flexibility

Presentation delivered to the Australian and New Zealand Consumer Law Roundtable held at the University of Melbourne Law School on Friday, 16 November 2012. The paper covers the background to the 'Future of Financial Advice' reforms and their context. In addition to this the scope of best interests duty is discussed. The paper concludes with an assessment of the likely effectives of best interest duty as a consumer protection measure.

The Australian Consumer Law (2nd ed.)

The purpose of this book is to summarise and explain the substantive rights of consumers, and the obligations of businesses under the Australian Consumer Law (ACL). Since the first edition there have been two significant legislative developments at the Federal and State level which have been incorporated into this edition. The Competition and Consumer Legislation Amendment Act 2011 (Cth), which amends the provisions of the ACL relating to unconscionable conduct, took effect from 1 January 2012. In addition to this the Fair Trading Act 1999 (Vic) has been replaced by the Australian Consumer Law and Fair Trading Act 2012 (Vic), which applies the ACL as a law of the State of Victoria.

Occupant comfort, the housing industry and electricity infrastructure : understanding the synergies

Despite increasingly stringent energy performance regulations for new homes, southeast Queensland has a high and growing penetration of, and reliance on, air conditioners to provide thermal comfort to housing inhabitants. This reliance impacts on electricity infrastructure investment which is the key driving force behind rising electricity prices. This paper reports initial findings of a research project that seeks to better understand three key issues: (i) how families manage their thermal comfort in summer and how well their homes limit overheating; (ii) the extent to which the homes have been constructed according to the building approval documentation; and (iii) the impact that these issues have on urban design, especially in relation to electricity infrastructure in urban developments.

Statutory right to rescind contract remained available to buyer subject to specific performance decree

The aftermath of the Queensland floods of January 2011 continues to be played out in the courts. The effect of the floods on such a large scale has awakened the use of some statutory provisions that have not previously been litigated .Section 64 of the Property Law Act 1974 (Qld) is such a section. A version of this provision appears as s 34 of the Sale of Land Act 1982 (Vic). Broadly speaking, these sections permit a buyer of a dwelling house which has been damaged or destroyed between contract and completion to rescind the contract and recover their deposit provided that the rescission notice is given prior to "the date of completion or possession". The Court of Appeal decision of Dunworth v Mirvac Queensland Pty Ltd [2011] QCA 200 appears to be the first litigation upon the application of the section since it came into force in 1975.