Security Analysis of Randomize-Hash-then-Sign Digital Signatures

At CRYPTO 2006, Halevi and Krawczyk proposed two randomized hash function modes and analyzed the security of digital signature algorithms based on these constructions. They showed that the security of signature schemes based on the two randomized hash function modes relies on properties similar to the second preimage resistance rather than on the collision resistance property of the hash functions. One of the randomized hash function modes was named the RMX hash function mode and was recommended for practical purposes. The National Institute of Standards and Technology (NIST), USA standardized a variant of the RMX hash function mode and published this standard in the Special Publication (SP) 800-106. In this article, we first discuss a generic online birthday existential forgery attack of Dang and Perlner on the RMX-hash-then-sign schemes. We show that a variant of this attack can be applied to forge the other randomize-hash-then-sign schemes. We point out practical limitations of the generic forgery attack on the RMX-hash-then-sign schemes. We then show that these limitations can be overcome for the RMX-hash-then-sign schemes if it is easy to find fixed points for the underlying compression functions, such as for the Davies-Meyer construction used in the popular hash functions such as MD5 designed by Rivest and the SHA family of hash functions designed by the National Security Agency (NSA), USA and published by NIST in the Federal Information Processing Standards (FIPS). We show an online birthday forgery attack on this class of signatures by using a variant of Dean’s method of finding fixed point expandable messages for hash functions based on the Davies-Meyer construction. This forgery attack is also applicable to signature schemes based on the variant of RMX standardized by NIST in SP 800-106. We discuss some important applications of our attacks and discuss their applicability on signature schemes based on hash functions with ‘built-in’ randomization. Finally, we compare our attacks on randomize-hash-then-sign schemes with the generic forgery attacks on the standard hash-based message authentication code (HMAC).

Side Channel Analysis of Some Hash Based MACs: A Response to SHA-3 Requirements

The forthcoming NIST’s Advanced Hash Standard (AHS) competition to select SHA-3 hash function requires that each candidate hash function submission must have at least one construction to support FIPS 198 HMAC application. As part of its evaluation, NIST is aiming to select either a candidate hash function which is more resistant to known side channel attacks (SCA) when plugged into HMAC, or that has an alternative MAC mode which is more resistant to known SCA than the other submitted alternatives. In response to this, we perform differential power analysis (DPA) on the possible smart card implementations of some of the recently proposed MAC alternatives to NMAC (a fully analyzed variant of HMAC) and HMAC algorithms and NMAC/HMAC versions of some recently proposed hash and compression function modes. We show that the recently proposed BNMAC and KMDP MAC schemes are even weaker than NMAC/HMAC against the DPA attacks, whereas multi-lane NMAC, EMD MAC and the keyed wide-pipe hash have similar security to NMAC against the DPA attacks. Our DPA attacks do not work on the NMAC setting of MDC-2, Grindahl and MAME compression functions.

Relationships between maternal overweight prior to pregnancy, feeding mode and infant feeding beliefs and practices

Aim To examine whether pre-pregnancy weight status was associated with maternal feeding beliefs and practices in the early post-partum period. Methods Secondary analysis of longitudinal data from Australian mothers. Participants (N=486) were divided into two weight status groups based on self-reported pre-pregnancy weight and measured height: healthy weight (BMI <25kg/m2; n=321) and overweight (BMI>25kg/m2; n=165). Feeding beliefs and practices were self-reported via an established questionnaire that assessed concerns about infant overeating and undereating, awareness of infant cues, feeding to a schedule, and using food to calm. Results Infants of overweight mothers were more likely to have been given solid foods in the previous 24hrs (29% vs 20%) and fewer were fully breastfed (50% vs 64%). Multivariable regression analyses (adjusted for maternal education, parity, average infant weekly weight gain, feeding mode and introduction of solids) revealed pre-pregnancy weight status was not associated with using food to calm, concern about undereating, awareness of infant cues or feeding to a schedule. However feeding mode was associated with feeding beliefs and practices. Conclusions Although no evidence for a relationship between maternal weight status and early maternal feeding beliefs and practices was observed, differences in feeding mode and early introduction of solids was observed. The emergence of a relationship between feeding practices and maternal weight status may occur when the children are older, solid feeding is established and they become more independent in feeding.

Incorporating complex train paths to an analysis of absolute capacity

Railways are an important mode of transportation. They are however large and complex and their construction, management and operation is time consuming and costly. Evidently planning the current and future activities is vital. Part of that planning process is an analysis of capacity. To determine what volume of traffic can be achieved over time, a variety of railway capacity analysis techniques have been created. A generic analytical approach that incorporates more complex train paths however has yet to be provided. This article provides such an approach. This article extends a mathematical model for determining the theoretical capacity of a railway network. The main contribution of this paper is the modelling of more complex train paths whereby each section can be visited many times in the course of a train’s journey. Three variant models are formulated and then demonstrated in a case study. This article’s numerical investigations have successively shown the applicability of the proposed models and how they may be used to gain insights into system performance.

Log delta analysis: Interpretable differencing of Business process event logs

This paper addresses the problem of identifying and explaining behavioral differences between two business process event logs. The paper presents a method that, given two event logs, returns a set of statements in natural language capturing behavior that is present or frequent in one log, while absent or infrequent in the other. This log delta analysis method allows users to diagnose differences between normal and deviant executions of a process or between two versions or variants of a process. The method relies on a novel approach to losslessly encode an event log as an event structure, combined with a frequency-enhanced technique for differencing pairs of event structures. A validation of the proposed method shows that it accurately diagnoses typical change patterns and can explain differences between normal and deviant cases in a real-life log, more compactly and precisely than previously proposed methods.

Structural complexity in structural health monitoring: Preliminary experimental modal testing and analysis

Many researchers in the field of civil structural health monitoring have developed and tested their methods on simple to moderately complex laboratory structures such as beams, plates, frames, and trusses. Field work has also been conducted by many researchers and practitioners on more complex operating bridges. Most laboratory structures do not adequately replicate the complexity of truss bridges. This paper presents some preliminary results of experimental modal testing and analysis of the bridge model presented in the companion paper, using the peak picking method, and compares these results with those of a simple numerical model of the structure. Three dominant modes of vibration were experimentally identified under 15 Hz. The mode shapes and order of the modes matched those of the numerical model; however, the frequencies did not match.

Normal reference values of strength in pelvic floor muscle of women: A descriptive and inferential study

Background To describe the clinical, functional and quality of life characteristics in women with Stress Urinary Incontinence (SUI). In addition, to analyse the relationship between the variables reported by the patients and those informed by the clinicians, and the relationship between instrumented variables and the manual pelvic floor strength assessment. Methods Two hundred and eighteen women participated in this observational, analytical study. An interview about Urinary Incontinence and the quality of life questionnaires (EuroQoL-5D and SF-12) were developed as outcomes reported by the patients. Manual muscle testing and perineometry as outcomes informed by the clinician were assessed. Descriptive and correlation analysis were carried out. Results The average age of the subjects was (39.93?±?12.27 years), (24.49?±?3.54 BMI). The strength evaluated by manual testing of the right levator ani muscles was 7.79?±?2.88, the strength of left levator ani muscles was 7.51?±?2.91 and the strength assessed with the perineometer was 7.64?±?2.55. A positive correlation was found between manual muscle testing and perineometry of the pelvic floor muscles (p?

Commuting mode choice in transit oriented development: Disentangling the effects of competitive neighbourhoods, travel attitudes, and self-selection

This research identifies the commuting mode choice behaviour of 3537 adults living in different types of transit oriented development (TOD) in Brisbane by disentangling the effects of their “evil twin” transit adjacent developments (TADs), and by also controlling for residential self-selection, travel attitudes and preferences, and socio-demographic effects. A TwoStep cluster analysis was conducted to identify the natural groupings of respondents’ living environment based on six built environment indicators. The analysis resulted in five types of neighbourhoods: urban TODs, activity centre TODs, potential TODs, TADs, and traditional suburbs. HABITAT survey data were used to derive the commute mode choice behaviour of people living in these neighbourhoods. In addition, statements reflecting both respondents’ travel attitudes and living preferences were also collected as part of the survey. Factor analyses were conducted based on these statements and these derived factors were then used to control for residential self-selection. Four binary logistic regression models were estimated, one for each of the travel modes used (e.g. public transport, active transport, less sustainable transport such as the car/taxi, and other), to differentiate between the commuting behaviour of people living in the five types of neighbourhoods. The findings verify that urban TODs enhance the use of public transport and reduce car usage. No significant difference was found in the commuting behaviour between respondents living in traditional suburbs and TADs. The results confirm the hypothesis that TADs are the “evil twin” of TODs. The data indicates that TADs and the mode choices of residents in these neighbourhoods is a missed transport policy opportunity. Further policy efforts are required for a successive transition of TADs into TODs in order to realise the full benefits of these. TOD policy should also be integrated with context specific TOD design principles.

A new twist on mode indicator functions

Mode indicator functions (MIFs) are used in modal testing and analysis as a means of identifying modes of vibration, often as a precursor to modal parameter estimation. Various methods have been developed since the MIF was introduced four decades ago. These methods are quite useful in assisting the analyst to identify genuine modes and, in the case of the complex mode indicator function, have even been developed into modal parameter estimation techniques. Although the various MIFs are able to indicate the existence of a mode, they do not provide the analyst with any descriptive information about the mode. This paper uses the simple summation type of MIF to develop five averaged and normalised MIFs that will provide the analyst with enough information to identify whether a mode is longitudinal, vertical, lateral or torsional. The first three functions, termed directional MIFs, have been noted in the literature in one form or another; however, this paper introduces a new twist on the MIF by introducing two MIFs, termed torsional MIFs, that can be used by the analyst to identify torsional modes and, moreover, can assist in determining whether the mode is of a pure torsion or sway type (i.e., having a rigid cross-section) or a distorted twisting type. The directional and torsional MIFs are tested on a finite element model based simulation of an experimental modal test using an impact hammer. Results indicate that the directional and torsional MIFs are indeed useful in assisting the analyst to identify whether a mode is longitudinal, vertical, lateral, sway, or torsion.

MR image-based measurement of rates of change in volumes of brain structures. Part II: Application to a study of Alzheimer's disease and normal aging

We present global and regional rates of brain atrophy measured on serially acquired Tl-weighted brain MR images for a group of Alzheimer's disease (AD) patients and age-matched normal control (NC) subjects using the analysis procedure described in Part I. Three rates of brain atrophy: the rate of atrophy in the cerebrum, the rate of lateral ventricular enlargement and the rate of atrophy in the region of temporal lobes, were evaluated for 14 AD patients and 14 age-matched NC subjects. All three rates showed significant differences between the two groups. However, the greatest separation of the two groups was obtained when the regional rates were combined. This application has demonstrated that rates of brain atrophy, especially in specific regions of the brain, based on MR images can provide sensitive measures for evaluating the progression of AD. These measures will be useful for the evaluation of therapeutic effects of novel therapies for AD.

Associations between individual socioeconomic position, neighbourhood disadvantage, and transport mode: Baseline results from the HABITAT multilevel study

Background Understanding how different socioeconomic indicators are associated with transport modes provide insight into which interventions might contribute to reducing socioeconomic inequalities in health. The purpose of this study was to examine associations between neighbourhood-level socioeconomic disadvantage, individual-level socioeconomic position (SEP) and usual transport mode. Methods This investigation included 11,036 residents from 200 neighbourhoods in Brisbane, Australia. Respondents self-reported their usual transport mode (car or motorbike, public transport, walking or cycling). Indicators for individual-level SEP were education, occupation, and household income; and neighbourhood disadvantage was measured using a census-derived index. Data were analysed using multilevel multinomial logistic regression. High SEP respondents and residents of the most advantaged neighbourhoods who used a private motor vehicle as their usual form of transport was the reference category. Results Compared with driving a motor vehicle, the odds of using public transport were higher for white collar employees (OR1.68, 95%CrI 1.41-2.01), members of lower income households (OR 1.71 95%CrI 1.25-2.30), and residents of more disadvantaged neighbourhoods (OR 1.93, 95%CrI 1.46-2.54); and lower for respondents with a certificate-level education (OR 0.60, 95%CrI 0.49-0.74) and blue collar workers (OR 0.63, 95%CrI 0.50-0.81). The odds of walking for transport were higher for the least educated (OR 1.58, 95%CrI 1.18-2.11), those not in the labour force (OR 1.94, 95%CrI 1.38-2.72), members of lower income households (OR 2.10, 95%CrI 1.23-3.64), and residents of more disadvantaged neighbourhoods (OR 2.73, 95%CrI 1.46-5.24). The odds of cycling were lower among less educated groups (OR 0.31, 95% CrI 0.19-0.48). Conclusion The relationships between socioeconomic characteristics and transport modes are complex, and provide challenges for those attempting to encourage active forms of transportation. Further work is required exploring the individual- and neighbourhood-level mechanisms behind transport mode choice, and what factors might influence individuals from different socioeconomic backgrounds to change to more active transport modes.

Generating benefits and negotiating tensions through an international doctoral forum: A sociological analysis

Workshops and seminars are widely-used forms of doctoral training. However, research with a particular focus on these forms of doctoral training is sporadic in the literature. There is no, if any, such research concerning the international context and participants’ own voices. Mindful of these lacunae in the literature, we write the current paper as a group of participants in one of a series of doctoral forums co-organised annually by Beijing Normal University, China and Queensland University of Technology, Australia. The paper voices our own experiences of participation in the doctoral forum. Data were drawn from reflections, journals, and group discussions of all 12 student and academic participants. These qualitative data were organised and analysed through Bourdieu’s notions of capital and field. Findings indicate that the doctoral forum created enabling and challenging social fields where participants accrued and exchanged various forms of capital and negotiated transient and complex power relations. In this respect, the sociological framework used provides a distinctive theoretical tool to conceptualise and analyse the benefits and tensions of participation in the doctoral forum. Knowledge built and lessons learned through our paper will provide implications and recommendations for future planning of, and participation in, the doctoral forum series and similar activities elsewhere.

Systematic review and meta-analysis of the effects of exercise for those with cancer-related lymphedema

Objective: To evaluate the effects of exercise on cancer-related lymphedema and related symptoms, and to determine the need for those with lymphedema to wear compression during exercise. Data Sources: CINAHL, Cochrane, Ebscohost, MEDLINE, Pubmed, ProQuest Health and Medical Complete, ProQuest Nursing and Allied Health Source, Science Direct and SPORTDiscus databases were searched for trials published prior to 1 January, 2015. Study Selection: Randomised and non-randomised, controlled trials, and single group pre-post studies published in English-language were included. Twenty-one (exercise) and four (compression and exercise) studies met inclusion criteria. Data Extraction: Data was extracted into tabular format using predefined data fields by one reviewer and assessed for accuracy by a second reviewer. Study quality was evaluated using the Effective Public Health Practice Project assessment tool. Data Synthesis: Data was pooled using a random effects model to assess the effects of acute and long-term exercise on lymphedema and lymphedema-associated symptoms, with subgroup analyses for exercise mode and intervention length. There was no effect of exercise (acute or intervention) on lymphedema or associated symptoms with standardised mean differences from all analyses ranging between −0.2 and 0.1 (p-values ≥0.22). Findings from subgroup analyses for exercise mode (aerobic, resistance, mixed, other) and intervention duration (>12 weeks or ≤12 weeks) were consistent with these findings; that is, no effect on lymphedema or associated symptoms. There were too few studies evaluating the effect of compression during regular exercise to conduct a meta-analysis. Conclusions: Individuals with secondary lymphedema can safely participate in progressive, regular exercise without experiencing a worsening of lymphedema or related-symptoms. However, the results also do not suggest any improvements will occur in lymphedema. At present, there is insufficient evidence to support or refute the current clinical recommendation to wear compression garments during regular exercise.

Analysis of effects of axial shortening of steel columns in frame structure

Steel columns in frame structure always carry heavy upcoming compressive forces. As a consequence, axial shortening becomes a common phenomenon in a multistoried steel structure. A 100 storied steel structure is analyzed in SAP2000 to study the magnitude overall effects of column shortening. It was found from the study that the maximum axial shortening occurs at the columns of top storey of the steel structure and at the columns of bottom storey, the axial deformation is negligible. The increasing rate of axial shortening is significant at the initial levels. However, at the upper levels, the amount of axial shortening in steel columns differs insignificantly. In the selected rigid frame structure, the axial shortening of adjacent steel columns is found to influence significantly the differential shortening of the structure. The consequent effect of differential shortening leads to develop excessive stress in the corner joints which ultimately hamper the normal behavior of the structural systems. The results are discussed elaborately in the paper.

Missing in space: An evaluation of imputation methods for missing data in spatial analysis of risk factors for type II diabetes

Background Spatial analysis is increasingly important for identifying modifiable geographic risk factors for disease. However, spatial health data from surveys are often incomplete, ranging from missing data for only a few variables, to missing data for many variables. For spatial analyses of health outcomes, selection of an appropriate imputation method is critical in order to produce the most accurate inferences. Methods We present a cross-validation approach to select between three imputation methods for health survey data with correlated lifestyle covariates, using as a case study, type II diabetes mellitus (DM II) risk across 71 Queensland Local Government Areas (LGAs). We compare the accuracy of mean imputation to imputation using multivariate normal and conditional autoregressive prior distributions. Results Choice of imputation method depends upon the application and is not necessarily the most complex method. Mean imputation was selected as the most accurate method in this application. Conclusions Selecting an appropriate imputation method for health survey data, after accounting for spatial correlation and correlation between covariates, allows more complete analysis of geographic risk factors for disease with more confidence in the results to inform public policy decision-making.