Analysis of stream cipher based authenticated encryption schemes

Authenticated Encryption (AE) is the cryptographic process of providing simultaneous confidentiality and integrity protection to messages. This approach is more efficient than applying a two-step process of providing confidentiality for a message by encrypting the message, and in a separate pass providing integrity protection by generating a Message Authentication Code (MAC). AE using symmetric ciphers can be provided by either stream ciphers with built in authentication mechanisms or block ciphers using appropriate modes of operation. However, stream ciphers have the potential for higher performance and smaller footprint in hardware and/or software than block ciphers. This property makes stream ciphers suitable for resource constrained environments, where storage and computational power are limited. There have been several recent stream cipher proposals that claim to provide AE. These ciphers can be analysed using existing techniques that consider confidentiality or integrity separately; however currently there is no existing framework for the analysis of AE stream ciphers that analyses these two properties simultaneously. This thesis introduces a novel framework for the analysis of AE using stream cipher algorithms. This thesis analyzes the mechanisms for providing confidentiality and for providing integrity in AE algorithms using stream ciphers. There is a greater emphasis on the analysis of the integrity mechanisms, as there is little in the public literature on this, in the context of authenticated encryption. The thesis has four main contributions as follows. The first contribution is the design of a framework that can be used to classify AE stream ciphers based on three characteristics. The first classification applies Bellare and Namprempre's work on the the order in which encryption and authentication processes take place. The second classification is based on the method used for accumulating the input message (either directly or indirectly) into the into the internal states of the cipher to generate a MAC. The third classification is based on whether the sequence that is used to provide encryption and authentication is generated using a single key and initial vector, or two keys and two initial vectors. The second contribution is the application of an existing algebraic method to analyse the confidentiality algorithms of two AE stream ciphers; namely SSS and ZUC. The algebraic method is based on considering the nonlinear filter (NLF) of these ciphers as a combiner with memory. This method enables us to construct equations for the NLF that relate the (inputs, outputs and memory of the combiner) to the output keystream. We show that both of these ciphers are secure from this type of algebraic attack. We conclude that using a keydependent SBox in the NLF twice, and using two different SBoxes in the NLF of ZUC, prevents this type of algebraic attack. The third contribution is a new general matrix based model for MAC generation where the input message is injected directly into the internal state. This model describes the accumulation process when the input message is injected directly into the internal state of a nonlinear filter generator. We show that three recently proposed AE stream ciphers can be considered as instances of this model; namely SSS, NLSv2 and SOBER-128. Our model is more general than a previous investigations into direct injection. Possible forgery attacks against this model are investigated. It is shown that using a nonlinear filter in the accumulation process of the input message when either the input message or the initial states of the register is unknown prevents forgery attacks based on collisions. The last contribution is a new general matrix based model for MAC generation where the input message is injected indirectly into the internal state. This model uses the input message as a controller to accumulate a keystream sequence into an accumulation register. We show that three current AE stream ciphers can be considered as instances of this model; namely ZUC, Grain-128a and Sfinks. We establish the conditions under which the model is susceptible to forgery and side-channel attacks.

Chitosan-collagen scaffolds with nano/microfibrous architecture for skin tissue engineering

In this study, a hierarchical nano/microfibrous chitosan/collagen scaffold that approximates structural and functional attributes of native extracellular matrix (ECM), has been developed for applicability in skin tissue engineering. Scaffolds were produced by electrospinning of chitosan followed by imbibing of collagen solution, freeze-drying and subsequent cross-linking of two polymers. Scanning electron microscopy showed formation of layered scaffolds with nano/microfibrous architechture. Physico-chemical properties of scaffolds including tensile strength, swelling behavior and biodegradability were found satisfactory for intended application. 3T3 fibroblasts and HaCaT keratinocytes showed good in vitro cellular response on scaffolds thereby indicating the matrices′ cytocompatible nature. Scaffolds tested in an ex vivo human skin equivalent (HSE) wound model, as a preliminary alternative to animal testing, showed keratinocyte migration and wound re-epithelization — a pre-requisite for healing and regeneration. Taken together, the herein proposed chitosan/collagen scaffold, shows good potential for skin tissue engineering.

A micro-level indexing model for the assessment of sustainable urban ecosystems

During the last several decades, the quality of natural resources and their services have been exposed to significant degradation from increased urban populations combined with the sprawl of settlements, development of transportation networks and industrial activities (Dorsey, 2003; Pauleit et al., 2005). As a result of this environmental degradation, a sustainable framework for urban development is required to provide the resilience of natural resources and ecosystems. Sustainable urban development refers to the management of cities with adequate infrastructure to support the needs of its population for the present and future generations as well as maintain the sustainability of its ecosystems (UNEP/IETC, 2002; Yigitcanlar, 2010). One of the important strategic approaches for planning sustainable cities is „ecological planning‟. Ecological planning is a multi-dimensional concept that aims to preserve biodiversity richness and ecosystem productivity through the sustainable management of natural resources (Barnes et al., 2005). As stated by Baldwin (1985, p.4), ecological planning is the initiation and operation of activities to direct and control the acquisition, transformation, disruption and disposal of resources in a manner capable of sustaining human activities with a minimum disruption of ecosystem processes. Therefore, ecological planning is a powerful method for creating sustainable urban ecosystems. In order to explore the city as an ecosystem and investigate the interaction between the urban ecosystem and human activities, a holistic urban ecosystem sustainability assessment approach is required. Urban ecosystem sustainability assessment serves as a tool that helps policy and decision-makers in improving their actions towards sustainable urban development. There are several methods used in urban ecosystem sustainability assessment among which sustainability indicators and composite indices are the most commonly used tools for assessing the progress towards sustainable land use and urban management. Currently, a variety of composite indices are available to measure the sustainability at the local, national and international levels. However, the main conclusion drawn from the literature review is that they are too broad to be applied to assess local and micro level sustainability and no benchmark value for most of the indicators exists due to limited data availability and non-comparable data across countries. Mayer (2008, p. 280) advocates that by stating "as different as the indices may seem, many of them incorporate the same underlying data because of the small number of available sustainability datasets". Mori and Christodoulou (2011) also argue that this relative evaluation and comparison brings along biased assessments, as data only exists for some entities, which also means excluding many nations from evaluation and comparison. Thus, there is a need for developing an accurate and comprehensive micro-level urban ecosystem sustainability assessment method. In order to develop such a model, it is practical to adopt an approach that uses a method to utilise indicators for collecting data, designate certain threshold values or ranges, perform a comparative sustainability assessment via indices at the micro-level, and aggregate these assessment findings to the local level. Hereby, through this approach and model, it is possible to produce sufficient and reliable data to enable comparison at the local level, and provide useful results to inform the local planning, conservation and development decision-making process to secure sustainable ecosystems and urban futures. To advance research in this area, this study investigated the environmental impacts of an existing urban context by using a composite index with an aim to identify the interaction between urban ecosystems and human activities in the context of environmental sustainability. In this respect, this study developed a new comprehensive urban ecosystem sustainability assessment tool entitled the „Micro-level Urban-ecosystem Sustainability IndeX‟ (MUSIX). The MUSIX model is an indicator-based indexing model that investigates the factors affecting urban sustainability in a local context. The model outputs provide local and micro-level sustainability reporting guidance to help policy-making concerning environmental issues. A multi-method research approach, which is based on both quantitative analysis and qualitative analysis, was employed in the construction of the MUSIX model. First, a qualitative research was conducted through an interpretive and critical literature review in developing a theoretical framework and indicator selection. Afterwards, a quantitative research was conducted through statistical and spatial analyses in data collection, processing and model application. The MUSIX model was tested in four pilot study sites selected from the Gold Coast City, Queensland, Australia. The model results detected the sustainability performance of current urban settings referring to six main issues of urban development: (1) hydrology, (2) ecology, (3) pollution, (4) location, (5) design, and; (6) efficiency. For each category, a set of core indicators was assigned which are intended to: (1) benchmark the current situation, strengths and weaknesses, (2) evaluate the efficiency of implemented plans, and; (3) measure the progress towards sustainable development. While the indicator set of the model provided specific information about the environmental impacts in the area at the parcel scale, the composite index score provided general information about the sustainability of the area at the neighbourhood scale. Finally, in light of the model findings, integrated ecological planning strategies were developed to guide the preparation and assessment of development and local area plans in conjunction with the Gold Coast Planning Scheme, which establishes regulatory provisions to achieve ecological sustainability through the formulation of place codes, development codes, constraint codes and other assessment criteria that provide guidance for best practice development solutions. These relevant strategies can be summarised as follows: • Establishing hydrological conservation through sustainable stormwater management in order to preserve the Earth’s water cycle and aquatic ecosystems; • Providing ecological conservation through sustainable ecosystem management in order to protect biological diversity and maintain the integrity of natural ecosystems; • Improving environmental quality through developing pollution prevention regulations and policies in order to promote high quality water resources, clean air and enhanced ecosystem health; • Creating sustainable mobility and accessibility through designing better local services and walkable neighbourhoods in order to promote safe environments and healthy communities; • Sustainable design of urban environment through climate responsive design in order to increase the efficient use of solar energy to provide thermal comfort, and; • Use of renewable resources through creating efficient communities in order to provide long-term management of natural resources for the sustainability of future generations.

Usability extensions for the worklet service

The YAWL Worklet Service is an effective approach to facilitating dynamic flexibility and exception handling in workflow processes. Recent additions to the Service extend its capabilities through a programming interface that provides easier access to rules storage and evaluation, and an event server that notifies listening servers and applications when exceptions are detected, which together serve enhance the functionality and accessibility of the Service's features and expand its usability to new potential domains.

An improved method for the assay of platelet pyruvate dehydrogenase

An improved method for the assay of human platelet pyruvate dehydrogenase is described. By generating the substrate [1-14C]pyruvate in situ from [1-14C]lactate plus l-lactate dehydrogenase, the rate of spontaneous decarboxylation is dramatically reduced, allowing far greater sensitivity in the assay of low activities of pyruvate dehydrogenase. In addition, no special precautions are required for the storage and use of [1-14C]lactate, in contrast to those for [1-14C] pyruvate. These factors allow a 5–10-fold increase in sensitivity compared with current methods. The pyruvate dehydrogenase activity of normal subjects as determined by the [1-14C]lactate system was 215 ± 55 pmol · min−1 · mg−1 protein (n = 18). The advantages of this assay system are discussed.

Sharing the news : Dissemination of links to Australian news sites on Twitter

Social media adoption in Australia, which provides the geographic focus for this chapter, has been rapid and substantial (ABC News, 2010) – possibly because of the considerable dispersal of the Australian population across the continent, as well as the significant distance of the country from many of its closest partner nations. Social media can play an important role in strengthening and maintaining interpersonal and professional relationships in spite of such physical distance; in particular, social media services are now well-recognised as important tools for the dissemination of news across many developed nations. Hermida (2010) and Burns (2010) both speak of Twitter as a medium for “ambient news”, for example: always-on, operating as a steady stream in the background and at the edge of users’ conscious perception. Much as ambient music is designed to do, it comes to the fore when notable events (such as major breaking news) lead to an increase in volume and demand a greater level of attention from users.

Successful application of a simple specimen transport method for the conduct of respiratory virus surveillance in remote Indigenous communities in Australia

Objective Surveillance programs and research for acute respiratory infections in remote Aboriginal communities are complicated by difficulties in the storage and transport of frozen samples to urban laboratories for testing. This study assessed the sensitivity of a simple method for transporting respiratory samples from a remote setting for viral PCR compared with frozen specimens. Methods We sampled every individual who presented to a remote Aboriginal community clinic in a non-epidemic respiratory season. Two anterior nasal swabs were collected from each participant. The left nare specimen was mailed to the laboratory via routine postal services. The right nare specimen was transported frozen. Testing for 16 viruses was undertaken using real-time multiplex PCR. Results A total of 140 participants were enrolled who contributed 150 study visits. Respiratory illnesses accounted for 10% of the reasons for presentation. Sixty-one viruses were identified in 50 (33.3%) presentations for 40 (28.6%) individuals; bocavirus and rhinovirus were the most common viruses identified (14.0% and 12.6% of episodes respectively). The sensitivity for any virus detected in mailed specimens was 67.2% (95%CI 55.4, 78.9) compared to 65.6% (95%CI 53.7, 77.5) for frozen specimens. Conclusion The mailing of unfrozen nasal specimens from remote communities does not compromise the viability of the specimen for viral studies.

Characterisation of a human skin equivalent model to study the effects of ultraviolet B radiation on keratinocytes

The incidences of skin cancers resulting from chronic ultraviolet radiation (UVR) exposure are on the incline both in Australia and globally. Hence, the cellular and molecular pathways associated with UVR-induced photocarcinogenesis urgently need to be elucidated, in order to develop more robust preventative and treatment strategies against skin cancers. In vitro investigations into the effects of UVR (in particular the highly-mutagenic UVB wavelength) have, to date, mainly involved the use of cell culture and animal models. However, these models possess biological disparities to native skin, which to some extent have limited their relevance to the in vivo situation. To address this, we characterised a 3-dimensional, tissue-engineered human skin equivalent (HSE) model (consisting of primary human keratinocytes cultured on a dermal-derived scaffold) as a representation of a more physiologically-relevant platform to study keratinocyte responses to UVB. Significantly, we demonstrate that this model retains several important epidermal properties of native skin. Moreover, UVB-irradiation of the HSE constructs was shown to induce key markers of photodamage in the HSE keratinocytes, including the formation of cyclobutane pyrimidine dimers, the activation of apoptotic pathways, the accumulation of p53 and the secretion of inflammatory cytokines. Importantly, we also demonstrate that the UVB-exposed HSE constructs retain the capacity for epidermal repair and regeneration following photodamage. Together, our results demonstrate the potential of this skin equivalent model as a tool to study various aspects of the acute responses of human keratinocytes to UVB radiation damage.

Plasmonic nanostructures to enhance catalytic performance of zeolites under visible light

Light absorption efficiency of heterogeneous catalysts has restricted their photocatalytic capability for commercially important organic synthesis. Here, we report a way of harvesting visible light efficiently to boost zeolite catalysis by means of plasmonic gold nanoparticles (Au-NPs) supported on zeolites. Zeolites possess strong Brønsted acids and polarized electric fields created by extra-framework cations. The polarized electric fields can be further intensified by the electric near-field enhancement of Au-NPs, which results from the localized surface plasmon resonance (LSPR) upon visible light irradiation. The acetalization reaction was selected as a showcase performed on MZSM-5 and Au/MZSM-5 (M = H+, Na+, Ca2+, or La3+). The density functional theory (DFT) calculations confirmed that the intensified polarized electric fields played a critical role in stretching the C = O bond of the reactants of benzaldehyde to enlarge their molecular polarities, thus allowing reactants to be activated more efficiently by catalytic centers so as to boost the reaction rates. This discovery should evoke intensive research interest on plasmonic metals and diverse zeolites with an aim to take advantage of sunlight for plasmonic devices, molecular electronics, energy storage, and catalysis.

False-colour spectrograms of long duration acoustic recordings

Acoustic recordings of the environment are an important aid to ecologists monitoring biodiversity and environmental health. However, rapid advances in recording technology, storage and computing make it possible to accumulate thousands of hours of recordings, of which, ecologists can only listen to a small fraction. The big-data challenge is to visualize the content of long-duration audio recordings on multiple scales, from hours, days, months to years. The visualization should facilitate navigation and yield ecologically meaningful information. Our approach is to extract (at one minute resolution) acoustic indices which reflect content of ecological interest. An acoustic index is a statistic that summarizes some aspect of the distribution of acoustic energy in a recording. We combine indices to produce false-colour images that reveal acoustic content and facilitate navigation through recordings that are months or even years in duration.

Overview of INEX 2013

INEX investigates focused retrieval from structured documents by providing large test collections of structured documents, uniform evaluation measures, and a forum for organizations to compare their results. This paper reports on the INEX 2013 evaluation campaign, which consisted of four activities addressing three themes: searching professional and user generated data (Social Book Search track); searching structured or semantic data (Linked Data track); and focused retrieval (Snippet Retrieval and Tweet Contextualization tracks). INEX 2013 was an exciting year for INEX in which we consolidated the collaboration with (other activities in) CLEF and for the second time ran our workshop as part of the CLEF labs in order to facilitate knowledge transfer between the evaluation forums. This paper gives an overview of all the INEX 2013 tracks, their aims and task, the built test-collections, and gives an initial analysis of the results

Collagen in the scarless fetal skin wound : detection with picrosirius-polarization

Our group has developed an ovine model of deep dermal, partial-thickness burn where the fetus heals scarlessly and the lamb heals with scar. The comparison of collagen structure between these two different mechanisms of healing may elucidate the process of scarless wound healing. Picrosirius staining followed by polarized light microscopy was used to visualize collagen fibers, with digital capture and analysis. Collagen deposition increased with fetal age and the fibers became thicker, changing from green (type III collagen) to yellow/red (type I collagen). The ratio of type III collagen to type I was high in the fetus (166), whereas the lamb had a much lower ratio (0.2). After burn, the ratios of type III to type I collagen did not differ from those in control skin for either fetus or lamb. The fetal tissue maintained normal tissue architecture after burn while the lamb tissue showed irregular collagen organization. In conclusion, the type or amount of collagen does not alter significantly after injury. Tissue architecture differed between fetal and lamb tissue, suggesting that scar development is related to collagen cross-linking or arrangement. This study indicates that healing in the scarless fetal wound is representative of the normal fetal growth pattern, rather than a "response" to burn injury.

Deep dermal burn injury results in scarless wound healing in the ovine fetus

Early to mid-term fetuses heal cutaneous incisional wounds without scars; however, fetal response to burn injury has not been ascertained. We present a fetal model of thermal injury and subsequent analysis of fetal and lamb response to burn injury. A reproducible deep dermal burn injury was created in the fetus by application of water at 66 degrees C for 7 seconds, and at 82 degrees C for 10 seconds to the lamb. Macroscopically, the area of fetal scald was undetectable from day 7 post injury, while all lamb scalds were readily identified and eventually healed with scarring. Using a five-point histopathology scoring system for alteration in tissue morphology, differences were detected between control and scalded skin at all stages in lamb postburn, but no difference was detected in the fetal model after day 7. There were also large differences in content of alpha-smooth muscle actin and transforming growth factor-beta1 between control and scalded lamb and these differences were statistically significant at day 14 (P < 0.01). This novel model of fetal and lamb response to deep dermal injury indicates that the fetus heals a deep burn injury in a scarless fashion. Further elucidation of this specific fetal process of burn injury repair may lead to improved outcome for patients with burn injury.

Conservative surgical debridement as a burn treatment : supporting evidence from a porcine burn model

In thermal deep-dermal burns, surgical debridement is normally used in conjunction with skin grafting or skin substitutes and debridement alone as a burn treatment is not usually practiced. The current study addresses whether or not debridement alone would enhance burn wound healing on small deep-dermal-partial thickness burns. This was a prospective and blinded experimental trial using a porcine deep-dermal-partial thickness burn model. Four burns, approximately 50 cm(2) in size, were created on each of eight pigs. Two burns from each pig were immediately surgically debrided and the other two were not debrided as the internal control. Hydrate gel together with paraffin gauze were used to cover the burns for four pigs and silver dressings for the other four. Clinical assessment of wound healing was conducted over a 6-week period. Skin samples were collected at the end of the experiment and histopathological evaluation was performed. The results show thinner scar formation and lower scar height in the debrided compared with nondebrided wounds in the hydrate gel/paraffin gauze groups. There were no statistically significant differences in wound healing assessment between the debrided and nondebrided wounds dressed with silver dressings. This study provides supporting evidence that immediate debridement with an appropriate dressing and without skin grafting may promote wound healing, suggesting its potential benefit for clinical patients.