Automating computational proofs for public-key-based key exchange

We present an approach to automating computationally sound proofs of key exchange protocols based on public-key encryption. We show that satisfying the property called occultness in the Dolev-Yao model guarantees the security of a related key exchange protocol in a simple computational model. Security in this simpler model has been shown to imply security in a Bellare {Rogaway-like model. Furthermore, the occultness in the Dolev-Yao model can be searched automatically by a mechanisable procedure. Thus automated proofs for key exchange protocols in the computational model can be achieved. We illustrate the method using the well-known Lowe-Needham-Schroeder protocol.

How government agencies engage with stakeholders

As a result of the managerial reforms adopted by government agencies since the 1980s, the stakeholder approach has become more widely accepted as a strategic management tool. However it remains a difficult and demanding task for agencies to determine who their stakeholders are and to optimise interactions with them. This paper examines how government agencies identify, classify and engage with stakeholders who have competing demands, differing access to resources and the ability to exert political pressure. To do this, the stakeholder approaches of nine agencies at three levels of government in Queensland were studied. This resulted in the development of a Stakeholder Classification Model for Public Agencies which could be used to create more focused and relevant stakeholder interventions.

Changing to learner-centred education : challenges experienced by nurse educators in Taiwan

This paper reports the challenges experienced by nurse educators in changing a teacher-centred, content-driven approach to teaching and learning to a learner-centred, process-driven approach within a School of Nursing in Taiwan. While a general movement towards a learner-centred approach was achieved, the curriculum transformation process was complex and inevitably slow with many challenges. First the study is outlined, with the key challenges experienced by the participating nurse educators explicated and illuminated with excerpts drawn from the research data. This is followed by a discussion of possible reasons for the challenges and how they were overcome and the transition process from teacher-centred to learner-centred education facilitated.

Co-adaptive environments : investigation into computer and network enhanced adaptable, sustainable and participatory environments

This paper presents research in response to environmental concerns we face today. In a search for a better method to manage spaces and building resources consumed excessively through traditional top-down architectural solutions, the research began by speculating that the building spaces and resources can be managed by designing architectural systems that encourage a bottom-up approach. In other words, this research investigates how to design systems that encourage occupants and users of buildings to actively understand, manage and customise their own spaces. Specific attention is paid to the participation of building users because no matter how sophisticated the system is, the building will become as wasteful as conventional buildings if users cannot, or do not want to, utilise the system effectively. The research is still in its early stages. The intension of this paper is to provide a background to the issue, discuss researches and projects relevant to, but not necessarily about, architecture, and introduce a number of hypothesis and investigations to realise adaptable, participatory and sustainable environments for users.

The urban littoral frontier : land reclamation in the history of human settlements

The urban waterfront may be regarded as the littoral frontier of human settlement. Typically, over the years, it advances, sometimes retreats, where terrestrial and aquatic processes interact and frequently contest this margin of occupation. Because most towns and cities are sited beside water bodies, many of these urban centers on or close to the sea, their physical expansion is constrained by the existence of aquatic areas in one or more directions from the core. It is usually much easier for new urban development to occur along or inland from the waterfront. Where other physical constraints, such as rugged hills or mountains, make expansion difficult or expensive, building at greater densities or construction on steep slopes is a common response. This kind of development, though technically feasible, is usually more expensive than construction on level or gently sloping land, however. Moreover, there are many reasons for developing along the shore or riverfront in preference to using sites further inland. The high cost of developing existing dry land that presents serious construction difficulties is one reason for creating new land from adjacent areas that are permanently or periodically under water. Another reason is the relatively high value of artificially created land close to the urban centre when compared with the value of existing developable space at a greater distance inland. The creation of space for development is not the only motivation for urban expansion into aquatic areas. Commonly, urban places on the margins of the sea, estuaries, rivers or great lakes are, or were once, ports where shipping played an important role in the economy. The demand for deep waterfronts to allow ships to berth and for adjacent space to accommodate various port facilities has encouraged the advance of the urban land area across marginal shallows in ports around the world. The space and locational demands of port related industry and commerce, too, have contributed to this process. Often closely related to these developments is the generation of waste, including domestic refuse, unwanted industrial by-products, site formation and demolition debris and harbor dredgings. From ancient times, the foreshore has been used as a disposal area for waste from nearby settlements, a practice that continues on a huge scale today. Land formed in this way has long been used for urban development, despite problems that can arise from the nature of the dumped material and the way in which it is deposited. Disposal of waste material is a major factor in the creation of new urban land. Pollution of the foreshore and other water margin wetlands in this way encouraged the idea that the reclamation of these areas may be desirable on public health grounds. With reference to examples from various parts of the world, the historical development of the urban littoral frontier and its effects on the morphology and character of towns and cities are illustrated and discussed. The threat of rising sea levels and the heritage value of many waterfront areas are other considerations that are addressed.

Perspectives on enhancing educational policy processes

In this article we examine some of the challenges in the educational policy process today. While acknowledging the inherent tensions in, and complexities of, the policy process, we suggest some ways that might help to better understand it. An evidence-based approach to policy making is offered for consideration. While such an approach is not new, we frame the approach around three lenses drawn from the work of Head (2008): these lenses are titled political, research, and technical. It is argued that consideration of the complexities and challenges at play across these three lenses in a context of contested policy terrain can result in better understanding of the policy process and lead to better policy conceptualisation, planning, and implementation.

Educating EFL preservice teachers for teaching astronomy

Malaysia’s Vision 2020 for enhancing its education system includes the development of scientific literacy commencing at the primary school level. This Vision focuses on using English as the Medium of Instruction (EMI) for teaching primary science, as Malaysia has English as a Foreign Language (EFL) in its curriculum. What changes need to occur in preservice teacher education programs for learning about primary science using EMI? This paper investigates the education of Malaysian preservice teachers for learning how to teach one strand in science education (i.e., space, primary astronomy) in an English-language context. Ninety-six second-year preservice teachers from two Malaysian institutes were involved in a 16-week “Earth and Space” course, half the course involved education about primary astronomy. Seventy-five of these preservice teachers provided written responses about the course and their development as potential teachers of primary astronomy using EMI. Preservice teacher assessments and multimedia presentations provided further evidence on learning how to teach primary astronomy. Many of these preservice teachers claimed that learning to teach primary astronomy needs to focus on teaching strategies, content knowledge with easy-to-understand concepts, computer simulations (e.g., Earth Centered Universe, Stellarium, Celestia), other ICT media, and field experiences that use naked-eye observations and telescopes to investigate celestial bodies. Although generally proficient in using ICT, they claimed there were EFL barriers for learning some new terminology. Nevertheless, powerpoints, animations, videos, and simulations were identified as effective ICT tools for providing clear visual representations of abstract concepts and ways to enhance the learning process.

Sustainable urban development : formulation of indicator-based residential sustainability assessment framework for local level

Purpose–The purpose of this paper is to formulate a conceptual framework for urban sustainability indicators selection. This framework will be used to develop an indicator-based evaluation method for assessing the sustainability levels of residential neighbourhood developments in Malaysia. Design/methodology/approach–We provide a brief overview of existing evaluation frameworks for sustainable development assessment. We then develop a conceptual Sustainable Residential Neighbourhood Assessment (SNA) framework utilising a four-pillar sustainability framework (environmental, social, economic and institutional) and a combination of domain-based and goal-based general frameworks. This merger offers the advantages of both individual frameworks, while also overcoming some of their weaknesses when used to develop the urban sustainability evaluation method for assessing residential neighbourhoods. Originality/value–This approach puts in evidence that many of the existing frameworks for evaluating urban sustainability do not extend their frameworks to include assessing housing sustainability at a local level. Practical implications–It is expected that the use of the indicator-based Sustainable Neighbourhood Assessment framework will present a potential mechanism for planners and developers to evaluate and monitor the sustainability performance of residential neighbourhood developments.

Urban informatics

The increasing ubiquity of digital technology, internet ser-vices and social media in our everyday lives allows for a seamless transitioning between the visible and the invisible infrastructure of cities: road systems, building complexes, information and communication technology, and people networks create a buzzing environment that is alive and exciting. Driven by curiosity, initiative and interdiscipli-nary exchange, the Urban Informatics Research Lab at Queensland University of Technology (QUT), Brisbane, Australia, is an emerging cluster of people interested in research and development at the intersection of people, place and technology with a focus on cities, locative media and mobile technology. This paper seeks to define, for the first time, what we mean by ‘urban informatics’ and outline its significance as a field of study today. It describes the relevant background and trends in each of the areas of peo-ple, place and technology, and highlights the relevance of urban informatics to the concerns and evolving challenges of CSCW. We then position our work in academia juxta-posed with related research concentrations and labels, fol-lowed by a discussion of disciplinary influences. The paper concludes with an exposé of the three current research themes of the lab around augmented urban spaces, urban narratives, and environmental sustainability in order to illustrate specific cases and methods, and to draw out distinctions that our affiliation with the Creative Industries Faculty affords.

Transforming educational practice : teachers' perceptions of embedding academic litaracy support within a B.Ed twinning program

An academic literacies approach frames students as active participants in their own learning as they develop their voice and identity. This paper describes teachers’ perceptions of developing and delivering an academic literacies program to TESOL pre-service teachers in a B.Ed twinning program. Data indicates that an academic literacies program is a dynamic process that is ever evolving in order to meet students’ needs. A cornerstone of the program was the continual and open communication between teachers to ensure that students’ needs were met. Additionally, a collaborative approach between twinning partners needs to occur in order for the benefits of the academic literacies program to continue for students.

Addressing childhood obesity through increased physical activity

Obesity is affecting an increasing proportion of children globally. Despite an appreciation that physical activity is essential for the normal growth and development of children and prevents obesity and obesity-related health problems, too few children are physically active. A concurrent problem is that today’s young people spend more time than previous generations did in sedentary pursuits, including watching television and engaging in screen-based games. Active behavior has been displaced by these inactive recreational choices, which has contributed to reductions in activity-related energy expenditure. Implementation of multifactorial solutions considered to offer the best chance of combating these trends is urgently required to redress the energy imbalance that characterizes obesity. The counterproductive ‘shame and blame’ mentality that apportions responsibility for the childhood obesity problem to sufferers, their parents, teachers or health-care providers needs to be changed. Instead, these groups should offer constant support and encouragement to promote appropriate physical activity in children. Failure to provide activity opportunities will increase the likelihood that the children of today will live less healthy (and possibly shorter)lives than their parents.

A model for integrating clinical care and basic science research, and pitfalls of performing complex research projects for addressing a clinical challenge

The collaboration of clinicians with basic science researchers is crucial for addressing clinically relevant research questions. In order to initiate such mutually beneficial relationships, we propose a model where early career clinicians spend a designated time embedded in established basic science research groups, in order to pursue a postgraduate qualification. During this time, clinicians become integral members of the research team, fostering long term relationships and opening up opportunities for continuing collaboration. However, for these collaborations to be successful there are pitfalls to be avoided. Limited time and funding can lead to attempts to answer clinical challenges with highly complex research projects characterised by a large number of "clinical" factors being introduced in the hope that the research outcomes will be more clinically relevant. As a result, the complexity of such studies and variability of its outcomes may lead to difficulties in drawing scientifically justified and clinically useful conclusions. Consequently, we stress that it is the basic science researcher and the clinician's obligation to be mindful of the limitations and challenges of such multi-factorial research projects. A systematic step-by-step approach to address clinical research questions with limited, but highly targeted and well defined research projects provides the solid foundation which may lead to the development of a longer term research program for addressing more challenging clinical problems. Ultimately, we believe that it is such models, encouraging the vital collaboration between clinicians and researchers for the work on targeted, well defined research projects, which will result in answers to the important clinical challenges of today.

Application of acoustic emission technology in monitoring structure integrity of bridges

Bridges are an important part of a nation’s infrastructure and reliable monitoring methods are necessary to ensure their safety and efficiency. Most bridges in use today were built decades ago and are now subjected to changes in load patterns that can cause localized distress, which can result in bridge failure if not corrected. Early detection of damage helps in prolonging lives of bridges and preventing catastrophic failures. This paper briefly reviews the various technologies currently used in health monitoring of bridge structures and in particular discusses the application and challenges of acoustic emission (AE) technology. Some of the results from laboratory experiments on a bridge model are also presented. The main objectives of these experiments are source localisation and assessment. The findings of the study can be expected to enhance the knowledge of acoustic emission process and thereby aid in the development of an effective bridge structure diagnostics system.

From reader to writer : citizen journalism as news produsage

Today, participatory or citizen journalism – journalism which enables readers to become writers – exists online and offline in a variety of forms and formats, operates under a number of editorial schemes, and focusses on a wide range of topics from the specialist to the generic, and the micro-local to the global. Key models in this phenomenon include veteran sites Slashdot and Indymedia, as well as news-related Weblogs; more recent additions into the mix have been the South Korean OhmyNews, which in 2003 was “the most influential online news site in that country, attracting an estimated 2 million readers a day” (Gillmor, 2003a, p. 7), with its new Japanese and international offshoots, as well as the Wikipedia with its highly up-to-date news and current events section and its more recent offshoot Wikinews, and even citizen-produced video news as it is found in sites such as YouTube and Current.tv.

The applicability of Bowen's family theory to the Malay population

The changes of economic status in Malaysia have lead to many psychosocial problems especially among the young people. Counselling and psychotherapy have been seen as one of the solutions that are practiced in Western Culture. Most counselling theorists believe that their theory is universal however there is limited research to prove it. This paper will describe an ongoing study conducted in Malaysia about the applicability of one Western counselling Theory, Bowen’s family theory the Differentiation of self levels in the family allow a person to both leave the family’s boundaries in search of uniqueness and continually return to the family in order to further establish a sense of belonging. In addition Bowen believed that this comprised of four measures: Differentiation of Self (DSI), Family Inventory of Live Event (ILE), Depression Anxiety and Stress Scale (DASS) and Connor-Davidson Resilience Scale (CD-RISC). Preliminary findings are discussed and the implication in enhancing the quality of teaching family counselling in universities explored.