Using coloured petri nets to simulate DoS-resistant protocols

In this work, we examine unbalanced computation between an initiator and a responder that leads to resource exhaustion attacks in key exchange protocols. We construct models for two cryp-tographic protocols; one is the well-known Internet protocol named Secure Socket Layer (SSL) protocol, and the other one is the Host Identity Protocol (HIP) which has built-in DoS-resistant mechanisms. To examine such protocols, we develop a formal framework based on Timed Coloured Petri Nets (Timed CPNs) and use a simulation approach provided in CPN Tools to achieve a formal analysis. By adopting the key idea of Meadows' cost-based framework and re¯ning the de¯nition of operational costs during the protocol execution, our simulation provides an accurate cost estimate of protocol execution compar- ing among principals, as well as the percentage of successful connections from legitimate users, under four di®erent strategies of DoS attack.

Built environment education and research : making connections

This conference is a landmark gathering of those from around the world concerned with the future of Built environment education and Research. It takes place at a time of great change and opportunity. Around the world the long-standing principles of what, how and who we teach for graduate entry into Built environment professions, is increasingly under review. The need for research and the way in which it is funded, conducted and knowledge shared is also under increasing pressure. Both changes are being triggered by a fast changing and increasingly challenging competitive environment for education and research. Competition for the highest quality of graduate entrants in the right numbers is becoming more intense. Competition between Universities, as funding for education and research comes under ever close scrutiny, is intensifying and we are all being forced to look for more effective and exciting ways of recruting, retaining, enhancing and maximising the achievement of our students and of our staff in their research activities. Competition amongst employees in industry is becoming more intense as professional employers increasingly recognise that people and knowledge are their key strategic resources. Universities are increasingly looking to partnerships with industry, the professions and other Universities to further improve their eduacation, research and innovation activities. These challenges are unfolding at a time of accelerating development in information technologies and systems and in our understanding of principles of knowledge management and pedagogical advancement. This environment presents both opportunities and threats to the world of education.

Understanding the physical processes of pollutant build-up and wash-off on roof surfaces

Pollutants originating with roof runoff can have a significant impact to urban stormwater quality. This signifies the importance of understanding pollutant processes on roof surfaces. Additionally, knowledge of pollutant processes on roof surfaces is important as roofs are used as the primary catchment surface for domestic rainwater harvesting. In recent years, rainwater harvesting has become one of the primary sustainable water management techniques to counteract the growing demand for potable water. Similar to all impervious services, pollutants associated with roof runoff undergo two primary processes: build-up and wash-off. The knowledge relating to these processes is limited. This paper presents outcomes of an in-depth research study into pollutant build-up and wash-off for roof surfaces. The knowledge will be important in order to develop appropriate strategies to safeguard rainwater users from possible health risks.

The city, self, and connections : transyouth and urban social networking in Seoul

The end of the Korean War in 1953 marked the beginning of Seoul’s transformation from the shattered capital city of South Korea to one of the most connected, populous, and fast-changing hubs of global economy. Seoul’s technosocial development has been celebrated nationally and internationally. To the outside, young Koreans’ swift and extensive adoption and adaptation to digital technologies has been a subject of exotification; to adults in Korea, it has been a subject of criticism (see Yoon in this volume). With the understanding that ‘the city is connections,’ it is crucial to study not only the macro-level design of the city as a network (through policy, for example), but also its micro-level construction at the intersection of people, place, and technology. Accordingly, this chapter explores this exact intersection to comprehensively portray the constant renewal of the city as imagined and experienced by young Koreans. The chapter is based on fieldwork conducted in Seoul, South Korea, from 2007 to 2008 as part of a research project on the mobile play culture of Seoul transyouth, the transitional demographic situated between youth and adulthood, and the pioneers of the Korean ‘broadband miracle’ (Hazlett, 2004). The study draws upon transdisciplinary research data including interviews, questionnaires, diaries, and Shared Visual Ethnography (SVE) to render the everyday urban social networking of young Seoulites with and through which they interact to constantly (re)create the city and the self.

A45 ICT curriculum design to bridge the gap between industry and academia

Building Information Model (BIM) software, collaboration platforms and 5D Construction Management software is now commercially available and presents the opportunity for construction project teams to design more cost effectively, plan construction earlier, manage costs throughout the life cycle of a building project and provide a central asset management register for facilities managers. This paper outlines the merits of taking a holistic view of ICT in curriculum design. The educational barriers to implementation of these models and planning tools are highlighted. Careful choice of computer software can make a significant difference to how quickly students can master skills; how easy it is to study and how much they enjoy learning and be prepared for employment. An argument for BIM and 5D planning tools to be introduced into the curriculum to assist industry increase productivity and efficiencies are outlined by the authors.

Poly(3-hexyl-thiophene) coil-wrapped single wall carbon nanotube investigated by scanning tunneling spectroscopy

Scanning Tunneling Spectroscopy was performed on a (15,0) single wall carbon nanotube partially wrapped by Poly(3-hexyl-thiophene). On the bare nanotube section, the local density of states is in good agreement with the theoretical model based on local density approximation and remarkably is not perturbed by the polymer wrapping. On the coiled section, a rectifying current-voltage characteristic has been observed along with the charge transfer from the polymer to the nanotube. The electron transfer from Poly(3-hexyl-thiophene) to metallic nanotube was previously theoretically proposed and contributes to the presence of the Schottky barrier at the interface responsible for the rectifying behavior.

Living walls - a way to green the built environment

Actions Towards Sustainable Outcomes Environmental Issues/Principal Impacts The increasing urbanisation of cities brings with it several detrimental consequences, such as: • Significant energy use for heating and cooling many more buildings has led to urban heat islands and increased greenhouse gas emissions. • Increased amount of hard surfaces, which not only contributes to higher temperatures in cities, but also to increased stormwater runoff. • Degraded air quality and noise. • Health and general well-being of people is frequently compromised, by inadequate indoor air quality. • Reduced urban biodiversity. Basic Strategies In many design situations, boundaries and constraints limit the application of cutting EDGe actions. In these circumstances, designers should at least consider the following: • Living walls are an emerging technology, and many Australian examples function more as internal feature walls. However,as understanding of the benefits and construction of living walls develops this technology could be part of an exterior facade that enhances a building’s thermal performance. • Living walls should be designed to function with an irrigation system using non-potable water. Cutting EDGe Strategies • Living walls can be part of a design strategy that effectively improves the thermal performance of a building, thereby contributing to lower energy use and greenhouse gas emissions. • Including living walls in the initial stages of design would provide greater flexibility to the design, especially of the facade, structural supports, mechanical ventilation and watering systems, thus lowering costs. • Designing a building with an early understanding of living walls can greatly reduce maintenance costs. • Including plant species and planting media that would be able to remove air impurities could contribute to improved indoor air quality, workplace productivity and well-being. Synergies and References • Living walls are a key research topic at the Centre for Subtropical Design, Queensland University of Technology: http://www.subtropicaldesign.bee.qut.edu.au • BEDP Environment Design Guide: DES 53: Roof and Facade Gardens • BEDP Environment Design Guide: GEN 4: Positive Development – Designing for Net Positive Impacts (see green scaffolding and green space frame walls). • Green Roofs Australia: www.greenroofs.wordpress.com • Green Roofs for Healthy Cities USA: www.greenroofs.org

Green a city grow a wall

As Brisbane grows, it is rapidly becoming akin to any other city in the world with its typical stark grey concrete buildings rather than being characterized by its subtropical element of abundant green vegetation. Living Walls can play a vital role in restoring the loss of this distinct local element of a subtropical city. This paper will start by giving an overview of the traditional methods of greening subtropical cities with the use of urban parks and street trees. Then, by examining a recent heat imaging map of Brisbane, the effect of green cover with the built environment will be shown. With this information from a macro level, this paper will proceed to examine a typical urban block within the Central Business District (CBD) to demonstrate urban densification in relation to greenery in the city. Then, this paper will introduce the new technology where Living Walls have the untapped potential of effectively greening a city where land is scarce and given over to high density development. Living Walls incorporated into building design does not only enhance the subtropical lifestyle that is being lost in modern cities but is also an effective means for addressing climate change. This paper will serve as a preliminary investigation into the effects of incorporating Living Walls into cities. By growing a Living Wall onto buildings, we can be part of an effective design solution for countering global warming and at the same time, Living Walls can return local character to subtropical cities, thereby greening the city as well.

The city is connections : Seoul as an urban network

With the rise of ubiquitous computing in recent years, concepts of spatiality have become a significant topic of discussion in design and development of multimedia systems. This article investigates spatial practices at the intersection of youth, technology, and urban space in Seoul, and examines what the author calls ‘transyouth’: in the South Korean context, these people are between the ages of 18 and 24, situated on the delicate border between digital natives and immigrants in Prensky’s (2001) terms. In the first section, the article sets out the technosocial environment of contemporary Seoul. This is followed by a discussion of social networking processes derived from semi-structured interviews conducted in 2007-8 with Seoul transyouth about their ‘lived experiences of the city.’ Interviewees reported how they interact to play, work, and live with and within the city’s unique environment. The article develops a theme of how technosocial convergence (re)creates urban environments and argues for a need to consider such user-driven spatial recreation in designing cities as (ubiquitous) urban networks in recognition of its changing technosocial contours of connections. This is explored in three spaces of different scales: Cyworld as an online social networking space; cocoon housing – a form of individual residential space which is growing rapidly in many Korean cities – as a private living space; and u-City (ubiquitous City) as the future macro-space of Seoul.

Beyond the intercultural to the accented body : an Australian perspective

'Beyond the intercultural to the Accented Body’ foregrounds contemporary choreography as a multi-modal practice which is increasingly interdisciplinary and engages with interactive technologies. These concepts are explored in the context of intercultural dance and performance practices particularly in relation to issues of identity, hybridity, the diaspora and transformation. Four models of intercultural choreography are proposed: in-country immersion; collaborative international exchanges through sharing of culturally diverse practices; hybrid practices of diasporic artists; and implicit intercultural connections. The latter model is investigated via a case study of an interactive, multi-site and interdisciplinary collaboration Accented Body.

Seismic performance of brick infilled RC frame structures in low and medium rise buildings in Bhutan

The construction of reinforced concrete buildings with unreinforced infill is common practice even in seismically active country such as Bhutan, which is located in high seismic region of Eastern Himalaya. All buildings constructed prior 1998 were constructed without seismic provisions while those constructed after this period adopted seismic codes of neighbouring country, India. However, the codes have limited information on the design of infilled structures besides having differences in architectural requirements which may compound the structural problems. Although the influence of infill on the reinforced concrete framed structures is known, the present seismic codes do not consider it due to the lack of sufficient information. Time history analyses were performed to study the influence of infill on the performance of concrete framed structures. Important parameters were considered and the results presented in a manner that can be used by practitioners. The results show that the influence of infill on the structural performance is significant. The structural responses such as fundamental period, roof displacement, inter-storey drift ratio, stresses in infill wall and structural member forces of beams and column generally reduce, with incorporation of infill wall. The structures designed and constructed with or without seismic provision perform in a similar manner if the infills of high strength are used.

Making connections : creative industries networks in outer suburban locations

The role of networks and their contribution to sustaining and developing creative industries is well documented (Wittel 2001; Kong 2005; Pratt 2007). This article argues that although networks operate across geographical boundaries, particularly through the use of communication technologies, the majority of studies have focussed on the ways in which networks operate in a) specific inner-urban metropolitan regions or b) specific industries. Such studies are informed by the geographical mindset of creative city proponents such as Florida (2002) and Landry (2000) in which inner-urban precincts are seen as the prime location for creative industries activity, business development and opportunity. But what of those creative industries situated beyond the inner city? Evidence in Australia suggests there is increasing creative industries activity beyond the inner city, in outer-suburban and ex-urban areas (Gibson & Brennan-Horley 2006). This article identifies characteristics of creative industries networks in outer-suburban locations in Melbourne and Brisbane. It argues that supporting and sustaining creative industries networks in these locations may require different strategies than those applied to inner-city networks. The article thus contributes to the growing understanding of the cultural economic geography of creative industries.

Determining a set of surrogate parameters to evaluate urban stormwater quality

This thesis details methodology to estimate urban stormwater quality based on a set of easy to measure physico-chemical parameters. These parameters can be used as surrogate parameters to estimate other key water quality parameters. The key pollutants considered in this study are nitrogen compounds, phosphorus compounds and solids. The use of surrogate parameter relationships to evaluate urban stormwater quality will reduce the cost of monitoring and so that scientists will have added capability to generate a large amount of data for more rigorous analysis of key urban stormwater quality processes, namely, pollutant build-up and wash-off. This in turn will assist in the development of more stringent stormwater quality mitigation strategies. The research methodology was based on a series of field investigations, laboratory testing and data analysis. Field investigations were conducted to collect pollutant build-up and wash-off samples from residential roads and roof surfaces. Past research has identified that these impervious surfaces are the primary pollutant sources to urban stormwater runoff. A specially designed vacuum system and rainfall simulator were used in the collection of pollutant build-up and wash-off samples. The collected samples were tested for a range of physico-chemical parameters. Data analysis was conducted using both univariate and multivariate data analysis techniques. Analysis of build-up samples showed that pollutant loads accumulated on road surfaces are higher compared to the pollutant loads on roof surfaces. Furthermore, it was found that the fraction of solids smaller than 150 ìm is the most polluted particle size fraction in solids build-up on both roads and roof surfaces. The analysis of wash-off data confirmed that the simulated wash-off process adopted for this research agrees well with the general understanding of the wash-off process on urban impervious surfaces. The observed pollutant concentrations in wash-off from road surfaces were different to pollutant concentrations in wash-off from roof surfaces. Therefore, firstly, the identification of surrogate parameters was undertaken separately for roads and roof surfaces. Secondly, a common set of surrogate parameter relationships were identified for both surfaces together to evaluate urban stormwater quality. Surrogate parameters were identified for nitrogen, phosphorus and solids separately. Electrical conductivity (EC), total organic carbon (TOC), dissolved organic carbon (DOC), total suspended solids (TSS), total dissolved solids (TDS), total solids (TS) and turbidity (TTU) were selected as the relatively easy to measure parameters. Consequently, surrogate parameters for nitrogen and phosphorus were identified from the set of easy to measure parameters for both road surfaces and roof surfaces. Additionally, surrogate parameters for TSS, TDS and TS which are key indicators of solids were obtained from EC and TTU which can be direct field measurements. The regression relationships which were developed for surrogate parameters and key parameter of interest were of a similar format for road and roof surfaces, namely it was in the form of simple linear regression equations. The identified relationships for road surfaces were DTN-TDS:DOC, TP-TS:TOC, TSS-TTU, TDS-EC and TSTTU: EC. The identified relationships for roof surfaces were DTN-TDS and TSTTU: EC. Some of the relationships developed had a higher confidence interval whilst others had a relatively low confidence interval. The relationships obtained for DTN-TDS, DTN-DOC, TP-TS and TS-EC for road surfaces demonstrated good near site portability potential. Currently, best management practices are focussed on providing treatment measures for stormwater runoff at catchment outlets where separation of road and roof runoff is not found. In this context, it is important to find a common set of surrogate parameter relationships for road surfaces and roof surfaces to evaluate urban stormwater quality. Consequently DTN-TDS, TS-EC and TS-TTU relationships were identified as the common relationships which are capable of providing measurements of DTN and TS irrespective of the surface type.