Analysis of indirect message injection for MAC generation using stream ciphers

This paper presents a model for generating a MAC tag with a stream cipher using the input message indirectly. Several recent proposals represent instances of this model with slightly different options. We investigate the security of this model for different options, and identify cases which permit forgery attacks. Based on this, we present a new forgery attack on version 1.4 of 128-EIA3. Design recommendations to enhance the security of proposals following this general model are given.

A protocol for the rapid isolation of full geminivirus genomes from dried plant tissue

A high-throughput method of isolating and cloning geminivirus genomes from dried plant material, by combining an Extract-n-Amp™-based DNA isolation technique with rolling circle amplification (RCA) of viral DNA, is presented. Using this method an attempt was made to isolate and clone full geminivirus genomes/genome components from 102 plant samples, including dried leaves stored at room temperature for between 6 months and 10 years, with an average hands-on-time to RCA-ready DNA of 15 min per 20 samples. While storage of dried leaves for up to 6 months did not appreciably decrease cloning success rates relative to those achieved with fresh samples, efficiency of the method decreased with increasing storage time. However, it was still possible to clone virus genomes from 47% of 10-year-old samples. To illustrate the utility of this simple method for high-throughput geminivirus diversity studies, six Maize streak virus genomes, an Abutilon mosaic virus DNA-B component and the DNA-A component of a previously unidentified New Word begomovirus species were fully sequenced. Genomic clones of the 69 other viruses were verified as such by end sequencing. This method should be extremely useful for the study of any circular DNA plant viruses with genome component lengths smaller than the maximum size amplifiable by RCA. © 2008 Elsevier B.V. All rights reserved.

Rapid host adaptation by extensive recombination

Experimental investigations into virus recombination can provide valuable insights into the biochemical mechanisms and the evolutionary value of this fundamental biological process. Here, we describe an experimental scheme for studying recombination that should be applicable to any recombinogenic viruses amenable to the production of synthetic infectious genomes. Our approach is based on differences in fitness that generally exist between synthetic chimaeric genomes and the wild-type viruses from which they are constructed. In mixed infections of defective reciprocal chimaeras, selection strongly favours recombinant progeny genomes that recover a portion of wild-type fitness. Characterizing these evolved progeny viruses can highlight both important genetic fitness determinants and the contribution that recombination makes to the evolution of their natural relatives. Moreover, these experiments supply precise information about the frequency and distribution of recombination breakpoints, which can shed light on the mechanistic processes underlying recombination. We demonstrate the value of this approach using the small single-stranded DNA geminivirus, maize streak virus (MSV). Our results show that adaptive recombination in this virus is extremely efficient and can yield complex progeny genomes comprising up to 18 recombination breakpoints. The patterns of recombination that we observe strongly imply that the mechanistic processes underlying rolling circle replication are the prime determinants of recombination breakpoint distributions found in MSV genomes sampled from nature. © 2009 SGM.

Experimental observations of rapid maize streak virus evolution reveal a strand-specific nucleotide substitution bias

Background. Recent reports have indicated that single-stranded DNA (ssDNA) viruses in the taxonomic families Geminiviridae, Parvoviridae and Anellovirus may be evolving at rates of ∼10-4 substitutions per site per year (subs/site/year). These evolution rates are similar to those of RNA viruses and are surprisingly high given that ssDNA virus replication involves host DNA polymerases with fidelities approximately 10 000 times greater than those of error-prone viral RNA polymerases. Although high ssDNA virus evolution rates were first suggested in evolution experiments involving the geminivirus maize streak virus (MSV), the evolution rate of this virus has never been accurately measured. Also, questions regarding both the mechanistic basis and adaptive value of high geminivirus mutation rates remain unanswered. Results. We determined the short-term evolution rate of MSV using full genome analysis of virus populations initiated from cloned genomes. Three wild type viruses and three defective artificial chimaeric viruses were maintained in planta for up to five years and displayed evolution rates of between 7.4 × 10-4 and 7.9 × 10-4 subs/site/year. Conclusion. These MSV evolution rates are within the ranges observed for other ssDNA viruses and RNA viruses. Although no obvious evidence of positive selection was detected, the uneven distribution of mutations within the defective virus genomes suggests that some of the changes may have been adaptive. We also observed inter-strand nucleotide substitution imbalances that are consistent with a recent proposal that high mutation rates in geminiviruses (and possibly ssDNA viruses in general) may be due to mutagenic processes acting specifically on ssDNA molecules. © 2008 Walt et al; licensee BioMed Central Ltd.

A general model for MAC generation using direct injection

This paper presents a model for generating a MAC tag by injecting the input message directly into the internal state of a nonlinear filter generator. This model generalises a similar model for unkeyed hash functions proposed by Nakano et al. We develop a matrix representation for the accumulation phase of our model and use it to analyse the security of the model against man-in-the-middle forgery attacks based on collisions in the final register contents. The results of this analysis show that some conclusions of Nakano et al regarding the security of their model are incorrect. We also use our results to comment on several recent MAC proposals which can be considered as instances of our model and specify choices of options within the model which should prevent the type of forgery discussed here. In particular, suitable initialisation of the register and active use of a secure nonlinear filter will prevent an attacker from finding a collision in the final register contents which could result in a forged MAC.

A conceptual model for reflecting on expected learning vs. demonstrated student performance

Educators are faced with many challenging questions in designing an effective curriculum. What prerequisite knowledge do students have before commencing a new subject? At what level of mastery? What is the spread of capabilities between bare-passing students vs. the top performing group? How does the intended learning specification compare to student performance at the end of a subject? In this paper we present a conceptual model that helps in answering some of these questions. It has the following main capabilities: capturing the learning specification in terms of syllabus topics and outcomes; capturing mastery levels to model progression; capturing the minimal vs. aspirational learning design; capturing confidence and reliability metrics for each of these mappings; and finally, comparing and reflecting on the learning specification against actual student performance. We present a web-based implementation of the model, and validate it by mapping the final exams from four programming subjects against the ACM/IEEE CS2013 topics and outcomes, using Bloom's Taxonomy as the mastery scale. We then import the itemised exam grades from 632 students across the four subjects and compare the demonstrated student performance against the expected learning for each of these. Key contributions of this work are the validated conceptual model for capturing and comparing expected learning vs. demonstrated performance, and a web-based implementation of this model, which is made freely available online as a community resource.

Rapid, long-distance dispersal by pumice rafting

Pumice is an extremely effective rafting agent that can dramatically increase the dispersal range of a variety of marine organisms and connect isolated shallow marine and coastal ecosystems. Here we report on a significant recent pumice rafting and long-distance dispersal event that occurred across the southwest Pacific following the 2006 explosive eruption of Home Reef Volcano in Tonga. We have constrained the trajectory, and rate, biomass and biodiversity of transfer, discovering more than 80 species and a substantial biomass underwent a .5000 km journey in 7–8 months. Differing microenvironmental conditions on the pumice, caused by relative stability of clasts at the sea surface, promoted diversity in biotic recruitment. Our findings emphasise pumice rafting as an important process facilitating the distribution of marine life, which have implications for colonisation processes and success, the management of sensitive marine environments, and invasive pest species.

What vs how : comparing students' testing and coding skills

The well-known difficulties students exhibit when learning to program are often characterised as either difficulties in understanding the problem to be solved or difficulties in devising and coding a computational solution. It would therefore be helpful to understand which of these gives students the greatest trouble. Unit testing is a mainstay of large-scale software development and maintenance. A unit test suite serves not only for acceptance testing, but is also a form of requirements specification, as exemplified by agile programming methodologies in which the tests are developed before the corresponding program code. In order to better understand students’ conceptual difficulties with programming, we conducted a series of experiments in which students were required to write both unit tests and program code for non-trivial problems. Their code and tests were then assessed separately for correctness and ‘coverage’, respectively. The results allowed us to directly compare students’ abilities to characterise a computational problem, as a unit test suite, and develop a corresponding solution, as executable code. Since understanding a problem is a pre-requisite to solving it, we expected students’ unit testing skills to be a strong predictor of their ability to successfully implement the corresponding program. Instead, however, we found that students’testing abilities lag well behind their coding skills.

Interpersonal coordination tendencies shape 1-vs-1 sub-phase performance outcomes in youth soccer

This study investigated the influence of interpersonal coordination tendencies on performance outcomes of 1-vs-1 subphases in youth soccer. Eight male developing soccer players (age: 11.8+0.4 years; training experience: 3.6+1.1 years) performed an in situ simulation of a 1-vs-1 sub-phase of soccer. Data from 82 trials were obtained with motion-analysis techniques, and relative phase used to measure the space-time coordination tendencies of attacker-defender dyads. Approximate entropy (ApEn) was then used to quantify the unpredictability of interpersonal interactions over trials. Results revealed how different modes of interpersonal coordination emerging from attacker-defender dyads influenced the 1-vs-1 performance outcomes. High levels of space-time synchronisation (47%) and unpredictability in interpersonal coordination processes (ApEn: 0.91+0.34) were identified as key features of an attacking player’s success. A lead-lag relation attributed to a defending player (34% around 7308 values) and a more predictable coordination mode (ApEn: 0.65+0.27, P50.001), demonstrated the coordination tendencies underlying the success of defending players in 1-vs-1 sub-phases. These findings revealed how the mutual influence of each player on the behaviour of dyadic systems shaped emergent performance outcomes. More specifically, the findings showed that attacking players should be constrained to exploit the space-time synchrony with defenders in an unpredictable and creative way, while defenders should be encouraged to adopt postures and behaviours that actively constrain the attacker’s actions.

Identifying an appropriate driving behaviour scale for the occupational driving context : the DBQ vs. the ODBQ

Self reported driving behaviour in the occupational driving context has typically been measured through scales adapted from the general driving population (i.e. the Manchester Driver Behaviour Questionnaire (DBQ)). However, research suggests that occupational driving is influenced by unique factors operating within the workplace environment, and thus, a behavioural scale should reflect those behaviours prevalent and unique within the driving context. To overcome this limitation, developed the Occupational Driver Behaviour Questionnaire (ODBQ) which utilises a relevant theoretical model to assess the impact of the broader workplace context on driving behaviour. Although the theoretical argument has been established, research is yet to examine whether the ODBQ or the DBQ is a more sensitive measure of the workplace context. As such, this paper identifies selected organisational factors (i.e. safety climate and role overload) as predictors of the DBQ and the ODBQ and compares the relative predictive value in both models. In undertaking this task, 248 occupational drivers were recruited from a community-oriented nursing population. As predicted, hierarchical regression analyses revealed that the organisational factors accounted for a significantly greater proportion of variance in the ODBQ than the DBQ. These findings offer a number of practical and theoretical applications for occupational driving practice and future research.

Autologous vs. allogenic mesenchymal progenitor cells for the reconstruction of critical-sized segmental tibial bone defects in aged sheep

Mesenchymal progenitor cells (MPCs) represent an attractive cell population for bone tissue engineering. Their special immunological characteristics suggest that MPCs may be used in an allogenic application. The objective of this study was to compare the regenerative potential of autologous vs. allogenic MPCs in an ovine critical-sized segmental defect model. Ovine MPCs were isolated from bone marrow aspirates, expanded and cultured with osteogenic media for two weeks before implantation. Autologous and allogenic transplantation was performed by using the cell-seeded scaffolds, unloaded scaffolds and the application of autologous bone grafts served as control groups (n=6). Bone healing was assessed twelve weeks after surgery by radiology, micro computed tomography, biomechanical testing and histology. Radiology, biomechanical testing and histology revealed no significant difference in bone formation between the autologous and allogenic group. Both cell groups showed more bone formation than the scaffold alone, whereas the biomechanical data showed no significant differences between the cell-groups and the unloaded scaffolds. The results of the study suggest that scaffold based bone tissue engineering using allogenic cells offers the potential for an off the shelf product. Therefore, the results of this study serve as an important baseline for the translation of the assessed concepts into clinical application.

A microscopic simulation model to estimate Bus Rapid Transit (BRT) station service capacity with mixed stopping and non-stopping bus operation

Bus Rapid Transit (BRT) station is the interface between passenger and service. The station is crucial to line operation as it is typically the only location where buses can pass each other. Congestion may occur here when buses maneuvering into and out of the platform lane interfere with bus flow, or when a queue of buses forms upstream of the platform lane blocking the passing lane. However, some systems include operation where express buses pass the critical station, resulting in a proportion of non stopping buses. It is important to understand the operation of the critical busway station under this type of operation, as it affects busway line capacity. This study uses micro simulation to treat the BRT station operation and to analyze the relationship between station Limit state bus capacity (B_ls), Total Bus Capacity (B_ttl). First, the simulation model is developed for Limit state scenario and then a mathematical model is defined, calibrated for a specified range of controlled scenarios of mean and coefficient of variation of dwell time. Thereafter, the proposed B_ls model is extended to consider non stopping buses and B_ttlmodel is defined. The proposed models provides better understanding to the BRT line capacity and is useful for transit authorities for designing better BRT operation.

Sustainable infrastructure procurement in Australia : standard vs. project practices

The Australian Government and most Australian road authorities have set ambitious greenhouse gas emission (GHGe) reduction targets for the near future, many of which have translated into action plans. However, previous research has shown that the various Australian state road authorities are at different stages of implementing ‘green’ initiatives in construction planning and development, with considerable gaps in their monitoring, tendering, and contracting. This study illustrates the differences between procurement standards and project specific practices that aim to reduce GHGe from road construction projects in three of the largest Australian road construction clients, with a focus on the tools used, contract type and incentives for better performance.

Rapid microwave-assisted synthesis of Mn3O4–graphene nanocomposite and its lithium storage properties

A nanocomposite of Mn3O4 wrapped in graphene sheets (GSs) was successfully synthesized via a facile, effective, energy-saving, and scalable microwave hydrothermal technique. The morphology and microstructures of the fabricated GS–Mn3O4 nanocomposite were characterized using various techniques. The results indicate that the particle size of the Mn3O4 particles in the nanocomposite markedly decreased to nearly 20 nm, significantly smaller than that for the bare Mn3O4. Electrochemical measurements demonstrated a high specific capacity of more than 900 mA h g−1 at 40 mA g−1, and excellent cycling stability with no capacity decay can be observed up to 50 cycles. All of these properties are also interpreted by experimental studies and theoretical calculations.