Security analysis of the non-aggressive challenge response of the DNP3 Protocol using a CPN Model

Distributed Network Protocol Version 3 (DNP3) is the de-facto communication protocol for power grids. Standard-based interoperability among devices has made the protocol useful to other infrastructures such as water, sewage, oil and gas. DNP3 is designed to facilitate interaction between master stations and outstations. In this paper, we apply a formal modelling methodology called Coloured Petri Nets (CPN) to create an executable model representation of DNP3 protocol. The model facilitates the analysis of the protocol to ensure that the protocol will behave as expected. Also, we illustrate how to verify and validate the behaviour of the protocol, using the CPN model and the corresponding state space tool to determine if there are insecure states. With this approach, we were able to identify a Denial of Service (DoS) attack against the DNP3 protocol.

Universal codes from switching strategies

We discuss algorithms for combining sequential prediction strategies, a task which can be viewed as a natural generalisation of the concept of universal coding. We describe a graphical language based on Hidden Markov Models for defining prediction strategies, and we provide both existing and new models as examples. The models include efficient, parameterless models for switching between the input strategies over time, including a model for the case where switches tend to occur in clusters, and finally a new model for the scenario where the prediction strategies have a known relationship, and where jumps are typically between strongly related ones. This last model is relevant for coding time series data where parameter drift is expected. As theoretical contributions we introduce an interpolation construction that is useful in the development and analysis of new algorithms, and we establish a new sophisticated lemma for analysing the individual sequence regret of parameterised models.

Survival models of community tenure and length of hospital stay for the seriously mentally ill : a 10-year perspective

Objective: To examine the effects of personal and community characteristics, specifically race and rurality, on lengths of state psychiatric hospital and community stays using maximum likelihood survival analysis with a special emphasis on change over a ten year period of time. Data Sources: We used the administrative data of the Virginia Department of Mental Health, Mental Retardation, and Substance Abuse Services (DMHMRSAS) from 1982-1991 and the Area Resources File (ARF). Given these two sources, we constructed a history file for each individual who entered the state psychiatric system over the ten year period. Histories included demographic, treatment, and community characteristics. Study Design: We used a longitudinal, population-based design with maximum likelihood estimation of survival models. We presented a random effects model with unobserved heterogeneity that was independent of observed covariates. The key dependent variables were lengths of inpatient stay and subsequent length of community stay. Explanatory variables measured personal, diagnostic, and community characteristics, as well as controls for calendar time. Data Collection: This study used secondary, administrative, and health planning data. Principal Findings: African-American clients leave the community more quickly than whites. After controlling for other characteristics, however, race does not affect hospital length of stay. Rurality does not affect length of community stays once other personal and community characteristics are controlled for. However, people from rural areas have longer hospital stays even after controlling for personal and community characteristics. The effects of time are significantly smaller than expected. Diagnostic composition effects and a decrease in the rate of first inpatient admissions explain part of this reduced impact of time. We also find strong evidence for the existence of unobserved heterogeneity in both types of stays and adjust for this in our final models. Conclusions: Our results show that information on client characteristics available from inpatient stay records is useful in predicting not only the length of inpatient stay but also the length of the subsequent community stay. This information can be used to target increased discharge planning for those at risk of more rapid readmission to inpatient care. Correlation across observed and unobserved factors affecting length of stay has significant effects on the measurement of relationships between individual factors and lengths of stay. Thus, it is important to control for both observed and unobserved factors in estimation.

Approximate solutions to stochastic dynamic programs

This paper examines the properties of various approximation methods for solving stochastic dynamic programs in structural estimation problems. The problem addressed is evaluating the expected value of the maximum of available choices. The paper shows that approximating this by the maximum of expected values frequently has poor properties. It also shows that choosing a convenient distributional assumptions for the errors and then solving exactly conditional on the distributional assumption leads to small approximation errors even if the distribution is misspecified. © 1997 Cambridge University Press.

Confirmatory factor analysis of the baby eating behaviour questionnaire and associations with infant weight, gender and feeding mode in an Australian sample

The aim of this study was to evaluate the factor structure of the Baby Eating Behaviour Questionnaire (BEBQ) in an Australian community sample of mother-infant dyads. A secondary aim was to explore the relationship between the BEBQ subscales and infant gender, weight and current feeding mode. Confirmatory factor analysis (CFA) utilising structural equation modelling examined the hypothesised 4-factor model of the BEBQ. Only mothers (N=467) who completed all items on the BEBQ (infant age: M=17 weeks, SD=3 weeks) were included in the analysis. The original 4-factor model did not provide an acceptable fit to the data due to poor performance of the Satiety responsiveness factor. Removal of this factor (3 items) resulted in a well-fitting 3-factor model. Cronbach’s α was acceptable for the Enjoyment of food (α=0.73), Food responsiveness (α=0.78) and Slowness in eating (α=0.68) subscales but low for the Satiety responsiveness (α=0.56) subscale. Enjoyment of food was associated with higher infant weight whereas Slowness in eating and Satiety responsiveness were both associated with lower infant weight. Differences on all four subscales as a function of feeding mode were observed. This study is the first to use CFA to evaluate the hypothesised factor structure of the BEBQ. Findings support further development work on the Satiety responsiveness subscale in particular, but confirm the utility of the Enjoyment of food, Food responsiveness and Slowness in eating subscales.

The influence of maternal infant feeding practices and beliefs on the expression of food neophobia in toddlers

Food neophobia is a highly heritable trait characterized by the rejection of foods that are novel or unknown and potentially limits dietary variety, with lower intake and preference particularly for fruits and vegetables. Understanding non-genetic (environmental) factors that may influence the expression of food neophobia is essential to improving children’s consumption of fruits and vegetables and encouraging the adoption of healthier diets. The aim of this study was to examine whether maternal infant feeding beliefs (at four months) were associated with the expression of food neophobia in toddlers and whether controlling feeding practices mediated this relationship. Participants were 244 first-time mothers (M = 30.4, SD = 5.1 years) allocated to the control group of the NOURISH randomized controlled trial. The relationships between infant feeding beliefs (Infant Feeding Questionnaire) at four months and controlling child feeding practices (Child Feeding Questionnaire) and food neophobia (Child Food Neophobia Scale) at 24 months were tested using correlational and multiple linear regression models (adjusted for significant covariates). Higher maternal Concern about infant under-eating and becoming underweight at four months was associated with higher child food neophobia at two years. Similarly, lower Awareness of infant hunger and satiety cues was associated with higher child food neophobia. Both associations were significantly mediated by mothers’ use of Pressure to eat. Intervening early to promote positive feeding practices to mothers may help reduce the use of controlling practices as children develop. Further research that can further elucidate the bi-directional nature of the mother-child feeding relationship is still required.

Parallel authentication and public-key encryption

A parallel authentication and public-key encryption is introduced and exemplified on joint encryption and signing which compares favorably with sequential Encrypt-then-Sign (ɛtS) or Sign-then-Encrypt (Stɛ) schemes as far as both efficiency and security are concerned. A security model for signcryption, and thus joint encryption and signing, has been recently defined which considers possible attacks and security goals. Such a scheme is considered secure if the encryption part guarantees indistinguishability and the signature part prevents existential forgeries, for outsider but also insider adversaries. We propose two schemes of parallel signcryption, which are efficient alternative to Commit-then-Sign-and- Encrypt (Ct&G3&S). They are both provably secure in the random oracle model. The first one, called generic parallel encrypt and sign, is secure if the encryption scheme is semantically secure against chosen-ciphertext attacks and the signature scheme prevents existential forgeries against random-message attacks. The second scheme, called optimal parallel encrypt. and sign, applies random oracles similar to the OAEP technique in order to achieve security using encryption and signature components with very weak security requirements — encryption is expected to be one-way under chosen-plaintext attacks while signature needs to be secure against universal forgeries under random-plaintext attack, that is actually the case for both the plain-RSA encryption and signature under the usual RSA assumption. Both proposals are generic in the sense that any suitable encryption and signature schemes (i.e. which simply achieve required security) can be used. Furthermore they allow both parallel encryption and signing, as well as parallel decryption and verification. Properties of parallel encrypt and sign schemes are considered and a new security standard for parallel signcryption is proposed.

The subset sum problem in Keno modelling

Aspects of Keno modelling throughout the Australian states of Queensland, New South Wales and Victoria are discussed: the trivial Heads or Tails and the more interesting Keno Bonus, which leads to consideration of the subset sum problem. The most intricate structure is where Heads or Tails and Keno Bonus are combined, and here, the issue of independence arises. Closed expressions for expected return to player are presented in each case.

Dielectric performance of polymer nanocomposites synthesized by atmospheric-pressure plasma-treated silica nanoparticles

In this study, atmospheric-pressure plasmas were applied to modify the surface of silane-coated silica nanoparticles. Subsequently nanocomposites were synthesized by incorporating plasma-treated nanoparticles into an epoxy resin matrix. Electrical testing showed that such novel dielectric materials obtained high partial discharge resistance, high dielectric breakdown strength, and enhanced endurance under highly stressed electric field. Through spectroscopic and microscopic analysis, we found surface groups of nanoparticles were activated and radicals were created after the plasma treatment. Moreover, a uniform dispersion of nanoparticles in nanocomposites was observed. It was expected that the improved dielectric performance of the nanocomposites can attribute to stronger chemical bonds formed between surface groups of plasma-treated nanoparticles and molecules in the matrix. This simple yet effective and environmentally friendly approach aims to synthesize the next generation of high-performance nanocomposite dielectric insulation materials for applications in high-voltage power systems.

Examining corporate governance disclosures of listed companies in Fiji

In 2009, the Capital Markets Development Authority (CMDA) - Fiji’s capital market regulator - introduced the Code of Corporate Governance (the Code). The Code is ‘principle-based’ and requires companies listed on the South Pacific Stock Exchange (SPSE) and the financial intermediaries to disclose their compliance with the Code’s principles. While compliance with the Code is mandatory, the nature and extent of disclosure is at the discretion of the complying entities. Agency theory and signalling theory suggest that firms with higher expected levels of agency costs will provide greater levels of voluntary disclosures as signals of strong corporate governance. Thus, the study seeks to test these theories by examining the heterogeneity of corporate governance disclosures by firms listed on SPSE, and determining the characteristics of firms that provide similar levels of disclosures. We conducted a content analysis of corporate governance disclosures on the annual reports of firms from 2008-2012. The study finds that large, non-family owned firms with high levels of shareholder dispersion provide greater quantity and higher quality corporate governance disclosures. For firms that are relatively smaller, family owned and have low levels of shareholder dispersion, the quantity and quality of corporate governance disclosures are much lower. Some of these firms provide boilerplate disclosures with minimal changes in the following years. These findings support the propositions of agency and signalling theory, which suggest that firms with higher separation between agents and principals will provide more voluntary disclosures to reduce expected agency costs transfers. Semi-structured interviews conducted with key stakeholders further reinforce the findings. The interviews also reveal that complying entities positively perceive the introduction of the Code. Furthermore, while compliance with Code brought about additional costs, they believed that most of these costs were minimal and one-off, and the benefits of greater corporate disclosure to improve user decision making outweighed the costs. The study contributes to the literature as it provides insight into the experience of a small capital market with introducing a ‘principle-based’ Code that attempts to encourage corporate governance practices through enhanced disclosure. The study also assists policy makers better understand complying entities’ motivations for compliance and the extent of compliance.

Indonesian LIS professionals’ understanding of Library 2.0 : a pilot study

The literature around Library 2.0 remains largely theoretical with few empirically studies and is particularly limited in developing countries such as Indonesia. This study addresses this gap and aims to provide information about the current state of knowledge on Indonesian LIS professionals’ understanding of Library 2.0. The researchers used qualitative and quantitative approaches for this study, asking thirteen closed- and open-ended questions in an online survey. The researchers used descriptive and in vivo coding to analyze the responses. Through their analysis, they identified three themes: technology, interactivity, and awareness of Library 2.0. Respondents demonstrated awareness of Library 2.0 and a basic understanding of the roles of interactivity and technology in libraries. However, overreliance on technology used in libraries to conceptualize Library 2.0 without an emphasis on its core characteristics and principles could lead to the misalignment of limited resources. The study results will potentially strengthen the research base for Library 2.0 practice, as well as inform LIS curriculum in Indonesia so as to develop practitioners who are able to adapt to users’ changing needs and expectations. It is expected that the preliminary data of this study could be used to design a much larger and more complex future research project in this area.

Control of energy and matter at nanoscales : challenges and opportunities for plasma nanoscience in a sustainability age

Plasma nanoscience is an emerging multidisciplinary research field at the cutting edge of a large number of disciplines including but not limited to physics and chemistry of plasmas and gas discharges, materials science, surface science, nanoscience and nanotechnology, solid-state physics, space physics and astrophysics, photonics, optics, plasmonics, spintronics, quantum information, physical chemistry, biomedical sciences and related engineering subjects. This paper examines the origin, progress and future perspectives of this research field driven by the global scientific and societal challenges. The future potential of plasma nanoscience to remain a highly topical area in the global research and technological agenda in the age of fundamental-level control for a sustainable future is assessed using a framework of the five Grand Challenges for Basic Energy Sciences recently mapped by the US Department of Energy. It is concluded that the ongoing research is very relevant and is expected to substantially expand to competitively contribute to the solution of all of these Grand Challenges. The approach to controlling energy and matter at nano- and subnanoscales is based on identifying the prevailing carriers and transfer mechanisms of the energy and matter at the spatial and temporal scales that are most relevant to any particular nanofabrication process. Strong accent is made on the competitive edge of the plasma-based nanotechnology in applications related to the major socio-economic issues (energy, food, water, health and environment) that are crucial for a sustainable development of humankind. Several important emerging topics, opportunities and multidisciplinary synergies for plasma nanoscience are highlighted. The main nanosafety issues are also discussed and the environment- and human health-friendly features of plasma-based nanotech are emphasized.

Plasma nanoscience : setting directions, tackling grand challenges

This review paper presents historical perspectives, recent advances and future directions in the multidisciplinary research field of plasma nanoscience. The current status and future challenges are presented using a three-dimensional framework. The first and the largest dimension covers the most important classes of nanoscale objects (nanostructures, nanofeatures and nanoassemblies/nanoarchitectures) and materials systems, namely carbon nanotubes, nanofibres, graphene, graphene nanoribbons, graphene nanoflakes, nanodiamond and related carbon-based nanostructures; metal, silicon and other inorganic nanoparticles and nanostructures; soft organic nanomaterials; nano-biomaterials; biological objects and nanoscale plasma etching. In the second dimension, we discuss the most common types of plasmas and plasma reactors used in nanoscale plasma synthesis and processing. These include low-temperature non-equilibrium plasmas at low and high pressures, thermal plasmas, high-pressure microplasmas, plasmas in liquids and plasma–liquid interactions, high-energy-density plasmas, and ionized physical vapour deposition as well as some other plasma-enhanced nanofabrication techniques. In the third dimension, we outline some of the 'Grand Science Challenges' and 'Grand Socio-economic Challenges' to which significant contributions from plasma nanoscience-related research can be expected in the near future. The urgent need for a stronger focus on practical, outcome-oriented research to tackle the grand challenges is emphasized and concisely formulated as from controlled complexity to practical simplicity in solving grand challenges.

Capital cost model for Robert evaporators

ROBERT EVAPORATORS in Australian sugar factories are traditionally constructed with 44.45 mm outside diameter stainless steel tubes of ~2 m length for all stages of evaporation. There are a few vessels with longer tubes (up to 2.8 m) and smaller and larger diameters (38.1 and 50.8 mm). Queensland University of Technology is undertaking a study to investigate the heat transfer performance of tubes of different lengths and diameters for the whole range of process conditions typically encountered in the evaporator set. Incorporation of these results into practical evaporator designs requires an understanding of the cost implications for constructing evaporator vessels with calandrias having tubes of different dimensions. Cost savings are expected for tubes of smaller diameter and longer length in terms of material, labour and installation costs in the factory. However these savings must be considered in terms of the heat transfer area requirements for the evaporation duty, which will likely be a function of the tube dimensions. In this paper a capital cost model is described which provides a relative cost of constructing and installing Robert evaporators of the same heating surface area but with different tube dimensions. Evaporators of 2000, 3000, 4000 and 5000 m2 are investigated. This model will be used in conjunction with the heat transfer efficiency data (when available) to determine the optimum tube dimensions for a new evaporator at a specified evaporation duty. Consideration is also given to other factors such as juice residence time (and implications for sucrose degradation and control) and droplet de-entrainment in evaporators of different tube dimensions.

Serial explant culture provides novel insights into the potential location and phenotype of corneal endothelial progenitor cells

The routine cultivation of human corneal endothelial cells, with the view to treating patients with endothelial dysfunction, remains a challenging task. While progress in this field has been buoyed by the proposed existence of progenitor cells for the corneal endothelium at the corneal limbus, strategies for exploiting this concept remain unclear. In the course of evaluating methods for growing corneal endothelial cells, we have noted a case where remarkable growth was achieved using a serial explant culture technique. Over the course of 7 months, a single explant of corneal endothelium, acquired from cadaveric human tissue, was sequentially seeded into 7 culture plates and on each occasion produced a confluent cell monolayer. Sample cultures were confirmed as endothelial in origin by positive staining for glypican-4. On each occasion, small cells, closest to the tissue explant, developed into a highly compact layer with an almost homogenous structure. This layer was resistant to removal with trypsin and produced continuous cell outgrowth during multiple culture periods. The small cells gave rise to larger cells with phase-bright cell boundaries and prominent immunostaining for both nestin and telomerase. Nestin and telomerase were also strongly expressed in small cells immediately adjacent to the wound site, following transfer of the explant to another culture plate. These findings are consistent with the theory that progenitor cells for the corneal endothelium reside within the limbus and provide new insights into expected expression patterns for nestin and telomerase within the differentiation pathway.