ASICS : authenticated key exchange security incorporating certification systems

Most security models for authenticated key exchange (AKE) do not explicitly model the associated certification system, which includes the certification authority (CA) and its behaviour. However, there are several well-known and realistic attacks on AKE protocols which exploit various forms of malicious key registration and which therefore lie outside the scope of these models. We provide the first systematic analysis of AKE security incorporating certification systems (ASICS). We define a family of security models that, in addition to allowing different sets of standard AKE adversary queries, also permit the adversary to register arbitrary bitstrings as keys. For this model family we prove generic results that enable the design and verification of protocols that achieve security even if some keys have been produced maliciously. Our approach is applicable to a wide range of models and protocols; as a concrete illustration of its power, we apply it to the CMQV protocol in the natural strengthening of the eCK model to the ASICS setting.

Carbon dioxide reforming of methane to produce synthesis gas over metal-supported catalysts: State of the art

Carbon dioxide reforming of methane produces synthesis gas with a low hydrogen to carbon monoxide ratio, which is desirable for many industrial synthesis processes. This reaction also has very important environmental implications since both methane and carbon dioxide contribute to the greenhouse effect. Converting these gases into a valuable feedstock may significantly reduce the atmospheric emissions of CO2 and CH4. In this paper, we present a comprehensive review on the thermodynamics, catalyst selection and activity, reaction mechanism, and kinetics of this important reaction. Recently, research has centered on the development of catalysts and the feasible applications of this reaction in industry. Group VIII metals supported on oxides are found to be effective for this reason. However, carbon deposition causing catalyst deactivation is the major problem inhibiting the industrial application of the CO2/CH4 reaction. Ni-based catalysts impregnated on certain supports show carbon-free operation and thus attract much attention. To develop an effective catalyst for CO2 reforming of CH4 and accelerate the commercial application of the reaction, the following are identified to be the most important areas for future work: (1) selection of metal and support and studying the effect of their interaction on catalyst activity; (2) the effect of different promoter on catalyst activity; (3) the reaction mechanism and kinetics; and (4) pilot reactor performance and scale-up operation.

Influence of nitrogen fertiliser application and timing on greenhouse gas emissions from a lychee (Litchi chinensis) orchard in humid subtropical Australia

Nitrous oxide emissions from intensive, fertilised agricultural systems have been identified as significant contributors to both Australia's and the global greenhouse gas (GHG) budget. This is expected to increase as rates of agriculture intensification and land use change accelerate to support population growth and food production. Limited data exists on N2O trace gas fluxes from subtropical or tropical tree cropping soils critical for the development of effective mitigation strategies.This study aimed to quantify GHG emissions over two consecutive years (March 2007 to March 2009) from a 30 year (lychee) orchard in the humid subtropical region of Australia. GHG fluxes were measured using a combination of high temporal resolution automated sampling and manually sampled chambers. No fertiliser was added to the plots during the 2007 measurement season. A split application of nitrogen fertiliser (urea) was added at the rate of 265kgNha-1 during the autumn and spring of 2008. Emissions of N2O were influenced by rainfall events and seasonal temperatures during 2007 and the fertilisation events in 2008. Annual N2O emissions from the lychee canopy increased from 1.7kgN2O-Nha-1yr-1 for 2007, to 7.6kgN2O-Nha-1yr-1 following fertiliser application in 2008. This represented an emission factor of 1.56%, corrected for background emissions. The timing of the split application was found to be critical to N2O emissions, with over twice as much lost following an application in spring (2.44%) compared to autumn (EF: 1.10%). This research suggests that avoiding fertiliser application during the hot and moist spring/summer period can reduce N2O losses without compromising yields.

Variation in leaf morphology of the invasive cat's claw creeper Dolichandra unguis-cati (Bignoniaceae)

The invasive liana cat’s claw creeper Dolichandra unguis-cati (L.) L.G. Lohmann (syn. Macfadyena unguis-cati (L.) A.H. Gentry) exhibits intraspecific variation in leaf morphology, but this is rarely noted in the published literature. The present study documents variation in leaf morphology in two forms of the species that occur in Australia (long pod and short pod). Leaf morphology is compared between the two forms and the position of the shoots (trunk and ground) at the only two sites in which they co-occur. Leaves were categorised on the basis of leaflet number and the presence or absence of tendrils. Simple leaves were produced mainly on shoots growing along the ground and were more abundant in the short-pod form. Long-pod plants were dominated by bifoliate leaves with tendrils. Cat’s claw creeper exhibits considerably wider variation in leaf morphology than recorded previously. Variations in leaf morphology may be linked to differences in the genotype, developmental stage and plastic responses of the plants. Understanding these variations may have implications for taxonomic delimitation and improved management, particularly biological control involving leaf-feeding insects.

The effect of olive leaf extract on platelet function

Background Epidemiological studies have shown a reduced incidence of cardiovascular disease in the Mediterranean population attributed to the consumption of dietary olive oil rich in antioxidants. This has lead to increased interest in the antioxidant properties of other phenolic compounds of olive tree products. It has been suggested that olive leaf extract may also have health benefits due to its antioxidant and anti-inflammatory activities. Antioxidants can prevent the effects of oxidative metabolism by scavenging free radicals and decreasing the hyperactivity of platelets associated with the development of occlusive thrombosis. No studies to date have investigated the effects of olive leaf extract on platelet function to our knowledge. Improved understanding of the antioxidant properties of olive leaf extract and its effect on platelet function could lead to improved cardiovascular health. Objective The current study used an olive leaf extract prepared from the Olea europaea L. tree. The aim was to determine if polyphenols in olive leaf extract would reduce platelet activity and, to establish an optimal dose in vitro that would reduce platelet aggregation and ATP release. Design Eleven subjects with normal platelet counts (150–400 x 109/L) were recruited for the current in vitro study. Olive leaf extract was added to citrated whole blood to obtain five concentrations ranging from 5.4 ug/mL to 54.0 ug/mL for a dose response curve. Baseline samples, without olive leaf extract were used as a negative control for each subject. After 2 hours incubation with olive leaf extract samples were analyzed for platelet aggregation and ATP release from platelets stimulated by the addition of collagen. Results Whole blood analysis (n=11) showed a clear dose-dependant reduction in platelet aggregation with the increasing olive leaf extract concentrations (p<0.0001). There was also a similar decrease in ATP release from collagen stimulated platelets (p=0.02). Conclusion In the current study the olive leaf extract obtained from Olea europaea L. inhibited platelet aggregation and ATP release from collagen stimulated platelets in vitro. This study suggests olive leaf extract may prevent occlusive thrombosis by reducing platelet hyperactivity.

Fuel consumption and gas emissions of an automatic transmission vehicle following simple eco-driving instructions on urban roads

Following eco-driving instructions can reduce fuel consumption between 5 to 20% on urban roads with manual cars. The majority of Australian cars have an automatic transmission gear-box. It is therefore of interest to verify whether current eco-driving instructions are e cient for such vehicles. In this pilot study, participants (N=13) drove an instrumented vehicle (Toyota Camry 2007) with an automatic transmission. Fuel consumption of the participants was compared before and after they received simple eco-driving instructions. Participants drove the same vehicle on the same urban route under similar tra c conditions. We found that participants drove at similar speeds during their baseline and eco-friendly drives, and reduced the level of their accelerations and decelerations during eco-driving. Fuel consumption decreased for the complete drive by 7%, but not on the motorway and inclined sections of the study. Gas emissions were estimated with the VT-micro model, and emissions of the studied pollutants (CO2, CO, NOX and HC) were reduced, but no di erence was observed for CO2 on the motorway and inclined sections. The di erence for the complete lap is 3% for CO2. We have found evidence showing that simple eco-driving instructions are e cient in the case of automatic transmission in an urban environment, but towards the lowest values of the spectrum of fuel consumption reduction from the di erent eco-driving studies.

Precedent-free fault isolation in a diesel engine exhaust gas recirculation system

In this paper, a recently introduced model-based method for precedent-free fault detection and isolation (FDI) is modified to deal with multiple input, multiple output (MIMO) systems and is applied to an automotive engine with exhaust gas recirculation (EGR) system. Using normal behavior data generated by a high fidelity engine simulation, the growing structure multiple model system (GSMMS) approach is used to construct dynamic models of normal behavior for the EGR system and its constituent subsystems. Using the GSMMS models as a foundation, anomalous behavior is detected whenever statistically significant departures of the most recent modeling residuals away from the modeling residuals displayed during normal behavior are observed. By reconnecting the anomaly detectors (ADs) to the constituent subsystems, EGR valve, cooler, and valve controller faults are isolated without the need for prior training using data corresponding to particular faulty system behaviors.

Auto-inhibition of hydrogen gas evolution on gold in aqueous acid solution

It was demonstrated recently that dramatic changes in the redox behaviour of gold/aqueous solution interfaces may be observed following either cathodic or thermal electrode pretreatment. Further work on the cathodic pretreatment of gold in acid solution revealed that as the activity of the gold surface was increased, its performance as a substrate for hydrogen gas evolution under constant potential conditions deteriorated. The change in activity of the gold atoms at the interface, which was attributed to a hydrogen embrittlement process (the occurrence of the latter was subsequently checked by surface microscopy), was confirmed, as in earlier work, by the appearance of a substantial anodic peak at ca. 0.5 V (RHE) in a post-activation positive sweep. Changes in the catalytic activity of a metal surface reflect the fact that the structure (or topography), thermodynamic activity and electronic properties of a surface are dependent not only on pretreatment but also, in the case of the hydrogen evolution reaction, vary with time during the course of reaction. As will be reported shortly, similar (and often more dramatic) time-dependent behaviour was observed for hydrogen gas evolution on other metal electrodes.

Students' cultural capital : a study of assessment for learning as a field of exchange

This study was conducted within the context of a flexible education institution where conventional educational assessment practices and tests fail to recognise and assess the creativity and cultural capital of a cohort of marginalised young people. A new assessment model which included an electronic-portfolio-social-networking system (EPS) was developed and trialled to identify and exhibit evidence of students' learning. The study aimed to discern unique forms of cultural capital (Bourdieu, 1986) possessed by students who attend the Edmund Rice Education Australia Flexible Learning Centre Network (EREAFLCN). The EPS was trialled at the case study schools in an intervention and developed a space where students could make evident culturally specific forms of capital and funds of knowledge (Gonzalez, Moll, & Amanti, 2005). These resources were evaluated, modified and developed through dialogic processes utilising assessment for learning approaches (Qualifications and Curriculum Development Agency, 2009) in online and classroom settings. Students, peers and staff engaged in the recognition, judgement, revision and evaluation of students' cultural capital in a subfield of exchange (Bourdieu, 1990). The study developed the theory of assessment for learning as a field of exchange incorporating an online system as a teaching and assessment model. The term efield has been coined to describe this particular capital exchange model. A quasi-ethnographic approach was used to develop a collective case study (Stake, 1995). This case study involved an in-depth exploration of five students' forms of cultural capital and the ways in which this capital could be assessed and exchanged using the efield model. A comparative analysis of the five cases was conducted to identify the emergent issues of students' recognisable cultural capital resources and the processes of exchange that can be facilitated to acquire legitimate credentials for these students in the Australian field of education. The participants in the study were young people at two EREAFLC schools aged between 12 and 18 years. Data was collected through interviews, observations and examination of documents made available by the EREAFLCN. The data was coded and analysed using a theoretical framework based on Bourdieu's analytical tools and a sociocultural psychology theoretical perspective. Findings suggest that processes based on dialogic relationships can identify and recognise students' forms of cultural capital that are frequently misrecognised in mainstream school environments. The theory of assessment for learning as a field of exchange was developed into praxis and integrated in an intervention. The efield model was found to be an effective sociocultural tool in converting and exchanging students' capital resources for legitimated cultural and symbolic capital in the field of education.

Design and flight testing of an integrated solar powered UAV and WSN for remote gas sensing

This paper describes a generic and integrated solar powered remote Unmanned Air Vehicles (UAV) and Wireless Sensor Network (WSN) gas sensing system. The system uses a generic gas sensing system for CH4 and CO2 concentrations using metal oxide (MoX) and non-dispersive infrared sensors, and a new solar cell encapsulation method to power the UASs as well as a data management platform to store, analyse and share the information with operators and external users. The system was successfully field tested at ground and low altitudes, collecting, storing and transmitting data in real time to a central node for analysis and 3D mapping. The system can be used in a wide range of outdoor applications, especially in agriculture, bushfires, mining studies, opening the way to a ubiquitous low cost environmental monitoring. A video of the bench and flight test performed can be seen in the following link https://www.youtube.com/watch?v=Bwas7stYIxQ.

Cloud computing : what upstream oil and gas can learn from other industries

The topic of “the cloud” has attracted significant attention throughout the past few years (Cherry 2009; Sterling and Stark 2009) and, as a result, academics and trade journals have created several competing definitions of “cloud computing” (e.g., Motahari-Nezhad et al. 2009). Underpinning this article is the definition put forward by the US National Institute of Standards and Technology, which describes cloud computing as “a model for enabling ubiquitous, convenient, on-demand network access to a shared pool of configurable computing resources that can be rapidly provisioned and released with minimal management effort or service provider interaction” (Garfinkel 2011, p. 3). Despite the lack of consensus about definitions, however, there is broad agreement on the growing demand for cloud computing. Some estimates suggest that spending on cloudrelated technologies and services in the next few years may climb as high as USD 42 billion/year (Buyya et al. 2009).

The Yd2 resistance to barley yellow dwarf virus is effective in barley plants but not in their leaf protoplasts

The Yd2 gene for “resistance” to barley yellow dwarf virus (BYDV) has been widely used in barley (Hordeum vulgare). We have tested Australian isolates of BYDV of varying severity against barley genotypes with and without the Yd2 gene and report here a positive relationship between symptoms and virus levels determined by ELISA. Cultivar Shannon is the result of backcrossing the resistant line CI 3208 to cultivar Proctor, a susceptible line. It appears to be intermediate in reaction to BYDV between Proctor and CI 3208, although it carries the major gene, Yd2. Unlike the whole plant studies, no significant differences were observed with regard to the ability of protoplasts derived from these various genotypes to support BYDV replication. It is therefore demonstrated for the first time that the Yd2 gene is not among the small number of resistance genes which are effective against virus replication in isolated protoplasts.

How does innovation happen in the upstream oil & gas industry? Insights from a global survey

Few would argue that the upstream oil & gas industry has become more technology-intensive over the years. But how does innovation happen in the industry? Specifically, what ideas and inputs flow from which parts of the sector’s value network, and where do these inputs go? And how do firms and organizations from different countries contribute differently to this process? This paper puts forward the results of a survey designed to shed light on these issues. A joint research initiative between the Society of Petroleum Engineers and the Queensland University of Technology, the survey was sent to 469 executives and senior managers who played a significant role with regards to R&D and/or technology deployment in their respective business units. A total of 199 responses were received from a broad range of organizations and countries around the world. Several interesting themes and trends emerge from the results, including: (1) service companies tend to file considerably more patents per innovation than other types of organization; (2) over 63% of the deployed innovations reported in the survey originated in service companies; (3) neither universities nor government-led research organizations are considered to be valuable sources of new information and knowledge in the industry’s R&D initiatives; and (4) despite the increasing degree of globalization in the marketplace, the USA still plays an extremely dominant role in the industry’s overall R&D and technology deployment activities. By providing a detailed snapshot of how innovation happens in the upstream oil & gas sector, this paper provides a valuable foundation for future investigations and discussions aimed at improving how R&D and technology deployment are managed within the industry.

Climate change and IMO technical and operational measures for reduction of emissions of greenhouse gas from ships

According to a study conducted by the International Maritime organisation (IMO) shipping sector is responsible for 3.3% of the global Greenhouse Gas (GHG) emissions. The 1997 Kyoto Protocol calls upon states to pursue limitation or reduction of emissions of GHG from marine bunker fuels working through the IMO. In 2011, 14 years after the adoption of the Kyoto Protocol, the Marine Environment Protection Committee (MEPC) of the IMO has adopted mandatory energy efficiency measures for international shipping which can be treated as the first ever mandatory global GHG reduction instrument for an international industry. The MEPC approved an amendment of Annex VI of the 1973 International Convention for the Prevention of Pollution from Ships (MARPOL 73/78) to introduce a mandatory Energy Efficiency Design Index (EEDI) for new ships and the Ship Energy Efficiency Management Plan (SEEMP) for all ships. Considering the growth projections of human population and world trade the technical and operational measures may not be able to reduce the amount of GHG emissions from international shipping in a satisfactory level. Therefore, the IMO is considering to introduce market-based mechanisms that may serve two purposes including providing a fiscal incentive for the maritime industry to invest in more energy efficient manner and off-setting of growing ship emissions. Some leading developing countries already voiced their serious reservations on the newly adopted IMO regulations stating that by imposing the same obligation on all countries, irrespective of their economic status, this amendment has rejected the Principle of Common but Differentiated Responsibility (the CBDR Principle), which has always been the cornerstone of international climate change law discourses. They also claimed that negotiation for a market based mechanism should not be continued without a clear commitment from the developed counters for promotion of technical co-operation and transfer of technology relating to the improvement of energy efficiency of ships. Against this backdrop, this article explores the challenges for the developing counters in the implementation of already adopted technical and operational measures.

IMO technical and operational measures for reduction of emissions of greenhouse gas from ships : perspectives of Asian countries

International shipping is responsible for about 2.7% of the global emissions of CO2. In the absence of proper action, emissions from the maritime sector may grow by 150% to 250% by 2050, in comparison with the level of emissions in 2007. Against this backdrop, the International Maritime Organisation has introduced a mandatory Energy Efficiency Design Index (EEDI) for new ships and the Ship Energy Efficiency Management Plan (SEEMP) for all ships. Some Asian countries have voiced serious reservations about the newly adopted IMO regulations. They have suggested that imposing the same obligations on all countries, irrespective of their economic status, is a serious departure from the Principle of Common but Differentiated Responsibility, which has always been the cornerstone of international climate change law discourse. Against this backdrop, this article presents a brief overview of the technical and operational measures from the perspective of Asian countries.