Tool-supported dataflow analysis of a security-critical embedded device

Defence organisations perform information security evaluations to confirm that electronic communications devices are safe to use in security-critical situations. Such evaluations include tracing all possible dataflow paths through the device, but this process is tedious and error-prone, so automated reachability analysis tools are needed to make security evaluations faster and more accurate. Previous research has produced a tool, SIFA, for dataflow analysis of basic digital circuitry, but it cannot analyse dataflow through microprocessors embedded within the circuit since this depends on the software they run. We have developed a static analysis tool that produces SIFA compatible dataflow graphs from embedded microcontroller programs written in C. In this paper we present a case study which shows how this new capability supports combined hardware and software dataflow analyses of a security critical communications device.

YouTube and the formalisation of amateur media

This chapter describes how, as YouTube has scaled up both as a platform and as a company, its business model and the consequences for its copyright regulation strategies have co-evolved, and so too the boundaries between amateur and professional media have shifted and blurred in particular ways. As YouTube, Inc moves to more profitably arrange and stabilise the historically contentious relations among rights-holders, uploaders, advertisers and audiences, some forms of amateur video production have become institutionalised and professionalised, while others have been further marginalised and driven underground or to other, more forgiving, platforms.

Indigenous Health Scholars Attend the MAI Conference

This short newsletter article discusses the Queensland University of Technology's (QUT) delegation at the 2011 Maori and Indigenous Doctoral (MAI) Conference hosted by Te Whare Wananga o Awanuiarangi (Indigenous University), Whakatane, New Zealand. The newsletter is free to download.

Melbourne on film dossier: 'Ghost Rider'

Despite being set in an unnamed Texan city, Ghost Rider (Mark Steven Johnson, 2007) was a landmark film for Melbourne. It was the first international production to be made at the Central City (now Docklands) Studios, much to the relief of the heavily-invested state government. And it demonstrated to the world (or more importantly, to producers resident in a small part of southern California), that the city was willing and available to be made over and made up to fit even (especially!) the most stupid filmmaking fantasies. Announcing the imminent arrival of the production in October 2004, the Herald Sun boldly predicted that '[c]ity lanes, Telstra Dome and the Yarra River will be the stars of the new action film'. In fact Melbourne is, as the filmmakers intended, (virtually) unidentifiable onscreen. For the Victorian State government, Ausfilm, Film Victoria and the Melbourne Film Office, this lack of specificity was something to be celebrated; a few months before Ghost Rider went in to production, the then State Minister for Innovation, John Brumby, declared that 'it's almost inconceivable that [Ghost Rider] won't put Melbourne on the map internationally'.

Report on Legal Expenses Insurance, 239 pages; Prepared for the Access to Justice Committee Queensland Law Society Inc.; Access to Justice Committee, Australian Law Society (23 May, 2002).

A report prepared for the Access to Justice Committee Queensland Law Society Inc.

Evaluation of an inactivated Ross River virus vaccine in active and passive mouse immunization models and establishment of a correlate of protection

Ross River Virus has caused reported outbreaks of epidemic polyarthritis, a chronic debilitating disease associated with significant long-term morbidity in Australia and the Pacific region since the 1920s. To address this public health concern, a formalin- and UV-inactivated whole virus vaccine grown in animal protein-free cell culture was developed and tested in preclinical studies to evaluate immunogenicity and efficacy in animal models. After active immunizations, the vaccine dose-dependently induced antibodies and protected adult mice from viremia and interferon α/β receptor knock-out (IFN-α/βR(-/-)) mice from death and disease. In passive transfer studies, administration of human vaccinee sera followed by RRV challenge protected adult mice from viremia and young mice from development of arthritic signs similar to human RRV-induced disease. Based on the good correlation between antibody titers in human sera and protection of animals, a correlate of protection was defined. This is of particular importance for the evaluation of the vaccine because of the comparatively low annual incidence of RRV disease, which renders a classical efficacy trial impractical. Antibody-dependent enhancement of infection, did not occur in mice even at low to undetectable concentrations of vaccine-induced antibodies. Also, RRV vaccine-induced antibodies were partially cross-protective against infection with a related alphavirus, Chikungunya virus, and did not enhance infection. Based on these findings, the inactivated RRV vaccine is expected to be efficacious and protect humans from RRV disease

Persistence of multiple genetic lineages within intra-host populations of Ross River virus

We examined the structure and extent of genetic diversity in intrahost populations of Ross River virus (RRV) in samples from six human patients, focusing on the nonstructural (nsP3) and structural (E2) protein genes. Strikingly, although the samples were collected from contrasting ecological settings 3,000 kilometers apart in Australia, we observed multiple viral lineages in four of the six individuals, which is indicative of widespread mixed infections. In addition, a comparison with previously published RRV sequences revealed that these distinct lineages have been in circulation for at least 5 years, and we were able to document their long-term persistence over extensive geographical distances

Space, place and power : the spatial turn in literacy research

Place matters to literacy because the meanings of our language and actions are always materially and socially placed in the world (Scollon & Scollon, 2003). We cannot interpret signs, whether an icon, symbol, gesture, word, or action, without taking into account their associations with other meanings and objects in places. This chapter maps an emergent strand of literacy research that foregrounds place and space as constitutive, rather than a backdrop for the real action. Space and place are seen as relational and dynamic, not as fixed and unchanging. Space and place are socially produced, and hence, can be contested, re-imagined and re-made. In bringing space and place into the frame of literacy studies we see a subtle shift – a rebalancing of the semiotic with the materiality of lived, embodied, and situated experience. ...

Turbulence and suspended sediment measurements in an urban environment during the Brisbane River flood of January 2011

In urbanised areas, the flood flows constitute a hazard to populations and infrastructure as illustrated during major floods in 2011. During the 2011 Brisbane River flood, some turbulent velocity data were collected using acoustic Doppler velocimetry in an inundated street. The field deployment showed some unusual features of flood flow in the urban environment. That is, the water elevations and velocities fluctuated with distinctive periods between 50 and 100 s linked with some local topographic effects. The instantaneous velocity data were analysed using a triple decomposition. The velocity fluctuations included a large energy component in the slow fluctuation range, while the turbulent motion components were much smaller. The suspended sediment data showed some significant longitudinal flux. Altogether the results highlighted that the triple decomposition approach originally developed for period flows is well suited to complicated flows in an inundated urban environment.

A systematic review of psychological interventions for excessive alcohol consumption among people with psychotic disorders

Objective: Excessive alcohol consumption is common among people with psychotic disorders. While there is an extensive literature on the efficacy of psychological treatments for excessive drinking, few studies have examined interventions addressing this issue among people with psychotic disorders. Method: Systematic searches in PubMed and PsycINFO were conducted to identify randomized controlled trials comparing manual guided psychological interventions for excessive alcohol consumption among individuals with psychotic disorders. Of the 429 articles identified, 7 met inclusion criteria. Data were extracted from each study regarding study sample characteristics, design, results, clinical significance of alcohol consumption results, and methodological limitations. Results: Assessment interviews, brief motivational interventions and lengthier cognitive behavior therapy have been associated with reductions in alcohol consumption among people with psychosis. While brief interventions (i.e., 1-2 sessions) were generally as effective as longer duration psychological interventions (i.e., 10 session) for reducing alcohol consumption, longer interventions provided additional benefits for depression, functioning and other alcohol outcomes. Conclusion: Excessive alcohol consumption among people with psychotic disorders is responsive to psychological interventions. It is imperative that such approaches are integrated within standard care for people with psychosis.