Computationally sound automated proofs of cryptographic schemes

Proving security of cryptographic schemes, which normally are short algorithms, has been known to be time-consuming and easy to get wrong. Using computers to analyse their security can help to solve the problem. This thesis focuses on methods of using computers to verify security of such schemes in cryptographic models. The contributions of this thesis to automated security proofs of cryptographic schemes can be divided into two groups: indirect and direct techniques. Regarding indirect ones, we propose a technique to verify the security of public-key-based key exchange protocols. Security of such protocols has been able to be proved automatically using an existing tool, but in a noncryptographic model. We show that under some conditions, security in that non-cryptographic model implies security in a common cryptographic one, the Bellare-Rogaway model [11]. The implication enables one to use that existing tool, which was designed to work with a different type of model, in order to achieve security proofs of public-key-based key exchange protocols in a cryptographic model. For direct techniques, we have two contributions. The first is a tool to verify Diffie-Hellmanbased key exchange protocols. In that work, we design a simple programming language for specifying Diffie-Hellman-based key exchange algorithms. The language has a semantics based on a cryptographic model, the Bellare-Rogaway model [11]. From the semantics, we build a Hoare-style logic which allows us to reason about the security of a key exchange algorithm, specified as a pair of initiator and responder programs. The other contribution to the direct technique line is on automated proofs for computational indistinguishability. Unlike the two other contributions, this one does not treat a fixed class of protocols. We construct a generic formalism which allows one to model the security problem of a variety of classes of cryptographic schemes as the indistinguishability between two pieces of information. We also design and implement an algorithm for solving indistinguishability problems. Compared to the two other works, this one covers significantly more types of schemes, but consequently, it can verify only weaker forms of security.

Supporting the learning of rapid application development in a database environment

Intelligent Tutoring Systems (ITSs) are computer systems designed to provide individualised help to students, learning in a problem solving context. The difference between an ITS and a Computer Assisted Instruction (CAI) system is that an ITS has a Student Model which allows it to provide a better educational environment. The Student Model contains information on what the student knows, and does not know, about the domain being learnt, as well as other personal characteristics such as preferred learning style. This research has resulted in the design and development of a new ITS: Personal Access Tutor (PAT). PAT is an ITS that helps students to learn Rapid Application Development in a database environment. More specifically, PAT focuses on helping students to learn how to create forms and reports in Microsoft Access. To provide an augmented learning environment, PAT’s architecture is different to most other ITSs. Instead of having a simulation, PAT uses a widelyused database development environment (Microsoft Access). This enables the students to ask for help, while developing real applications using real database software. As part of this research, I designed and created the knowledge base required for PAT. This contains four models: the domain, student, tutoring and exercises models. The Instructional Expert I created for PAT provides individualised help to the students to help them correctly finish each exercise, and also proposes the next exercise that a student should work on. PAT was evaluated by students enrolled in the Databases subject at QUT, and by staff members involved in teaching the subject. The results of the evaluation were positive and are discussed in the thesis.

Measuring neighbourhood sustainability : a comparative analysis of residential types in Malaysia

The expansion of city-regions, the increase in the standard of living and changing lifestyles have collectively led to an increase in housing demand. New residential areas are encroaching onto the city fringes including suburban and green field areas. Large and small developers are actively building houses ranging from a few blocks to master-planned style projects. These residential developments, particularly in major urban areas, represent a large portion of urban land use in Malaysia, and, thus, have become a major contributor to overall urban sustainability. There are three main types that comprise the mainstream, and form integral parts to contemporary urban residential developments, namely, subdivision developments, piecemeal developments, and master-planned developments. Many new master-planned developments market themselves as environmentally friendly, and provide layouts that encompass sustainable design and development. To date, however, there have been limited studies conducted to examine such claims or to ascertain which of these three residential development layouts is more sustainable. To fill this gap, this research was undertaken to develop a framework for assessing the level of sustainability of residential developments, focusing on their layouts at the neighbourhood level. The development of this framework adopted a mixed method research strategy and embedded research design to achieve the study aim and objectives. Data were collected from two main sources, where quantitative data were gathered from a three-round Delphi survey and spatial data from a layout plan. Sample respondents for surveys were selected from among experts in the field of the built environment, both from Malaysia and internationally. As for spatial data, three case studies – master-planned, piecemeal and subdivision developments representing different types of neighbourhood developments in Malaysia have been selected. Prior to application on the case studies, the appropriate framework was subjected to validation to ascertain its robustness for application in Malaysia. Following the application of the framework on the three case studies the results revealed that master-planned development scored a better level of sustainability compared to piecemeal and subdivision developments. The results generated from this framework are expected to provide evidence to the policy makers and development agencies as well as provide an awareness of the level of sustainability and the necessary collective efforts required for developing sustainable neighbourhoods. Continuous assessment can facilitate a comparison of sustainability over time for neighbourhoods as a means to monitor changes in the level of sustainability. In addition, the framework is able to identify any particular indicator (issue) that causes a significant impact on sustainability.

Popular media as public 'Sphericules' for diasporic communities

The dynamics of 'diasporic' video, television, cinema, music and Internet use - where peoples displaced from homelands by migration, refugee status or business and economic imperative use media to negotiate new cultural identities - offer challenges for how media and culture are understood in our times. Drawing on research published in Floating Lives: The Media and Asian Diasporas, on dynamics that are industrial (the pathways by which these media travel to their multifarious destinations), textual and audience-related (types of diasporic style and practice where popular culture debates and moral panics are played out in culturally divergent circumstances among communities marked by internal difference and external 'othering'), the article will interrogate further the nature of the public 'sphericules' formed around diasporic media.

From tiers to tables – enhancing student experience through collaborative learning spaces

BACKGROUND Collaborative and active learning have been clearly identified as ways students can engage in learning with each other and the academic staff. Traditional tier based lecture theatres and the didactic style they engender are not popular with students today as evidenced by the low attendance rates for lectures. Many universities are installing spaces designed with tables for group interaction with evolutions on spaces such as the TEAL (Technology Enabled Active Learning) (Massachusetts Institute of Technology, n.d.) and SCALE-UP (Student-Centred Activities for Large-Enrolment Undergraduate Programs) (North Carolina State University, n.d.) models. Technology advances in large screen computers and applications have also aided the move to these collaborative spaces. How well have universities structured learning using these spaces and how have students engaged with the content, technology, space and each other? This paper investigates the application of collaborative learning in such spaces for a cohort of 800+ first year engineers in the context of learning about and developing professional skills representative of engineering practice. PURPOSE To determine whether moving from tiers to tables enhances the student experience. Does utilising technology rich, activity based, collaborative learning spaces lead to positive experiences and active engagement of first year undergraduate engineering students? In developing learning methodology and approach in new learning spaces, what needs to change from a more traditional lecture and tutorial configuration? DESIGN/METHOD A post delivery review and analysis of outcomes was undertaken to determine how well students and tutors engaged with learning in new collaborative learning spaces. Data was gathered via focus group and survey of tutors, students survey and attendance observations. The authors considered the unit delivery approach along with observed and surveyed outcomes then conducted further review to produce the reported results. RESULTS Results indicate high participation in the collaborative sessions while the accompanying lectures were poorly attended. Students reported a high degree of satisfaction with the learning experience; however more investigation is required to determine the degree of improvement in retained learning outcomes. Survey feedback from tutors found that students engaged well in the activities during tutorials and there was an observed improvement in the quality of professional practice modelled by students during sessions. Student feedback confirmed the positive experiences in these collaborative learning spaces with 30% improvement in satisfaction ratings from previous years. CONCLUSIONS It is concluded that the right mix of space, technology and appropriate activities does engage students, improve participation and create a rich experience to facilitate potential for improved learning outcomes. The new Collaborative Teaching Spaces, together with integrated technology and tailored activities, has transformed the delivery of this unit and improved student satisfaction in tutorials significantly.

Dutch tilt, Aussie auteur : the films of Rolf de Heer. 2nd ed.

Dutch-born Australian director, Rolf de Heer, is Australia's most successful and unpredictable film-maker, with thirteen feature films of widely varying style and genre to his name. Arising from the author's 2006 - 2009 PhD research at the Queensland University of Technology (which focussed on the psychoanalytic use of sound in his films), and a fixed term Research Fellowship at the National Film and Sound Archive in Canberra, Australia, "Dutch Tilt, Aussie Auteur: The Films of Rolf de Heer" was first published in 2009 by VDM in Saarbrucken, Germany. This second edition addresses de Heer's additional film-making since 2009, and as with the first edition, is an auteur analysis of the thirteen feature films he has directed (and mostly written and produced). The book explores the theoretical instability of the concept of auteurism and concludes that there is a signature world view to be detected in his oeuvre, and that de Heer (quite possibly unconsciously) promotes unlikely protagonists who are non-hyper masculine, child-like and nurturing, as opposed to the typical Hollywood hero who is macho, exploitative and hyper masculine. Rolf de Heer was born in Heemskerk, Holland, in 1951 and migrated to Australia with his family in 1959. He spent seven years working for the ABC before gaining entry to Australia's Film, Television and Radio School, where he studied Producing and Directing. From his debut feature film after graduating, the children's story about the restoration of a Tiger Moth biplane, "Tail of a Tiger" (1984) to his breakout cult sensation "Bad Boy Bubby" (1993) which "tore Venice [Film Festival] apart" to the first Aboriginal Australian language film "Ten Canoes" (2006) which scooped the pool at the Australian Film Institute awards, de Heer has consistently proven himself unpredictable. This analysis of his widely disparate films, however, suggests that Australia's most innovative film-maker has a signature pre-occupation with giving a voice to marginalised, non-hyper masculine protagonists. Demonstrating a propensity to write and direct in a European-like style, his 'Dutch tilt' is very much not Hollywood, but is nevertheless representative of a typically Aussie world-view.

Realizing 'four comforts' in the urban fringe : the case of White Horse Lake Eco-creative City Project, Hangzhou, China

This article examines a cultural and creative industries park project – the White Horse Lake Ecocreative City on land outside the urban centre of Hangzhou, China, which uses an imaginary rural lifestyle as its key attraction. By analysing government policies and development plans, and through interviews with initiators, managers and creative practitioners, the article first assesses the geographical position, that is, the impact of locality with regard to both hard and soft infrastructure of the project; it then examines the synergies and tensions embedded in the strategic goals, that is, to build the right city for ‘four comforts’ (siyi, 四宜) – for residence, for business, for travel and for culture. The article concludes that Chinese-style cultural conversion remains locked in a top-down ideological framework, one that rural residents and the new ‘creative class’ are expected to respect.

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.

Evaluating the QUT Homestay Program : lessons learnt in providing quality services to international students

The QUT Homestay Program is an essential part of the university’s commitment to meet the accommodation needs of international students. Despite the importance of this style of accommodation, there is very little research addressing issues related to homestay arrangements. The program at Queensland University of Technology (QUT) was evaluated in 2002 to develop a continuous improvement framework to ensure provision of quality homestay services to international students. This paper presents an overview of the evaluation and key lessons learnt in providing quality homestay services to international students. It will cover social and cross-cultural issues faced by providers and international students in the homestay environment, the homestay support needs, program information, policies, procedures and code of practice governing the program.

Submission to the ALRC copyright exceptions review issues paper

Australia should introduce a transformative use exception. Transformative use is an important part of the copyright balance: it provides a mechanism through which to balance the rights of past authors against the interests of future authors. In the interests of promoting creativity and innovation, the impact of copyright law on the ability of Australians to create new works should be minimised. The scope of a transformative use exception should be based primarily on demonstrable harm to the direct licensing interests of copyright owners – the core of copyright. Importantly, however, there are unresolved questions about fairness that need to be more clearly addressed before the appropriate scope of a transformative use exception can be determined. This submission does not directly address the desirability of introducing a broader fair use right. It is likely that an open ended fair use exception is required to provide a more adequate balance between copyright owners and non-transformative users of copyright. If a broad fair use style exception is introduced, it would likely be desirable to include transformative uses within that exception. This submission, however, takes the more limited position that regardless of whether a fair use exception is introduced, an exception that permits unlicensed transformative uses is required in Australian copyright law.

Using photography in ‘The Restaurant of the Future’. A useful way to assess portion selection and plate cleaning?

Laboratory-based studies of human dietary behaviour benefit from highly controlled conditions; however, this approach can lack ecological validity. Identifying a reliable method to capture and quantify natural dietary behaviours represents an important challenge for researchers. In this study, we scrutinised cafeteria-style meals in the ‘Restaurant of the Future.’ Self-selected meals were weighed and photographed, both before and after consumption. Using standard portions of the same foods, these images were independently coded to produce accurate and reliable estimates of (i) initial self-served portions, and (ii) food remaining at the end of the meal. Plate cleaning was extremely common; in 86% of meals at least 90% of self-selected calories were consumed. Males ate a greater proportion of their self-selected meals than did females. Finally, when participants visited the restaurant more than once, the correspondence between selected portions was better predicted by the weight of the meal than by its energy content. These findings illustrate the potential benefits of meal photography in this context. However, they also highlight significant limitations, in particular, the need to exclude large amounts of data when one food obscures another.

The fishtown series

Fishtown is a series of mediated animated works which embody artistic conceptions of ambience and explore the interplay between foreground and background. The series draws upon a representation of natural patterns and rhythms in the ambient environment and is produced using a hybrid style of animation process that incorporates motion capture, dynamics and keyframe animation to construct a biomemtic peripheral rhythm. The display of the work is a crucial part of the project, and contributes a considerable amount to the reception of the work. Based on the ambient conceptions defined by Cage, Eno and Bizzocchi, ambient animation should incorporate some form of ambient display. As Eno (1978) states, it should be as ignorable as it is interesting. The ultimate intention is to place the work outside the gallery setting, to provide a more neutral ambient setting for the viewing of the work, and therefore the use of an ambient display is necessary if the work is to be situated in an ambient setting. Craig Walsh is a contemporary artist producing work for large scale projections in ambient settings. Completing Walsh's masterclass in 2011 (Tanawha Arts and Ecology Centre) has been an important factor in arriving at a strategy for the display of the Fishtown series. The most recent work in the Fishtown series was developed during a residency at the Crane Arts studios in Philadelphia USA in August 2012, and is comprised of a screen based animated work, utilizing large scale digital projection. Documentation of this work can be found at the Crane Arts Residency Website: http://cranearts.qcagriffith.com/crane-arts-residency-chris-denaro

Trait anxiety and coping strategies among ballet dancers

This study examined relationships between competitive trait anxiety and coping strategies among ballet dancers. Participants were 104 classical dancers (81 females and 23 males) ranging in age from 15 to 35 years (mean 19.4 years; SD 3.8 years) from three professional ballet companies, two private dance schools, and two university dance courses in Australia. Participants completed the Modified COPE scale and the Sport Anxiety Scale. Trait anxiety scores, in particular for somatic anxiety and worry, were significant predictors of 7 of the 12 coping strategies (wishful thinking, r2 = 42.3%; selfblame, r2 = 35.7%; suppression of competing activities, r2 = 27.1%; venting of emotions, r2 = 23.2%; denial, r2 = 17.7%; effort, r2 = 16.6%; active coping, r2 = 14.3%). Approximately 96% of dancers could be classified correctly as high or low trait-anxious from their reported coping style. No significant effects of gender or status (professional versus students) were found. Findings showed that high trait-anxious athletes tend to use more maladaptive, emotion-focused coping strategies compared with low trait-anxious athletes; a tendency that has been proposed to lead to negative performance effects. Dancers who are by nature anxious about performance may need special attention to help them to learn to cope with performance-related stress. Med Probl Perform Art 18:59–64, 2003.

Personalized recommender systems integrating tags and item taxonomy

The social tags in Web 2.0 are becoming another important information source to profile users' interests and preferences to make personalized recommendations. To solve the problem of low information sharing caused by the free-style vocabulary of tags and the long tails of the distribution of tags and items, this paper proposes an approach to integrate the social tags given by users and the item taxonomy with standard vocabulary and hierarchical structure provided by experts to make personalized recommendations. The experimental results show that the proposed approach can effectively improve the information sharing and recommendation accuracy.

Fundamentals of business process management

Encompasses the whole BPM lifecycle, including process identification, modelling, analysis, redesign, automation and monitoring Class-tested textbook complemented with additional teaching material on the accompanying website Covers both relevant conceptual background, industrial standards and actionable skills Business Process Management (BPM) is the art and science of how work should be performed in an organization in order to ensure consistent outputs and to take advantage of improvement opportunities, e.g. reducing costs, execution times or error rates. Importantly, BPM is not about improving the way individual activities are performed, but rather about managing entire chains of events, activities and decisions that ultimately produce added value for an organization and its customers. This textbook encompasses the entire BPM lifecycle, from process identification to process monitoring, covering along the way process modelling, analysis, redesign and automation. Concepts, methods and tools from business management, computer science and industrial engineering are blended into one comprehensive and inter-disciplinary approach. The presentation is illustrated using the BPMN industry standard defined by the Object Management Group and widely endorsed by practitioners and vendors worldwide. In addition to explaining the relevant conceptual background, the book provides dozens of examples, more than 100 hands-on exercises – many with solutions – as well as numerous suggestions for further reading. The textbook is the result of many years of combined teaching experience of the authors, both at the undergraduate and graduate levels as well as in the context of professional training. Students and professionals from both business management and computer science will benefit from the step-by-step style of the textbook and its focus on fundamental concepts and proven methods. Lecturers will appreciate the class-tested format and the additional teaching material available on the accompanying website fundamentals-of-bpm.org.