Modeling key compromise impersonation attacks on group key exchange protocols

A key exchange protocol allows a set of parties to agree upon a secret session key over a public network. Two-party key exchange (2PKE) protocols have been rigorously analyzed under various models considering different adversarial actions. However, the analysis of group key exchange (GKE) protocols has not been as extensive as that of 2PKE protocols. Particularly, the security attribute of key compromise impersonation (KCI) resilience has so far been ignored for the case of GKE protocols. We first model the security of GKE protocols addressing KCI attacks by both outsider and insider adversaries. We then show that a few existing protocols are not secure even against outsider KCI attacks. The attacks on these protocols demonstrate the necessity of considering KCI resilience for GKE protocols. Finally, we give a new proof of security for an existing GKE protocol under the revised model assuming random oracles.

Knowledge-based strategic planning: harnessing (in)tangible assets of city-regions

Purpose – The aim of this paper is to investigate the ways of best managing city-regions’ valuable tangible and intangible assets while pursuing a knowledge-based urban development that is sustainable and competitive. Design/methodology/approach – The paper provides a theoretical framework to conceptualise a new strategic planning mechanism, knowledge-based strategic planning, which has been emerged as a planning mechanism for the knowledge-based urban development of post-industrial city-regions. Originality/value – The paper develops a planning framework entitled 6K1C for knowledge-based strategic planning to be used in the analysis of city-regions’ tangible and intangible assets. Practical implications – The paper discusses the importance of asset mapping of cityregions, and explores the ways of successfully managing city-regions’ tangible/intangible assets to achieve an urban development that is sustainable and knowledge-based. Keywords – Knowledge-based urban development, Knowledge-based strategic planning, Tangible assets, Intangible assets, City-regions. Paper type – Academic Research Paper

An online urban information system initiative for the Shibuya city, Tokyo

The computing tools and technologies with urban information systems are designed to enhance planners’ capability to deal with complex urban environments and to plan for prosperous and liveable communities. This paper examines the role of Online Urban Information Systems or in another words Internet based Geographic Information Systems as spatial decision support systems to aid local planning process. This paper introduces a prototype Internet GIS model that aims to integrate a public oriented interactive decision support system for urban planning process. This model, referred as a ‘Community based Internet GIS’, incorporates advanced information technologies and community involvement in decision making processes on the web environment. This innovative model has been recently applied to a pilot case in Tokyo and this paper concludes with the preliminary results of this project.

Business process modeling : perceived benefits

The process-centered design of organizations and information systems is globally seen as an appropriate response to the increased economic pressure on organizations. At the methodological core of process-centered management is process modeling. However, business process modeling in large initiatives can be a time-consuming and costly exercise, making it potentially difficult to convince executive management of its benefits. To date, and despite substantial interest and research in the area of process modeling, the understanding of the actual benefits of process modeling in academia and practice is limited. To address this gap, this paper explores the perception of benefits derived from process modeling initiatives, as reported through a global Delphi study. The study incorporates the views of three groups of stakeholders – academics, practitioners and vendors. Our findings lead to the first identification and ranking of 19 unique benefits associated with process modeling. The study in particular found that process modeling benefits vary significantly between practitioners and academics. We argue that these variations may point to a dangerous disconnect between research projects and practical demands.

Value-oriented process modeling : integrating financial perspectives into business process re-design

Purpose – Financial information about costs and return on investments are of key importance to strategic decision-making but also in the context of process improvement or business engineering. In this paper we propose a value-oriented approach to business process modeling based on key concepts and metrics from operations and financial management, to aid decision making in process re-design projects on the basis of process models. Design/methodology/approach – We suggest a theoretically founded extension to current process modeling approaches, and delineate a framework as well as methodical support to incorporate financial information into process re-design. We use two case studies to evaluate the suggested approach. Findings – Based on two case studies, we show that the value-oriented process modeling approach facilitates and improves managerial decision-making in the context of process re-design. Research limitations / implications – We present design work and two case studies. More research is needed to more thoroughly evaluate the presented approach in a variety of real-life process modeling settings. Practical implications – We show how our approach enables decision makers to make investment decisions in process re-design projects, and also how other decisions, for instance in the context of enterprise architecture design, can be facilitated. Originality/value – This study reports on an attempt to integrate financial considerations into the act of process modeling, in order to provide more comprehensive decision making support in process re-design projects.

Research Monograph: The role of community and lifestyle in the making of a knowledge city

Our brief is to investigate the role of community and lifestyle in the making of a globally successful knowledge city region. Our approach is essentially pragmatic. We start by broadly examining knowledge-based urban development from a number of different perspectives. The first view is historical. In this context knowledge work and knowledge workers are seen as vital parts of a new emergent mode of production reliant on the continual production of abstract knowledge. We briefly develop this perspective to encompass the work of Richard Florida who has, notedly, claimed: “Wherever talent goes, innovation, creativity, and economic growth are sure to follow.” Our next perspective examines concepts of knowledge and modes of its production to discover knowledge is not an unchanging object but a human activity that changes in form and content through history. The suggestion emerges that not only is the production of contemporary ‘knowledge’ organised in a specific (and new) manner but also the output of this networked production is a particular type of knowledge (i.e. techné). The third perspective locates knowledge production and its workers in the contemporary urban context. As such, it co-ordinates the knowledge city in the increasingly global structure of cities and develops a typology of different groups of knowledge workers in their preferred urban environment(s). We see emerging here a distinctive geography of knowledge production. It is an urban phenomenon. There is, in short, something about the nature of cities that knowledge workers find particularly attractive. In the next, essentially anthropological, perspective we start to explore the needs and desires of the individual knowledge worker. Beyond the needs basic to any modern human household an attempt is made to deduce, from a base understanding of knowledge work as mental labour, the compensatory cultural needs of the knowledge worker when not at work - and the expression of these needs in the urban fabric. Our final perspective consists of two case studies. In a review of the experiences of Austin, Texas and Singapore’s one-north precinct we collect empirical data on, respectively, a knowledge city that has sustained itself for over 50 years and an urban precinct newly launched into the global market for knowledge work and knowledge workers. Interwoven The Role of Community and Lifestyle in the Making of a Knowledge City Urban Research Program 8 through all perspectives, in the form of apposite citation, is that of ‘expert opinion’ gathered in a rudimentary poll of academic and industry sources. This opinion appears in text boxes while details of the survey can be found in Appendix A. In the conclusion of the report we interpret the wide range of evidence gathered above in a policy frame. It is our hope this report will leave the reader with a clearer picture of the decisive organisational, infrastructural, aesthetic and social dimensions of a knowledge precinct.

Open City, Rossellini and neorealism : sixty years on

For Bakhtin, it is always important to know from where one speaks. The place from which I speak is that of a person who grew up in Italy during the economic miracle (pre-1968) in a working class family, watching film matinees on television during school holidays. All sort of films and genres were shown: from film noir to westerns, to Jean Renoir's films, German expressionism, Italian neorealism and Italian comedy. Cinema has come to represent over time a sort of memory extension that supplements lived memory of events, and one which, especially, mediates the intersection of many cultural discourses. When later in life I moved to Australia and started teaching in film studies, my choice of a film that was emblematic of neorealism went naturally to Roma città aperta (Open city hereafter) by Roberto Rossellini (1945), and not to Paisan or Sciuscà or Bicycle Thieves. My choice was certainly grounded in my personal memory - especially those aspects transmitted to me by my parents, who lived through the war and maintained that Open City had truly made them cry. With a mother who voted for the Christian Democratic Party and a father who was a unionist, I thought that this was normal in Italian families and society. In the early 1960s, the Resistance still offered a narrative of suffering and redemption, shared by Catholics or Communists. This construction of psychological realism is what I believe Open City continues to offer in time.

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.

Concurrent multi-scale modeling of civil infrastructures for analyses on structural deterioration—Part I : Modeling methodology and strategy

This paper aims to develop the methodology and strategy for concurrent finite element modeling of civil infrastructures at the different scale levels for the purposes of analyses of structural deteriorating. The modeling strategy and method were investigated to develop the concurrent multi-scale model of structural behavior (CMSM-of-SB) in which the global structural behavior and nonlinear damage features of local details in a large complicated structure could be concurrently analyzed in order to meet the needs of structural-state evaluation as well as structural deteriorating. In the proposed method, the “large-scale” modeling is adopted for the global structure with linear responses between stress and strain and the “small-scale” modeling is available for nonlinear damage analyses of the local welded details. A longitudinal truss in steel bridge decks was selected as a case to study how a CMSM-of-SB was developed. The reduced-scale specimen of the longitudinal truss was studied in the laboratory to measure its dynamic and static behavior in global truss and local welded details, while the multi-scale models using constraint equations and substructuring were developed for numerical simulation. The comparison of dynamic and static response between the calculated results by different models indicated that the proposed multi-scale model was found to be the most efficient and accurate. The verification of the model with results from the tested truss under the specific loading showed that, responses at the material scale in the vicinity of local details as well as structural global behaviors could be obtained and fit well with the measured results. The proposed concurrent multi-scale modeling strategy and implementation procedures were applied to Runyang cable-stayed bridge (RYCB) and the CMSM-of-SB of the bridge deck system was accordingly constructed as a practical application.

Concurrent multi-scale modeling of civil infrastructures for analyses on structural deteriorating—Part II : Model updating and verification

This paper is a continuation of the paper titled “Concurrent multi-scale modeling of civil infrastructure for analyses on structural deteriorating—Part I: Modeling methodology and strategy” with the emphasis on model updating and verification for the developed concurrent multi-scale model. The sensitivity-based parameter updating method was applied and some important issues such as selection of reference data and model parameters, and model updating procedures on the multi-scale model were investigated based on the sensitivity analysis of the selected model parameters. The experimental modal data as well as static response in terms of component nominal stresses and hot-spot stresses at the concerned locations were used for dynamic response- and static response-oriented model updating, respectively. The updated multi-scale model was further verified to act as the baseline model which is assumed to be finite-element model closest to the real situation of the structure available for the subsequent arbitrary numerical simulation. The comparison of dynamic and static responses between the calculated results by the final model and measured data indicated the updating and verification methods applied in this paper are reliable and accurate for the multi-scale model of frame-like structure. The general procedures of multi-scale model updating and verification were finally proposed for nonlinear physical-based modeling of large civil infrastructure, and it was applied to the model verification of a long-span bridge as an actual engineering practice of the proposed procedures.

Submission to Brisbane City Council : Draft Brisbane Economic Development Plan

As with any strategic planning process, evidence-based estimates are needed to plan effectively for the future. Comments below are based upon data drawn from the Brisbane Long Term Infrastructure Plan (Department of Local Government, Planning, Sport and Recreation, 2005) and the Brisbane Long Term Planning Economic Indicators (National Institute of Economic and Industry Research, 2005), as these are cited as the underpinning research for the economic plan. This submission focuses on one critical aspect of the strategic plan — the relationship between population growth, employment growth, and infrastructure provision. While the focus of the strategic plan is on the changes which would occur within Brisbane, it is important that consideration of predicted changes in surrounding local government areas be also carried out.

Modeling study on transport organization methods choice of highway rapid passenger transport in China

Some new types of mathematical model among four key techno - economic indexes of highway rapid passenger through transportation were established based on the principles of transportation economics. According to the research on the feasible solutions to the associated parameters which were then compared to the actual value, found some limitation in the existing transport organization method. In order to conquer that, two new types of transport organization method, namely CD (Collecting and Distributing) Method and Relay Method were brought forward. What’s more, a further research was down to estimate their characteristics, such as feasibilities, operation flows, applicability fields, etc. This analysis proves the two methods can offset the shortage of rapid passenger through transportation. To ensure highway rapid passenger transport develop harmoniously, a three-stage development targets was suggested to fuse different organization methods.

Configurable reference modeling languages

This chapter discusses reference modelling languages for business systems analysis and design. In particular, it reports on reference models in the context of the design-for/by-reuse paradigm, explains how traditional modelling techniques fail to provide adequate conceptual expressiveness to allow for easy model reuse by configuration or adaptation and elaborates on the need for reference modelling languages to be configurable. We discuss requirements for and the development of reference modelling languages that reflect the need for configurability. Exemplarily, we report on the development, definition and configuration of configurable event-driven process chains. We further outline how configurable reference modelling languages and the corresponding design principles can be used in future scenarios such as process mining and data modelling.

Beyond the inner city : real and imagined places in creative place policy and practice

As the economic and social benefits of creative industries development become increasingly visible, policymakers worldwide are working to create policy drivers to ensure that certain places become or remain ‘creative places’. Richard Florida’s work has become particularly influential among policymakers, as has Landry’s. But as the first wave of creative industrial policy development and implementation wanes, important questions are emerging. It is by now clear that an ‘ideal creative place’ has arisen from creative industries policy and planning literature, and that this ideal place is located in inner cities. This article shifts its focus away from the inner city to where most Australians live: the outer suburbs. It reports on a qualitative research study into the practices of outer-suburban creative industries workers in Redcliffe, Australia. It argues that the accepted geography of creative places requires some recalibration once the material and experiential aspects of creative places are taken into account.