Quality metrics for assessing security-critical computer programs

Existing secure software development principles tend to focus on coding vulnerabilities, such as buffer or integer overflows, that apply to individual program statements, or issues associated with the run-time environment, such as component isolation. Here we instead consider software security from the perspective of potential information flow through a program’s object-oriented module structure. In particular, we define a set of quantifiable "security metrics" which allow programmers to quickly and easily assess the overall security of a given source code program or object-oriented design. Although measuring quality attributes of object-oriented programs for properties such as maintainability and performance has been well-covered in the literature, metrics which measure the quality of information security have received little attention. Moreover, existing securityrelevant metrics assess a system either at a very high level, i.e., the whole system, or at a fine level of granularity, i.e., with respect to individual statements. These approaches make it hard and expensive to recognise a secure system from an early stage of development. Instead, our security metrics are based on well-established compositional properties of object-oriented programs (i.e., data encapsulation, cohesion, coupling, composition, extensibility, inheritance and design size), combined with data flow analysis principles that trace potential information flow between high- and low-security system variables. We first define a set of metrics to assess the security quality of a given object-oriented system based on its design artifacts, allowing defects to be detected at an early stage of development. We then extend these metrics to produce a second set applicable to object-oriented program source code. The resulting metrics make it easy to compare the relative security of functionallyequivalent system designs or source code programs so that, for instance, the security of two different revisions of the same system can be compared directly. This capability is further used to study the impact of specific refactoring rules on system security more generally, at both the design and code levels. By measuring the relative security of various programs refactored using different rules, we thus provide guidelines for the safe application of refactoring steps to security-critical programs. Finally, to make it easy and efficient to measure a system design or program’s security, we have also developed a stand-alone software tool which automatically analyses and measures the security of UML designs and Java program code. The tool’s capabilities are demonstrated by applying it to a number of security-critical system designs and Java programs. Notably, the validity of the metrics is demonstrated empirically through measurements that confirm our expectation that program security typically improves as bugs are fixed, but worsens as new functionality is added.

Optimising container processes at multimodal seaport terminals : an integrated approach and application

A Multimodal Seaport Container Terminal (MSCT) is a complex system which requires careful planning and control in order to operate efficiently. It consists of a number of subsystems that require optimisation of the operations within them, as well as synchronisation of machines and containers between the various subsystems. Inefficiency in the terminal can delay ships from their scheduled timetables, as well as cause delays in delivering containers to their inland destinations, both of which can be very costly to their operators. The purpose of this PhD thesis is to use Operations Research methodologies to optimise and synchronise these subsystems as an integrated application. An initial model is developed for the overall MSCT; however, due to a large number of assumptions that had to be made, as well as other issues, it is found to be too inaccurate and infeasible for practical use. Instead, a method of developing models for each subsystem is proposed that then be integrated with each other. Mathematical models are developed for the Storage Area System (SAS) and Intra-terminal Transportation System (ITTS). The SAS deals with the movement and assignment of containers to stacks within the storage area, both when they arrive and when they are rehandled to retrieve containers below them. The ITTS deals with scheduling the movement of containers and machines between the storage areas and other sections of the terminal, such as the berth and road/rail terminals. Various constructive heuristics are explored and compared for these models to produce good initial solutions for large-sized problems, which are otherwise impractical to compute by exact methods. These initial solutions are further improved through the use of an innovative hyper-heuristic algorithm that integrates the SAS and ITTS solutions together and optimises them through meta-heuristic techniques. The method by which the two models can interact with each other as an integrated system will be discussed, as well as how this method can be extended to the other subsystems of the MSCT.

Place and displacement : southeast Queensland architecture

The "vernacular" housing tradition of southeast Queensland is easily identifiable. Its history is more complex. This study seeks to challenge two popular conceptions of the "Queenslander" history by showing that they actually provide contradictory explanations. The aim is to produce a more complex account of local architecture and its historical explanation so that both its past and its present practices can be better understood as a distinctly subtropical idiom. This discussion shows that such practices may respond to common concerns but that are also ever-changing.

Selling James Bond : product placement in the James Bond films

The character of James Bond for many people is intrinsically linked in their minds with particular brands – Aston Martin, Bollinger, Omega, Smirnoff vodka, and so on. This direct association between character and brand highlights the intrinsic role of product placement in the film industry, and in the James Bond films in particular. Selling James Bond: Product Placement in the James Bond Films provides a comprehensive overview of the history of product placement in the James Bond series – charting the progression of the practice and drawing direct correlations to significant cultural and historical events that impacted upon the number and types of products incorporated into the series. While primarily a financial arrangement, it is also important that the practice of product placement be examined and understood in relation to these cultural contexts, an area of research so far largely ignored by academic study. Through extensive content analysis of the official James Bond film series, as well as utilising directors’ commentary and industry reports, this book illustrates the strong impact specific cultural and historical events have had on the practice of product placement in the series. In doing so, it provides an exciting and in-depth “behind the scenes” look at the James Bond film series, and its complicated and sometimes contentious history of product placement. In the process, it charts the gradual emergence of product placement from the more traditional background shot to becoming so embedded in the actual film narrative that they have become simply yet another method for filmmakers to produce cultural meaning.

A novel CDVM based high-voltage converter using low power solid-state switches and a tuned resonant circuit designed for pulsed power applications

A novel concept of producing high dc voltage for pulsed-power applications is proposed in this paper. The topology consists of an LC resonant circuit supplied through a tuned alternating waveform that is produced by an inverter. The control scheme is based on the detection of variations in the resonant frequency and adjustment of the switching signal patterns for the inverter to produce a square waveform with exactly the same frequencies. Therefore the capacitor voltage oscillates divergently with an increasing amplitude. A simple one-stage capacitor-diode voltage multiplier (CDVM) connected to the resonant capacitor then rectifies the alternating voltage and gives a dc level equal to twice the input voltage amplitude. The produced high voltage appears then in the form of high-voltage pulses across the load. A basic model is simulated by Simulink platform of MATLAB and the results are included in the paper.

Re-constructing Asianness in Australia : Yumi Umiumare, Owen Leong, and the remobilisation of monstrosity

In the late twentieth and early twenty-first centuries, Australia’s relationship with its Asian neighbours has been the subject of ongoing aesthetic, cultural and political contestations. As Alison Richards has noted, Australia’s colonial legacy, its Asia-Pacific location, and its ‘white’ self-perception have always made Australia’s relations with Asia fraught. In the latter part of the twentieth century, the paradoxes inherent in Australia’s relationships with and within the Asian region became a dominant theme in debates about nation, nationhood and identity, and prompted a shift in the construction of ‘Asianness’ on Australian stages. On the one hand, anxiety about the multicultural policy of the 1970s and 1980s, and then Prime Minister Paul Keating’s push for greater economic, cultural and artistic exchange with Asia via policies such as the Creative Nation Cultural Policy (1994), saw large numbers of Australians latch on to the reactionary, racist politics of Pauline Hanson’s One Nation Party. As Jacqueline Lo has argued, in this period Asian-Australians were frequently represented as an unassimilable Other, a threat to Australia’s ‘white’ identity, and to individual Australians’ jobs and opportunities. On the other hand, during the same period, a desire to counter the racism in Australian culture, and develop a ‘voice’ that would distinguish Australian cultural products from European theatrical traditions, combined with the new opportunities for cross-cultural exchange that came with the Creative Nation Cultural Policy to produce what Helen Gilbert and Jacqueline Lo have characterised as an Asian turn in Australian theatre...

International transfer pricing : the Australian approach and lessons for Canada

In response to developments in international trade and an increased focus on international transfer-pricing issues, Canada’s minister of finance announced in the 1997 budget that the Department of Finance would undertake a review of the transfer-pricing provisions in the Income Tax Act. On September 11, 1997, the Department of Finance released draft transfer-pricing legislation and Revenue Canada released revised draft Information Circular 87-2R. The legislation was subsequently amended and included in Bill C-28, which received first reading on December 10, 1997. The new rules are intended to update Canada’s international transfer-pricing practices. In particular, they attempt to harmonize the standards in the Income Tax Act with the arm’s-length principle established in the OECD’s transfer pricing guidelines. The new rules also set out contemporaneous documentation requirements in respect of cross-border related-party transactions, facilitate administration of the law by Revenue Canada, and provide for a penalty where transfer prices do not comply with the arm’s-length principle. The Australian tax authorities have similarly reviewed and updated their transfer-pricing practices. Since 1992, the Australian commissioner of taxation has issued three rulings and seven draft rulings directly relating to international transfer pricing. These rulings outline the selection and application of transfer pricing methodologies, documentation requirements, and penalties for non-compliance. The Australian Taxation Office supports the use of advance pricing agreements (APAs) and has expanded its audit strategy by conducting transfer-pricing risk assessment reviews. This article presents a detailed review of Australia’s transfer-pricing policy and practices, which address essentially the same concerns as those at which the new Canadian rules are directed. This review provides a framework for comparison of the approaches adopted in the two jurisdictions. The author concludes that although these approaches differ in some respects, ultimately they produce a similar result. Both regimes set a clear standard to be met by multinational enterprises in establishing transfer prices. Both provide for audits and penalties in the event of noncompliance. And both offer the alternative of an APA as a means of avoiding transfer-pricing disputes with Australian and Canadian tax authorities.

Strolling through the (post)modern city: Modes of being a flaneur in picture books

The city and the urban condition, popular subjects of art, literature, and film, have been commonly represented as fragmented, isolating, violent, with silent crowds moving through the hustle and bustle of a noisy, polluted cityspace. Included in this diverse artistic field is children’s literature—an area of creative and critical inquiry that continues to play a central role in illuminating and shaping perceptions of the city, of city lifestyles, and of the people who traverse the urban landscape. Fiction’s textual representations of cities, its sites and sights, lifestyles and characters have drawn on traditions of realist, satirical, and fantastic writing to produce the protean urban story—utopian, dystopian, visionary, satirical—with the goal of offering an account or critique of the contemporary city and the urban condition. In writing about cities and urban life, children’s literature variously locates the child in relation to the social (urban) space. This dialogic relation between subject and social space has been at the heart of writings about/of the flâneur: a figure who experiences modes of being in the city as it transforms under the influences of modernism and postmodernism. Within this context of a changing urban ontology brought about by (post)modern styles and practices, this article examines five contemporary picture books: The Cows Are Going to Paris by David Kirby and Allen Woodman; Ooh-la-la (Max in love) by Maira Kalman; Mr Chicken Goes to Paris and Old Tom’s Holiday by Leigh Hobbs; and The Empty City by David Megarrity. I investigate the possibility of these texts reviving the act of flânerie, but in a way that enables different modes of being a flâneur, a neo-flâneur. I suggest that the neo-flâneur retains some of the characteristics of the original flâneur, but incorporates others that take account of the changes wrought by postmodernity and globalization, particularly tourism and consumption. The dual issue at the heart of the discussion is that tourism and consumption as agents of cultural globalization offer a different way of thinking about the phenomenon of flânerie. While the flâneur can be regarded as the precursor to the tourist, the discussion considers how different modes of flânerie, such as the tourist-flâneur, are an inevitable outcome of commodification of the activities that accompany strolling through the (post)modern urban space.

Corporate social and environmental responsibility in relation to the agricultural sector and the food supply chain : a Case Study of Waitrose

Waitrose has a strong commitment to organic farming but also uses products from 'conventional' farms. At the production stage, Waitrose own-label products are fully traceable, GM-free and all suppliers undergo a detailed assessment programme based on current best practice. Crop suppliers to Waitrose operate an authenticity programme to certify that each assignment is GM-free and produce is screened for pesticide residues. Waitrose sources conventional crops grown from 'Integrated Crop Management Systems' (ICMS) using best horticultural practices. The 'Assured Product' scheme regulates all UK produce to ICMS standards and these audits are being extended worldwide. Business is withdrawn from suppliers who fail the audit. In relation to this, Waitrose has increased its Fairtrade range as in its view 'Buying these products provides direct additional benefit to workers in the developing countries where they are produced and assists marginal producers by giving them access to markets they would not otherwise have'. Currently, Waitrose is developing its own sustainable timber assessment criteria. For livestock, protocols are in place to ensure that animals are reared under the 'most natural conditions possible' and free range produce is offered where animals have access to open space although some produce is not from free-range animals. Waitrose also use a 'Hazards Analysis Critical Points' system to identify food safety hazards that occur at any stage from production to point of sale and to ensure that full measures are in place to control them. In addition, mechanisms have been implemented to reduce fuel use and hence reduce CO2 emissions in the transport of products and staff, and to increase the energy use efficiency of refrigeration systems which account for approximately 60% of Waitrose energy use.

Perceiving and pursuing novelty : a grounded theory of adolescent creativity

Creativity plays an increasingly important role in our personal, social, educational, and community lives. For adolescents, creativity can enable self-expression, be a means of pushing boundaries, and assist learning, achievement, and completion of everyday tasks. Moreover, adolescents who demonstrate creativity can potentially enhance their capacity to face unknown future challenges, address mounting social and ecological issues in our global society, and improve their career opportunities and contribution to the economy. For these reasons, creativity is an essential capacity for young people in their present and future, and is highlighted as a priority in current educational policy nationally and internationally. Despite growing recognition of creativity’s importance and attention to creativity in research, the creative experience from the perspectives of the creators themselves and the creativity of adolescents are neglected fields of study. Hence, this research investigated adolescents’ self-reported experiences of creativity to improve understandings of their creative processes and manifestations, and how these can be supported or inhibited. Although some aspects of creativity have been extensively researched, there were no comprehensive, multidisciplinary theoretical frameworks of adolescent creativity to provide a foundation for this study. Therefore, a grounded theory methodology was adopted for the purpose of constructing a new theory to describe and explain adolescents’ creativity in a range of domains. The study’s constructivist-interpretivist perspective viewed the data and findings as interpretations of adolescents’ creative experiences, co-constructed by the participants and the researcher. The research was conducted in two academically selective high schools in Australia: one arts school, and one science, mathematics, and technology school. Twenty adolescent participants (10 from each school) were selected using theoretical sampling. Data were collected via focus groups, individual interviews, an online discussion forum, and email communications. Grounded theory methods informed a process of concurrent data collection and analysis; each iteration of analysis informed subsequent data collection. Findings portray creativity as it was perceived and experienced by participants, presented in a Grounded Theory of Adolescent Creativity. The Grounded Theory of Adolescent Creativity comprises a core category, Perceiving and Pursuing Novelty: Not the Norm, which linked all findings in the study. This core category explains how creativity involved adolescents perceiving stimuli and experiences differently, approaching tasks or life unconventionally, and pursuing novel ideas to create outcomes that are not the norm when compared with outcomes by peers. Elaboration of the core category is provided by the major categories of findings. That is, adolescent creativity entailed utilising a network of Sub-Processes of Creativity, using strategies for Managing Constraints and Challenges, and drawing on different Approaches to Creativity – adaptation, transfer, synthesis, and genesis – to apply the sub-processes and produce creative outcomes. Potentially, there were Effects of Creativity on Creators and Audiences, depending on the adolescent and the task. Three Types of Creativity were identified as the manifestations of the creative process: creative personal expression, creative boundary pushing, and creative task achievement. Interactions among adolescents’ dispositions and environments were influential in their creativity. Patterns and variations of these interactions revealed a framework of four Contexts for Creativity that offered different levels of support for creativity: high creative disposition–supportive environment; high creative disposition–inhibiting environment; low creative disposition–supportive environment; and low creative disposition–inhibiting environment. These contexts represent dimensional ranges of how dispositions and environments supported or inhibited creativity, and reveal that the optimal context for creativity differed depending on the adolescent, task, domain, and environment. This study makes four main contributions, which have methodological and theoretical implications for researchers, as well as practical implications for adolescents, parents, teachers, policy and curriculum developers, and other interested stakeholders who aim to foster the creativity of adolescents. First, this study contributes methodologically through its constructivist-interpretivist grounded theory methodology combining the grounded theory approaches of Corbin and Strauss (2008) and Charmaz (2006). Innovative data collection was also demonstrated through integration of data from online and face-to-face interactions with adolescents, within the grounded theory design. These methodological contributions have broad applicability to researchers examining complex constructs and processes, and with populations who integrate multimedia as a natural form of communication. Second, applicable to creativity in diverse domains, the Grounded Theory of Adolescent Creativity supports a hybrid view of creativity as both domain-general and domain-specific. A third major contribution was identification of a new form of creativity, educational creativity (ed-c), which categorises creativity for learning or achievement within the constraints of formal educational contexts. These theoretical contributions inform further research about creativity in different domains or multidisciplinary areas, and with populations engaged in formal education. However, the key contribution of this research is that it presents an original Theory and Model of Adolescent Creativity to explain the complex, multifaceted phenomenon of adolescents’ creative experiences.

Hydrothermal technologies for the production of fuels and chemicals from biomass

Biomass and non-food crop residues are seen as relatively low cost and abundant renewable sources capable of making a large contribution to the world’s future energy and chemicals supply. Signifi cant quantities of ethanol are currently produced from biomass via biochemical processes, but thermochemical conversion processes offer greater potential to utilize the entire biomass source to produce a range of products. This chapter will review thermochemical gasifi cation and pyrolysis methods with a focus on hydrothermal liquefaction processes. Hydrothermal liquefaction is the most energetically advantageous thermochemical biomass conversion process. If the target is to produce sustainable liquid fuels and chemicals and reduce the impact of global warming as a result of carbon dioxide, nitrous oxide, and methane emissions (i.e., protect the natural environment), the use of “green” solvents, biocatalysts and heterogeneous catalysts must be the main R&D initiatives. As the biocrude produced from hydrothermal liquefaction is a complex mixture which is relatively viscous, corrosive, and unstable to oxidation (due to the presence of water and oxygenated compounds), additional upgrading processes are required to produce suitable biofuels and chemicals.

Teachers’ work in curricular markets : conditions of design and relations between the International Baccalaureate Diploma and the local curriculum

School level strategy enabled by neoliberal choice policies can produce internal curricular markets whereby branded curricula such as the International Baccalaureate are offered alongside the local government curriculum in the same school. This project investigated how such curricular markets operating in Australian schools impacted on teachers’ work. This paper reports on teachers work in three case study schools that offered both the International Baccalaureate Diploma program and the local senior schooling curriculum, then draws on an online survey of 225 teachers in 26 such schools across Australia. The analysis reveals the impact of curricular markets along two dimensions: the curriculum’s internal design; and the relational aspects of how schools manage to deliver tandem offerings within institutional constraints. Teachers working in the IBD Diploma program were shown to relish its design, despite additional demands, while teachers working in just the local curriculum reported more relational issues. The paper argues that these trends suggest that there are winners and losers emerging in the work conditions produced by curricular markets.  

Chinese online literature : creative consumers and evolving business models

Purpose – The internet is transforming possibilities for creative interaction, experimentation and cultural consumption in China and raising important questions about the role that “publishers” might play in an open and networked digital world. The purpose of this paper is to consider the role that copyright is playing in the growth of a publishing industry that is being “born digital”. Design/methodology/approach – The paper approaches online literature as an example of a creative industry that is generating value for a wider creative economy through its social network market functions. It builds on the social network market definition of the creative industries proposed by Potts et al. and uses this definition to interrogate the role that copyright plays in a rapidly-evolving creative economy. Findings – The rapid growth of a market for crowd-sourced content is combining with growing commercial freedom in cultural space to produce a dynamic landscape of business model experimentation. Using the social web to engage audiences, generate content, establish popularity and build reputation and then converting those assets into profit through less networked channels appears to be a driving strategy in the expansion of wider creative industries markets in China. Originality/value – At a moment when publishing industries all over the world are struggling to come to terms with digital technology, the emergence of a rapidly-growing area of publishing that is being born digital offers important clues about the future of publishing and what social network markets might mean for the role of copyright in a digital age.

Monte Carlo simulations of dynamic radiotherapy treatments

The effects of tumour motion during radiation therapy delivery have been widely investigated. Motion effects have become increasingly important with the introduction of dynamic radiotherapy delivery modalities such as enhanced dynamic wedges (EDWs) and intensity modulated radiation therapy (IMRT) where a dynamically collimated radiation beam is delivered to the moving target, resulting in dose blurring and interplay effects which are a consequence of the combined tumor and beam motion. Prior to this work, reported studies on the EDW based interplay effects have been restricted to the use of experimental methods for assessing single-field non-fractionated treatments. In this work, the interplay effects have been investigated for EDW treatments. Single and multiple field treatments have been studied using experimental and Monte Carlo (MC) methods. Initially this work experimentally studies interplay effects for single-field non-fractionated EDW treatments, using radiation dosimetry systems placed on a sinusoidaly moving platform. A number of wedge angles (60º, 45º and 15º), field sizes (20 × 20, 10 × 10 and 5 × 5 cm2), amplitudes (10-40 mm in step of 10 mm) and periods (2 s, 3 s, 4.5 s and 6 s) of tumor motion are analysed (using gamma analysis) for parallel and perpendicular motions (where the tumor and jaw motions are either parallel or perpendicular to each other). For parallel motion it was found that both the amplitude and period of tumor motion affect the interplay, this becomes more prominent where the collimator tumor speeds become identical. For perpendicular motion the amplitude of tumor motion is the dominant factor where as varying the period of tumor motion has no observable effect on the dose distribution. The wedge angle results suggest that the use of a large wedge angle generates greater dose variation for both parallel and perpendicular motions. The use of small field size with a large tumor motion results in the loss of wedged dose distribution for both parallel and perpendicular motion. From these single field measurements a motion amplitude and period have been identified which show the poorest agreement between the target motion and dynamic delivery and these are used as the „worst case motion parameters.. The experimental work is then extended to multiple-field fractionated treatments. Here a number of pre-existing, multiple–field, wedged lung plans are delivered to the radiation dosimetry systems, employing the worst case motion parameters. Moreover a four field EDW lung plan (using a 4D CT data set) is delivered to the IMRT quality control phantom with dummy tumor insert over four fractions using the worst case parameters i.e. 40 mm amplitude and 6 s period values. The analysis of the film doses using gamma analysis at 3%-3mm indicate the non averaging of the interplay effects for this particular study with a gamma pass rate of 49%. To enable Monte Carlo modelling of the problem, the DYNJAWS component module (CM) of the BEAMnrc user code is validated and automated. DYNJAWS has been recently introduced to model the dynamic wedges. DYNJAWS is therefore commissioned for 6 MV and 10 MV photon energies. It is shown that this CM can accurately model the EDWs for a number of wedge angles and field sizes. The dynamic and step and shoot modes of the CM are compared for their accuracy in modelling the EDW. It is shown that dynamic mode is more accurate. An automation of the DYNJAWS specific input file has been carried out. This file specifies the probability of selection of a subfield and the respective jaw coordinates. This automation simplifies the generation of the BEAMnrc input files for DYNJAWS. The DYNJAWS commissioned model is then used to study multiple field EDW treatments using MC methods. The 4D CT data of an IMRT phantom with the dummy tumor is used to produce a set of Monte Carlo simulation phantoms, onto which the delivery of single field and multiple field EDW treatments is simulated. A number of static and motion multiple field EDW plans have been simulated. The comparison of dose volume histograms (DVHs) and gamma volume histograms (GVHs) for four field EDW treatments (where the collimator and patient motion is in the same direction) using small (15º) and large wedge angles (60º) indicates a greater mismatch between the static and motion cases for the large wedge angle. Finally, to use gel dosimetry as a validation tool, a new technique called the „zero-scan method. is developed for reading the gel dosimeters with x-ray computed tomography (CT). It has been shown that multiple scans of a gel dosimeter (in this case 360 scans) can be used to reconstruct a zero scan image. This zero scan image has a similar precision to an image obtained by averaging the CT images, without the additional dose delivered by the CT scans. In this investigation the interplay effects have been studied for single and multiple field fractionated EDW treatments using experimental and Monte Carlo methods. For using the Monte Carlo methods the DYNJAWS component module of the BEAMnrc code has been validated and automated and further used to study the interplay for multiple field EDW treatments. Zero-scan method, a new gel dosimetry readout technique has been developed for reading the gel images using x-ray CT without losing the precision and accuracy.

A new approach to automatically producing schedules for cane railways

The scheduling of locomotive movements on cane railways has proven to be a very complex task. Various optimisation methods have been used over the years to try and produce an optimised schedule that eliminates or minimises bin supply delays to harvesters and the factory, while minimising the number of locomotives, locomotive shifts and cane bins, and also the cane age. This paper reports on a new attempt to develop an automatic scheduler using a mathematical model solved using mixed integer programming and constraint programming approaches and blocking parallel job shop scheduling fundamentals. The model solution has been explored using conventional constraint programming search techniques and found to produce a reasonable schedule for small-scale problems with up to nine harvesters. While more effort is required to complete the development of the full model with metaheuristic search techniques, the work completed to date gives confidence that the metaheuristic techniques will provide near optimal solutions in reasonable time.