Security analysis of Australian and E.U. e-passport implementation

This paper makes a formal security analysis of the current Australian e-passport implementation using model checking tools CASPER/CSP/FDR. We highlight security issues in the current implementation and identify new threats when an e-passport system is integrated with an automated processing system like SmartGate. The paper also provides a security analysis of the European Union (EU) proposal for Extended Access Control (EAC) that is intended to provide improved security in protecting biometric information of the e-passport bearer. The current e-passport specification fails to provide a list of adequate security goals that could be used for security evaluation. We fill this gap; we present a collection of security goals for evaluation of e-passport protocols. Our analysis confirms existing security weaknesses that were previously identified and shows that both the Australian e-passport implementation and the EU proposal fail to address many security and privacy aspects that are paramount in implementing a secure border control mechanism. ACM Classification C.2.2 (Communication/Networking and Information Technology – Network Protocols – Model Checking), D.2.4 (Software Engineering – Software/Program Verification – Formal Methods), D.4.6 (Operating Systems – Security and Privacy Protection – Authentication)

Living City 2013 Workshop

Living City 2013 Workshop, as part of a school term’s design-based curriculum connected to the KGSC/QUT Design Excellence Program and run from 11 February – 1 May, 2013, was essentially a three-day place-based urban design immersion workshop program for 25 Year 11 Visual Art and Design Students and 2 Teachers from Kelvin Grove State College (KGSC) held at both Queensland University of Technology (QUT) Gardens Point Campus and The Edge, State Library of Queensland. Mentored by 4 design professionals, 2 tertiary design academics, 2 public artists, and 12 QUT tertiary design students, the workshop explored youth-inspired public space design solutions for the active Brisbane City Council redevelopment site of Queens Wharf Road precinct. As well as the face-to-face workshops, for Living City 2013, an interactive web environment was introduced to enable students to connect with each other and program mentors throughout the course of the program. The workshop, framed within notions of ecological, economic, social and cultural sustainability, aimed to raise awareness of the layered complexity and perspectives involved in the design of shared city spaces and to encourage young people to voice their own concerns as future citizens about the shape and direction of their city. The program commenced with an introductory student briefing by stakeholders and mentors at KGSC on 11 February, an introduction to site appraisal and site visit held at QUT and Queens Wharf Road on 20 February, and a follow up site analysis session on 6 March. Day 1 Workshop on April 17 at the Edge, State Library of Queensland, as part of the Design Minds partnership (http://designminds.org.au/kelvin-grove-state-college-excellence-in-art-design/), focused on mentoring team development of a concept design for a range of selected sites. Two workshops on April 22 and 23 at QUT, to develop these designs and presentation schemes, followed this. The workshop program culminated in a visual presentation of concept design ideas and discussion with a public audience in the Ideas Gallery on The Deck, King George Square during the Brisbane City Council City Centre Master Plan Ideas Fiesta on 1 May, 2013, as referenced in the Ideas Fiesta Wrap-up Report (http://www.brisbane.qld.gov.au/planning-building/planning-guidelines-tools/city-centre-master-plan/city-centre-master-plan-ideas-fiesta). Students were introduced to design methodology, team thinking strategies, the scope of design practices and professions, presentation skills and post-secondary pathways, while participating teachers acquired content and design learning strategies transferable in many other contexts. The program was fully documented on the Living City website (http://www.livingcity.net.au/LC2013x/index.html) and has been recognised by the Brisbane City Council Youth Strategy 2014-2019 as a best practice model for making Brisbane a well-designed, subtropical city.

Considering the economic value of natural design elements at city scale

With increasing signs of climate change and the influence of national and international carbon-related laws and agreements, governments all over the world are grappling with how to rapidly transition to low-carbon living. This includes adapting to the impacts of climate change that are very likely to be experienced due to current emission levels (including extreme weather and sea level changes), and mitigating against further growth in greenhouse gas emissions that are likely to result in further impacts. Internationally, the concept of ‘Biophilic Urbanism’, a term coined by Professors Tim Beatley and Peter Newman to refer to the use of natural elements as design features in urban landscapes, is emerging as a key component in addressing such climate change challenges in rapidly growing urban contexts. However, the economics of incorporating such options is not well understood and requires further attention to underpin a mainstreaming of biophilic urbanism. Indeed, there appears to be an ad hoc, reactionary approach to creating economic arguments for or against the design, installation or maintenance of natural elements such as green walls, green roofs, streetscapes, and parklands. With this issue in mind, this paper will overview research as part of an industry collaborative research project that considers the potential for using a number of environmental economic valuation techniques that have evolved over the last several decades in agricultural and resource economics, to systematically value the economic value of biophilic elements in the urban context. Considering existing literature on environmental economic valuation techniques, the paper highlights opportunities for creating a standardised language for valuing biophilic elements. The conclusions have implications for expanding the field of environmental economic value to support the economic evaluations and planning of the greater use of natural elements in cities. Insights are also noted for the more mature fields of agricultural and resource economics.

An exploration into retrofitting cities with natural design elements - learning from the city of Berlin, Germany

Natural design features in the built environment or biophilic elements are emerging as a potential response to the challenges of climate change, urbanisation and population pressures which have invited issues such as rising urban heat island effect, rising pollution, increased congestion, among others. This concept of living cities was made popular by Professor Tim Beatley in his book titled ‘Biophilic Urbanism’. Evidence of biophilic urbanism can be seen in some cities from around the globe since decoupling environmental pressures from future development is a priority on many agendas. Berlin is an example of a modern economy that has adopted an ecological sustainable development approach to reduce environmental degradation while driving innovation and employment.

Social ecological influences on preferences for care provided at the end of life amongst Taiwanese city-dwelling adults

Social and cultural elements are an essential part of the contexts within which people understand their word and make end-of-life decisions. A developmental social ecological model was used in this thesis to provide a comprehensive framework for examining influences on end-of-life preferences. The findings support claims made by social ecologists that individual's health-related choices can be influenced by cultural, social contextual and environmental factors over the course of life. The results of this study have implications for health professionals and the practices they can adopt to enhance end-of-life care.

Managing creativity on the margins : a comparative study of Beijing’s Songzhuang Art District and Hangzhou’s White Horse Lake Creative Eco-City

In the past decade the ‘creative cluster’ has become a driver of urban renewal in China. Many cluster developments attract human capital and investment to post-industrial spaces. This paper looks at two developments which are more post-agricultural than post-industrial: the first is Songzhuang, a large scale contemporary art community situated on the eastern fringe of Beijing, the second is Hangzhou’s White Horse Lake Creative Eco-City, a ‘mixed variety’ cluster model which integrates elements of art, fashion, design and animation. The common factor in both cases is how they came into existence. In both districts urban creative workers moved into a rural environment. Drawing on interviews with planners, officials, and residents we investigate the challenges of sustaining such fringe clusters.

Built heritage management systems : the framework of a digital tool for the conservation of Brisbane City Hall

Brisbane City Hall (BCH) is arguably one of Brisbane’s most notable and iconic buildings. Serving as the public’s central civic and municipal building since 1930, the importance of this heritage listed building to cultural significance and identity is unquestionable. This attribute is reflected within the local government, with a simplified image of the halls main portico entrance supplying Brisbane City Council with its insignia and trademark signifier. Regardless of these qualities, this building has been neglected in a number of ways, primarily in the physical sense with built materials, but also, and just as importantly, through inaccurate and undocumented works. Numerous restoration and renovation works have been undertaken throughout BCH’s lifetime, however the records of these amendments are far and few between. Between 2010 and 2013, BCH underwent major restoration works, the largest production project undertaken on the building since its initial construction. Just prior to this conservation process, the full extent of the buildings deterioration was identified, much of which there was little to no original documentation of. This has led to a number of issues pertaining to what investigators expected to find within the building, versus what was uncovered (the unexpected), which have resulted directly from this lack of data. This absence of record keeping is the key factor that has contributed to the decay and unknown deficiencies that had amassed within BCH. Accordingly, this raises a debate about the methods of record keeping, and the need for a more advanced process that is able to be integrated within architectural and engineering programs, whilst still maintaining the ability to act as a standalone database. The immediate objective of this research is to investigate the restoration process of BCH, with focus on the auditorium, to evaluate possible strategies to record and manage data connected to building pathology so that a framework can be developed for a digital heritage management system. The framework produced for this digital tool will enable dynamic uses of a centralised database and aims to reduce the significant data loss. Following an in-depth analysis of this framework, it can be concluded that the implementation of the suggested digital tool would directly benefit BCH, and could ultimately be incorporated into a number of heritage related built form.

Tactics of antifeminist backlash against the U. S. battered women's movement

Opposition to men’s violence against women who are their intimate partners has become politically popular in the United States. The Violence Against Women Act (VAWA) has enjoyed broad-based support for over 15 years. VAWA has been refined and expanded with each reauthorization. Resistance to the battered women’s movement is often overlooked in this political context. However, woman abuse and state responses to it are mired in cultural tensions about crime, law, gender, economics, scholarship, and the family. Based on interviews with 35 advocates in the United States, this paper outlines key tactics of antifeminist backlash against the battered women’s movement.

Physical activity patterns of inner-city elementary schoolchildren

Purpose This study aimed to objectively measure the physical activity (PA) characteristics of a racially and ethnically diverse sample of inner-city elementary schoolchildren and to examine the influence of sex, race/ethnicity, grade level, and weight status on PA. Methods A total of 470 students in grades 4-6 from six inner-city schools in Philadelphia wore an ActiGraph GT3X+ accelerometer (Actigraph, Pensacola, FL) for up to 7 d. The resultant data were uploaded to a customized Visual Basic EXCEL macro to determine the time spent in sedentary (SED), light-intensity PA (LPA), and moderate- to vigorous-intensity PA (MVPA). Results On average, students accumulated 48 min of MVPA daily. Expressed as a percentage of monitoring time, students were sedentary for 63% of the time, in LPA 31% of the time, and in MVPA 6% of the time. Across all race/ethnicity and grade level groups, boys exhibited significantly higher levels of MVPA than girls did; fifth-grade boys exhibited significantly lower MVPA levels than fourth-and sixth-grade boys did, and sixth-grade girls exhibited significantly lower MVPA levels than fourth-and fifth-grade girls did. Hispanic children exhibited lower levels of MVPA than children from other racial/ethnic groups did, and overweight and obese children exhibited significantly lower MVPA levels than children in the healthy weight range did. Across the entire sample, only 24.3% met the current public health guidelines for PA. Physical inactivity was significantly greater among females, Hispanics, and overweight and obese students. Conclusions Fewer than one in four inner-city schoolchildren accumulated the recommended 60 min of MVPA daily. These findings highlight the need for effective and sustainable programs to promote PA in inner-city youth.

Analysis of a city-region from the knowledge perspective : Tampere, Finland

Purpose The paper aims to evaluate the knowledge-based urban development (KBUD) dynamics of a rapidly emerging knowledge city-region, Tampere region, Finland. Design/methodology/approach The paper empirically investigates Tampere region’s development achievements and progress from the knowledge perspective. Findings The research, through qualitative and quantitative analyses, reveals the regional development strengths, weaknesses, opportunities and threats of Tampere region. Originality/value The paper provides useful suggestions based on the lessons learned from the Tampere case investigation that could shed light on the KBUD journey of city-regions.

Stabilization of parametric roll resonance with active u-tanks via Lyapunov control design

Parametric ship roll resonance is a phenomenon where a ship can rapidly develop high roll motion while sailing in longitudinal waves. This effect can be described mathematically by periodic changes of the parameters of the equations of motion, which lead to a bifurcation. In this paper, the control design of an active u-tank stabilizer is carried out using Lyapunov theory. A nonlinear backstepping controller is developed to provide global exponential stability of roll. An extension of commonly used u-tank models is presented to account for large roll angles, and the control design is tested via simulation on a high-fidelity model of a vessel under parametric roll resonance.

Enabling safe autonomous driving in real-world city traffic using multiple criteria decision making

This paper addresses the topic of real-time decision making for autonomous city vehicles, i.e., the autonomous vehicles' ability to make appropriate driving decisions in city road traffic situations. The paper explains the overall controls system architecture, the decision making task decomposition, and focuses on how Multiple Criteria Decision Making (MCDM) is used in the process of selecting the most appropriate driving maneuver from the set of feasible ones. Experimental tests show that MCDM is suitable for this new application area.

The role and future challenges of wireless communication networks for cooperative autonomous city vehicles

This paper elaborates on the use of future wireless communication networks for autonomous city vehicles. After addressing the state of technology, the paper explains the autonomous vehicle control system architecture and the Cybercars-2 communication framework; it presents experimental tests of communication-based real-time decision making; and discusses potential applications for communication in order to improve the localization and perception abilities of autonomous vehicles in urban environments.

Improving safety for driverless city vehicles : real-time communication and decision making

This paper elaborates on the Cybercars-2 Wireless Communication Framework for driverless city vehicles, which is used for Vehicle-to-Vehicle and Vehicle-to-Infrastructure communication. The developed framework improves the safety and efficiency of driverless city vehicles. Furthermore, this paper also elaborates on the vehicle control software architecture. On-road tests of both the communication framework and its application for real-time decision making show that the communication framework is reliable and useful for improving the safe operation of driverless city vehicles.

An object-oriented design of a World Model for autonomous city vehicles

This paper presents an object-oriented world model for the road traffic environment of autonomous (driver-less) city vehicles. The developed World Model is a software component of the autonomous vehicle's control system, which represents the vehicle's view of its road environment. Regardless whether the information is a priori known, obtained through on-board sensors, or through communication, the World Model stores and updates information in real-time, notifies the decision making subsystem about relevant events, and provides access to its stored information. The design is based on software design patterns, and its application programming interface provides both asynchronous and synchronous access to its information. Experimental results of both a 3D simulation and real-world experiments show that the approach is applicable and real-time capable.