Multi-ciphersuite security of the Secure Shell (SSH) protocol

The Secure Shell (SSH) protocol is widely used to provide secure remote access to servers, making it among the most important security protocols on the Internet. We show that the signed-Diffie--Hellman SSH ciphersuites of the SSH protocol are secure: each is a secure authenticated and confidential channel establishment (ACCE) protocol, the same security definition now used to describe the security of Transport Layer Security (TLS) ciphersuites. While the ACCE definition suffices to describe the security of individual ciphersuites, it does not cover the case where parties use the same long-term key with many different ciphersuites: it is common in practice for the server to use the same signing key with both finite field and elliptic curve Diffie--Hellman, for example. While TLS is vulnerable to attack in this case, we show that SSH is secure even when the same signing key is used across multiple ciphersuites. We introduce a new generic multi-ciphersuite composition framework to achieve this result in a black-box way.

Applying the Haddon Matrix in the context of work-related road safety

The Haddon Matrix was developed in the 1960s road safety arena, and has since been used in many public health settings. The literature and two specific case studies are reviewed to describe the background to the Haddon Matrix, identify how it has been critiqued and developed over time and practical applications in the work-related road safety context. Haddon’s original focus on the road, vehicle and driver has been extended and applied to include organisational safety culture, journey management and wider issues in society that affect occupational drivers and the communities in which they work. The paper shows that the Haddon Matrix has been applied in many projects and contexts. Practical work-related road safety applications include providing a comprehensive systems-based safety management framework to inform strategy. It has also been used to structure the review or gap analysis of current programs and processes, identify and develop prevention measures and as a tool for effective post-event investigations.

Ranking based clustering for social event detection

The problem of clustering a large document collection is not only challenged by the number of documents and the number of dimensions, but it is also affected by the number and sizes of the clusters. Traditional clustering methods fail to scale when they need to generate a large number of clusters. Furthermore, when the clusters size in the solution is heterogeneous, i.e. some of the clusters are large in size, the similarity measures tend to degrade. A ranking based clustering method is proposed to deal with these issues in the context of the Social Event Detection task. Ranking scores are used to select a small number of most relevant clusters in order to compare and place a document. Additionally,instead of conventional cluster centroids, cluster patches are proposed to represent clusters, that are hubs-like set of documents. Text, temporal, spatial and visual content information collected from the social event images is utilized in calculating similarity. Results show that these strategies allow us to have a balance between performance and accuracy of the clustering solution gained by the clustering method.

Turning event logs into process movies: animating what has really happened

Today’s information systems log vast amounts of data. These collections of data (implicitly) describe events (e.g. placing an order or taking a blood test) and, hence, provide information on the actual execution of business processes. The analysis of such data provides an excellent starting point for business process improvement. This is the realm of process mining, an area which has provided a repertoire of many analysis techniques. Despite the impressive capabilities of existing process mining algorithms, dealing with the abundance of data recorded by contemporary systems and devices remains a challenge. Of particular importance is the capability to guide the meaningful interpretation of “oceans of data” by process analysts. To this end, insights from the field of visual analytics can be leveraged. This article proposes an approach where process states are reconstructed from event logs and visualised in succession, leading to an animated history of a process. This approach is customisable in how a process state, partially defined through a collection of activity instances, is visualised: one can select a map and specify a projection of events on this map based on the properties of the events. This paper describes a comprehensive implementation of the proposal. It was realised using the open-source process mining framework ProM. Moreover, this paper also reports on an evaluation of the approach conducted with Suncorp, one of Australia’s largest insurance companies.

The potential for new understandings of normal and abnormal cognition by integration of neuroimaging and behavioral data : Not an exercise in carrying coals to Newcastle

Discovering the means to prevent and cure schizophrenia is a vision that motivates many scientists. But in order to achieve this goal, we need to understand its neurobiological basis. The emergent metadiscipline of cognitive neuroscience fields an impressive array of tools that can be marshaled towards achieving this goal, including powerful new methods of imaging the brain (both structural and functional) as well as assessments of perceptual and cognitive capacities based on psychophysical procedures, experimental tasks and models developed by cognitive science. We believe that the integration of data from this array of tools offers the greatest possibilities and potential for advancing understanding of the neural basis of not only normal cognition but also the cognitive impairments that are fundamental to schizophrenia. Since sufficient expertise in the application of these tools and methods rarely reside in a single individual, or even a single laboratory, collaboration is a key element in this endeavor. Here, we review some of the products of our integrative efforts in collaboration with our colleagues on the East Coast of Australia and Pacific Rim. This research focuses on the neural basis of executive function deficits and impairments in early auditory processing in patients using various combinations of performance indices (from perceptual and cognitive paradigms), ERPs, fMRI and sMRI. In each case, integration of two or more sources of information provides more information than any one source alone by revealing new insights into structure-function relationships. Furthermore, the addition of other imaging methodologies (such as DTI) and approaches (such as computational models of cognition) offers new horizons in human brain imaging research and in understanding human behavior.

Targeting and transport : how microtubules control focal adhesion dynamics

Directional cell migration requires force generation that relies on the coordinated remodeling of interactions with the extracellular matrix (ECM), which is mediated by integrin-based focal adhesions (FAs). Normal FA turnover requires dynamic microtubules, and three members of the diverse group of microtubule plus-end-tracking proteins are principally involved in mediating microtubule interactions with FAs. Microtubules also alter the assembly state of FAs by modulating Rho GTPase signaling, and recent evidence suggests that microtubule-mediated clathrin-dependent and -independent endocytosis regulates FA dynamics. In addition, FA-associated microtubules may provide a polarized microtubule track for localized secretion of matrix metalloproteases (MMPs). Thus, different aspects of the molecular mechanisms by which microtubules control FA turnover in migrating cells are beginning to emerge.

SAIVT-ADMRG @ MediaEval 2014 social event detection

This paper outlines the approach taken by the Speech, Audio, Image and Video Technologies laboratory, and the Applied Data Mining Research Group (SAIVT-ADMRG) in the 2014 MediaEval Social Event Detection (SED) task. We participated in the event based clustering subtask (subtask 1), and focused on investigating the incorporation of image features as another source of data to aid clustering. In particular, we developed a descriptor based around the use of super-pixel segmentation, that allows a low dimensional feature that incorporates both colour and texture information to be extracted and used within the popular bag-of-visual-words (BoVW) approach.

Investigations of ultrafine particles emitted by ships and other transport modes in the port of Brisbane

This research measured particle and gaseous emissions from ships and trains operating within the Port of Brisbane, and explored their influence on ambient air composition at a downwind suburban measurement site. The ship and train emission factor investigations resulted in the development of novel measurement techniques which permit the quantification of particle and gaseous emission factors using samples collected from post-emission exhaust plumes. The urban influence investigation phase of the project produced a new approach to identifying influences from ship emissions.

Use of contract models to improve environmental outcomes in transport infrastructure construction

The type of contract model may have a significant influence on achieving project objectives, including environmental and climate change goals. This research investigates non-standard contract models impacting greenhouse gas emissions (GHG) in transport infrastructure construction in Australia. The research is based on the analysis of two case studies: an Early Contractor Involvement (ECI) contract and a Design and Construct (D&C) contract with GHG reduction requirements embedded in the contractor selection. Main findings support the use of ECIs for better integrating decisions made during the planning phase with the construction activities, and improve environmental outcomes while achieving financial and time savings. Key words: greenhouse gases reduction; road construction; contracting; ECI; D&C

Insurance and transport law : controlling insurance contract terms : Section 54 of the Insurance Contracts Act – compliance, recovery and accountability

Commonwealth legislation covering insurance contracts contains numerous provisions designed to control the operation and effect of terms in life and general insurance contracts. For example, the Life Insurance Act 1995 (Cth) contains provisions regulating the consequences attendant upon incorrect statements in proposals [1] and non-payment of premiums, [2] provides that an insurer may only exclude liability in the case of suicide if it has made express provision for such contingency in its policy, [3] and severely restricts the efficacy of conditions as to war risks. [4] The Insurance Contracts Act 1984 (Cth) is even more intrusive and has a major impact upon contractual provisions in the general insurance field. It is beyond the scope of this note to explore all of these provisions in any detail but examples of controls and constraints imposed upon the operation and effect of contractual provisions include the following. A party is precluded from relying upon a provision in a contract of insurance if such reliance would amount to a failure to act with the utmost good faith. [5] Similarly, a policy provision which requires differences or disputes arising out of the insurance to be submitted to arbitration is void, [6] unless the insurance is a genuine cover for excess of loss over and above another specified insurance. [7] Similarly clause such as conciliation clauses, [8] average clauses, [9] and unusual terms [10] are given qualified operation. [11] However the provision in the Insurance Contracts Act that has the greatest impact upon, and application to, a wide range of insurance clauses and claims is s 54. This section has already generated a significant volume of case law and is the focus of this note. In particular this note examines two recent cases. The first, Johnson v Triple C Furniture and Electrical Pty Ltd [2012] 2 Qd R 337, (hereafter the Triple C case), is a decision of the Queensland Court of Appeal; and the second, Matthew Maxwell v Highway Hauliers Pty Ltd [2013] WASCA 115, (hereafter the Highway Hauliers case), is a decision of the Court of Appeal in Western Australia. This latter decision is on appeal to the High Court of Australia. The note considers too the decision of the New South Wales Court of Appeal in Prepaid Services Pty Ltd v Atradius Credit Insurance NV [2013] NSWCA 252 (hereafter the Prepaid Services case).These cases serve to highlight the complex nature of s 54 and its application, as well as the difficulty in achieving a balance between an insurer and an insured's reasonable expectations.

Key influences on cycling for transport

Over recent years, the health, transport and environment sectors have been increasingly focused on the promotion of transport cycling. From a health perspective, transport cycling is recognised as a beneficial form of physical activity as it can be easily integrated into daily living, is done at an intensity that confers health benefits, and is associated with reductions in mortality and morbidity [1]. From a safety perspective, the risk of a serious cycling injury decreases as cycling increases [2] as having more cyclists on roads increases motor vehicle drivers’ awareness of cyclists and in turn makes cycling safer. Whereas cycling for recreation is the fourth most commonly reported physical activity among Australian adults [3], transport cycling is an underutilised travel mode. Approximately 1.3% of journeys to work in Australia are made by bicycle [4]. This low prevalence is mirrored in the UK and the US, but not in some European countries like the Netherlands and Denmark, where over 18% and 26%, respectively, of all journeys are made by bicycle [5]. In the past decade, concerted efforts have been made by Australian state and local governments to increase cycling rates [6]. Notably, Melbourne, Sydney and Brisbane have implemented policies, increased bicycle commuting infrastructure, and offered information and promotion programs to encourage commuter cycling [6,7]. Governments have also developed comprehensive longterm plans for guiding future cycling strategies, using lessons learned from around the world in developing successful cycling policy and promotion [6,7]. Changes in transport cycling rates in inner cities since these efforts have been implemented are encouraging. In Sydney, census data indicate an 83% increase in the number of people using a bicycle for commuting between 2001 and 2011 [8]. Counts of bicycles being ridden along major cycling commuter routes indicate increases in weekday morning cycling trips in Brisbane (63% increase from 2004 to 2010) [7] and in Melbourne (a 43% increase from 2006 to 2008) [9]. However, bicycle mode share to work has changed little: for example, between 2001 and 2011, it decreased slightly from 1.6% to 1.3% in Brisbane [10,11]. Researchers have been investigating factors that may be contributing to low rates of cycling for transport, to inform future policy and programming to encourage transport cycling. The aim of this paper is to overview our work to date in this area of research in Queensland.

Enhanced interfacial thermal transport across graphene–polymer interfaces by grafting polymer chains

Thermal transport in graphene-polymer nanocomposite is complicated and has not been well understood. The interfacial thermal transport between graphene nanofiller and polymer matrix is expected to play a key role in controlling the overall thermal performance of graphene-polymer nanocomposite. In this work, we investigated the thermal transport across graphene-polymer interfaces functionalized with end-grafted polymer chains using molecular dynamics simulations. The effects of grafting density, chain length and initial morphology on the interfacial thermal transport were systematically investigated. It was found that end-grafted polymer chains could significantly enhance interfacial thermal transport and the underlying mechanism was considered to be the enhanced vibration coupling between graphene and polymer. In addition, a theoretical model based on effective medium theory was established to predict the thermal conductivity in graphene-polymer nanocomposites.

Is it RIP for the IEP? The future of individual education plans in an era of accountability

This article presents a brief overview of the development of the Individual Education Plan (IEP) and prompts teachers to question its use and relevance in an era of accountability in Australian schools. Many Australian teachers do not realise that the IEP was adopted from the United States where is was legislated practice based on that country's Human Rights Legislation. It is not included in the Australian policy context. Though not embedded in the legislation of many other countries, it became a process and a product synonymous with the education of students with disability worldwide. In the era of standards-based education and curriculum for all, the relevance of the IEP process and product has been questioned or re-imaged in some Australian schools. The story of one school leader, Violet, is presented here as an example.

Community wide interventions for increasing physical activity

Background Multi-strategic community wide interventions for physical activity are increasingly popular but their ability to achieve population level improvements is unknown. Objectives To evaluate the effects of community wide, multi-strategic interventions upon population levels of physical activity. Search methods We searched the Cochrane Public Health Group Segment of the Cochrane Register of Studies,The Cochrane Library, MEDLINE, MEDLINE in Process, EMBASE, CINAHL, LILACS, PsycINFO, ASSIA, the British Nursing Index, Chinese CNKI databases, EPPI Centre (DoPHER, TRoPHI), ERIC, HMIC, Sociological Abstracts, SPORTDiscus, Transport Database and Web of Science (Science Citation Index, Social Sciences Citation Index, Conference Proceedings Citation Index). We also scanned websites of the EU Platform on Diet, Physical Activity and Health; Health-Evidence.org; the International Union for Health Promotion and Education; the NIHR Coordinating Centre for Health Technology (NCCHTA); the US Centre for Disease Control and Prevention (CDC) and NICE and SIGN guidelines. Reference lists of all relevant systematic reviews, guidelines and primary studies were searched and we contacted experts in the field. The searches were updated to 16 January 2014, unrestricted by language or publication status. Selection criteria Cluster randomised controlled trials, randomised controlled trials, quasi-experimental designs which used a control population for comparison, interrupted time-series studies, and prospective controlled cohort studies were included. Only studies with a minimum six-month follow up from the start of the intervention to measurement of outcomes were included. Community wide interventions had to comprise at least two broad strategies aimed at physical activity for the whole population. Studies which randomised individuals from the same community were excluded. Data collection and analysis At least two review authors independently extracted the data and assessed the risk of bias. Each study was assessed for the setting, the number of included components and their intensity. The primary outcome measures were grouped according to whether they were dichotomous (per cent physically active, per cent physically active during leisure time, and per cent physically inactive) or continuous (leisure time physical activity time (time spent)), walking (time spent), energy expenditure (as metabolic equivalents or METS)). For dichotomous measures we calculated the unadjusted and adjusted risk difference, and the unadjusted and adjusted relative risk. For continuous measures we calculated percentage change from baseline, unadjusted and adjusted. Main results After the selection process had been completed, 33 studies were included. A total of 267 communities were included in the review (populations between 500 and 1.9 million). Of the included studies, 25 were set in high income countries and eight were in low income countries. The interventions varied by the number of strategies included and their intensity. Almost all of the interventions included a component of building partnerships with local governments or non-governmental organisations (NGOs) (29 studies). None of the studies provided results by socio-economic disadvantage or other markers of equity. However, of those included studies undertaken in high income countries, 14 studies were described as being provided to deprived, disadvantaged or low socio-economic communities. Nineteen studies were identified as having a high risk of bias, 10 studies were unclear, and four studies had a low risk of bias. Selection bias was a major concern with these studies, with only five studies using randomisation to allocate communities. Four studies were judged as being at low risk of selection bias although 19 studies were considered to have an unclear risk of bias. Twelve studies had a high risk of detection bias, 13 an unclear risk and four a low risk of bias. Generally, the better designed studies showed no improvement in the primary outcome measure of physical activity at a population level. All four of the newly included, and judged to be at low risk of bias, studies (conducted in Japan, United Kingdom and USA) used randomisation to allocate the intervention to the communities. Three studies used a cluster randomised design and one study used a stepped wedge design. The approach to measuring the primary outcome of physical activity was better in these four studies than in many of the earlier studies. One study obtained objective population representative measurements of physical activity by accelerometers, while the remaining three low-risk studies used validated self-reported measures. The study using accelerometry, conducted in low income, high crime communities of USA, emphasised social marketing, partnership with police and environmental improvements. No change in the seven-day average daily minutes of moderate to vigorous physical activity was observed during the two years of operation. Some program level effect was observed with more people walking in the intervention community, however this result was not evident in the whole community. Similarly, the two studies conducted in the United Kingdom (one in rural villages and the other in urban London; both using communication, partnership and environmental strategies) found no improvement in the mean levels of energy expenditure per person per week, measured from one to four years from baseline. None of the three low risk studies reporting a dichotomous outcome of physical activity found improvements associated with the intervention. Overall, there was a noticeable absence of reporting of benefit in physical activity for community wide interventions in the included studies. However, as a group, the interventions undertaken in China appeared to have the greatest possibility of success with high participation rates reported. Reporting bias was evident with two studies failing to report physical activity measured at follow up. No adverse events were reported.The data pertaining to cost and sustainability of the interventions were limited and varied. Authors' conclusions Although numerous studies have been undertaken, there is a noticeable inconsistency of the findings in the available studies and this is confounded by serious methodological issues within the included studies. The body of evidence in this review does not support the hypothesis that the multi-component community wide interventions studied effectively increased physical activity for the population, although some studies with environmental components observed more people walking. Plain language summary Community wide interventions for increasing physical activity Not having enough physical activity leads to poorer health. Regular physical activity can reduce the risk of chronic disease and improve one's health and wellbeing. The lack of physical activity is a common and in some cases a growing health problem. To address this, 33 studies have used improvement activities directed at communities, using more than one approach in a single program. When we first looked at the available research in 2011 we observed that there was a lack of good studies which could show whether this approach was beneficial or not. Some studies claimed that community wide programs improved physical activities and other studies did not. In this update we found four new studies that were of good quality; however none of these four studies increased physical activity levels for the population. Some studies reported program level effects such as observing more people walking, however the population level of physical activity had not increased. This review found that community wide interventions are very difficult to undertake, and it appears that they usually fail to provide a measurable benefit in physical activity for a population. It is apparent that many of the interventions failed to reach a substantial portion of the community, and we speculate that some single strategies included in the combination may lack individual effectiveness. Laički sažetak Intervencije u zajednici za povećanje tjelesne aktivnosti Nedostatna tjelesna aktivnost povezana je s lošijim zdravljem.Redovita tjelesna aktivnost može umanjiti rizik od kroničnih bolesti te poboljšati zdravlje i kvalitetu života pojedinca.Manjak tjelesne aktivnosti čest je problem, a učestalost tog problema se povećava.Cochrane sustavni pregled je analizirao 33 studije koje su istražile programe za povećanje tjelesne aktivnosti u zajednici, u kojima se koristilo više od jednog pristupa.Kad su prvi put pregledani dokazi iz istraživanja koja su bila dostupna 2011. godine, utvrđeno je da nema dovoljno dobrih studija koje bi mogle pokazati je li takav pristup koristan ili ne.Primjerice, neke studije tvrde da programi za povećanje tjelesne aktivnosti u zajednici poboljšavaju tjelesnu aktivnost pojedinaca u zajednici, a druge studije tvrde suprotno.U ovom obnovljenom sustavnom pregledu pronađene su 4 nove studije koje su bile visoke kvalitete, ail nijedna od tih studija nije pokazala da je istraživana intervencija dovela do povećanja tjelesne aktivnosti u zajednici.Neke su studije opisale učinak na način da je opisano da je uočeno da više ljudi u zajednici hoda, međutim, ukupna razina tjelesne aktivnosti u promatranoj populaciji nije se povećala.Ovaj sustavni pregled je utvrdio da je intervencije za povećanje tjelesne aktivnosti u zajednici teško provesti i čini se da one obično ne uspijevaju u svojoj namjeri da na mjerljiv način povećaju tjelesnu aktivnost u populaciji.Čini se da mnoge intervencije nisu uspjele doseći veći broj stanovnika u zajednici pa se može smatrati da neke od strategija uključene u analizirane kombinacije nisu zasebno učinkovite.

Predicting flow and transport in highly heterogeneous alluvial aquifers

Successful prediction of groundwater flow and solute transport through highly heterogeneous aquifers has remained elusive due to the limitations of methods to characterize hydraulic conductivity (K) and generate realistic stochastic fields from such data. As a result, many studies have suggested that the classical advective-dispersive equation (ADE) cannot reproduce such transport behavior. Here we demonstrate that when high-resolution K data are used with a fractal stochastic method that produces K fields with adequate connectivity, the classical ADE can accurately predict solute transport at the macrodispersion experiment site in Mississippi. This development provides great promise to accurately predict contaminant plume migration, design more effective remediation schemes, and reduce environmental risks. Key Points Non-Gaussian transport behavior at the MADE site is unraveledADE can reproduce tracer transport in heterogeneous aquifers with no calibrationNew fractal method generates heterogeneous K fields with adequate connectivity