An automated tool for assessing security-critical designs and programs

This paper describes in detail our Security-Critical Program Analyser (SCPA). SCPA is used to assess the security of a given program based on its design or source code with regard to data flow-based metrics. Furthermore, it allows software developers to generate a UML-like class diagram of their program and annotate its confidential classes, methods and attributes. SCPA is also capable of producing Java source code for the generated design of a given program. This source code can then be compiled and the resulting Java bytecode program can be used by the tool to assess the program's overall security based on our security metrics.

Security assessment of code refactoring rules

Refactoring is a common approach to producing better quality software. Its impact on many software quality properties, including reusability, maintainability and performance, has been studied and measured extensively. However, its impact on the information security of programs has received relatively little attention. In this work, we assess the impact of a number of the most common code-level refactoring rules on data security, using security metrics that are capable of measuring security from the viewpoint of potential information flow. The metrics are calculated for a given Java program using a static analysis tool we have developed to automatically analyse compiled Java bytecode. We ran our Java code analyser on various programs which were refactored according to each rule. New values of the metrics for the refactored programs then confirmed that the code changes had a measurable effect on information security.

Green crime and the role of environmental courts

Environmental issues continue to capture international headlines and remain the subject of intense intellectual, political and public debate. As a result, environmental law is widely recognised as the fastest growing area of international jurisprudence. This, combined with the rapid expansion of environmental agreements and policies, has created a burgeoning landscape of administrative, regulatory and judicial regimes. Emerging from these developments are increases in environmental offences, and more recently environmental crimes. The judicial processing of environmental or ‘green’ crimes is rapidly developing across many jurisdictions. Since 1979, Australia has played a lead role in criminal justice processing of environment offences through the New South Wales Land and Environment Court (NSW LEC). This article draws on case data, observations and interviews with court personnel, to examine the ways in which environmental justice is now administered through the existing court structures, and how it has changed since the Court’s inception.

Planar difference functions

In 1980 Alltop produced a family of cubic phase sequences that nearly meet the Welch bound for maximum non-peak correlation magnitude. This family of sequences were shown by Wooters and Fields to be useful for quantum state tomography. Alltop’s construction used a function that is not planar, but whose difference function is planar. In this paper we show that Alltop type functions cannot exist in fields of characteristic 3 and that for a known class of planar functions, x^3 is the only Alltop type function.

Tenofovir-associated proteinuria

Proteinuria was observed in 27% of 153 patients taking tenofovir for more than 1 year. Concomitant protease inhibitor therapy and cumulative tenofovir exposure were independently associated with proteinuria in this cohort. Proteinuria was reversible in 11 of 12 patients who ceased tenofovir because of proteinuria without altering other medications. Clinicians should be aware that tenofovir can cause reversible proteinuria in patients with HIV.

Ureaplasma parvum serovar 3 multiple banded antigen size variation after chronic intra-amniotic infection/colonization

Ureaplasma species are the microorganisms most frequently associated with adverse pregnancy outcomes. The multiple banded antigen (MBA), a surface-exposed lipoprotein, is a key virulence factor of ureaplasmas. The MBA demonstrates size variation, which we have shown previously to be correlated with the severity of chorioamnion inflammation. We aimed to investigate U. parvum serovar 3 pathogenesis in vivo, using a sheep model, by investigating: MBA variation after long term (chronic) and short term (acute) durations of in utero ureaplasma infections, and the severity of chorioamnionitis and inflammation in other fetal tissues. Inocula of 2x107 colony-forming-units (CFU) of U. parvum serovar 3 (Up) or media controls (C) were injected intra-amniotically into pregnant ewes at one of three time points: day 55 (69d Up, n=8; C69, n=4); day 117 (7d Up, n=8; C7, n=2); and day 121 (3d Up, n=8; C3, n=2) of gestation (term=145-150d). At day 124, preterm fetuses were delivered surgically. Samples of chorioamnion, fetal lung, and umbilical cord were: (i) snap frozen for subsequent ureaplasma culture, and (ii) fixed, embedded, sectioned and stained by haematoxylin and eosin stain for histological analysis. Selected fetal lung clinical ureaplasma isolates were cloned and filtered to obtain cultures from a single CFU. Passage 1 and clone 2 ureaplasma cultures were tested by western blot to demonstrate MBA variation. In acute durations of ureaplasma infection no MBA variants (3d Up) or very few MBA variants (7d Up) were present when compared to the original inoculum. However, numerous MBA size variants were generated in vivo (alike within contiguous tissues, amniotic fluid and fetal lung, but different variants were present within chorioamnion), during chronic, 69d exposure to ureaplasma infection. For the first time we have shown that the degree of ureaplasma MBA variation in vivo increased with the duration of gestation.

Emerging Issues in Green Criminology : Exploring Power, Justice and Harm

This edited collection brings together internationally recognized scholars to explore Green Criminology through interdisciplinary lenses of power, justice and harm. The chapters provide innovative case study analyses from North America, Europe and Australia that seek to advance theoretical, policy and practice discourses about environmental harm. This book brings together transnational debates in environmental law, policy and justice. In doing so, it examines international agreements and policy within diverse environmental discourses of sociology, criminology and political economy.

Crime and the commodification of carbon

Carbon will be the world's biggest market. Barclays was the first UK bank to set up a dedicated carbon trading desk to help clients, and Barclays Capital is the most active player in the emissions trading market having traded 300 million tonnes as at February 2007. (Barclays, 2007: 1)