Quantitative assessment and characterisation of airborne engineered nanoparticles

This research has brought new scientific insight into the characteristics of airborne engineered nanoparticles, which is essential when considering their effects on human health. The key findings of the work were a harmonised and traceable protocol for the size characterisation of engineered nanoparticles, and quantification of their emissions and dynamics in workplaces. The novelty of this project is in coupling a comprehensive experimental measurement approach with innovative and effective data interpretation. Also, for the first time, the existence of a general trend in the emission of nanoparticles from a nanotechnology process was investigated.

Salmonella in companion animals

In an increasingly hygiene concerned society, a major barrier to pet ownership is the perceived role of companion animals in contributing to the risk of exposure to zoonotic bacterial pathogens, such as Salmonella. Manifestations of Salmonella can range from acute gastroenteritis to perfuse enteric fever, in both humans and dogs. Dogs are heavily associated with asymptomatic carriage of Salmonella as the microorganism can persist in the lower intestines of this host which can be then excreted into the environment. Studies in to the asymptomatic carriage of Salmonella in dogs are somewhat dated and there is limited UK data. The current UK carriage rate in dogs was investigated in a randomised dog population and it was revealed that the carriage rate in this population was very low with only one household dog positive for the carriage of Salmonella enterica arizonae (0.2%), out of 490 dogs sampled. Salmonella serotypes share phenotypic and genotypic similarities which are captured in epidemiological typing methods. Therefore, in parallel to the epidemiological investigations, a panel of clinical canine (VLA, UK) and human (Aston University, UK) Salmonella isolates were profiled based on their phenotypic and genotypic characteristics; using API 20E, Biolog Microbial ID System, antibiotic sensitivity testing and PFGE, respectively. Antibiotic sensitivity testing revealed a significant difference between the canine and human isolates with the canine group demonstrating a higher resistance to the panel of antibiotics tested. Further metabolic capabilities of the strains were tested using the Biolog Microbial ID System, which reveal no clear association between the two host groups. However, coupled with Principle Component Analysis two canine isolates were discriminated from the entire population on the basis of a high up-regulation of two carbohydrates. API 20E testing revealed no association between the two host groups. A PFGE harmonised protocol was used to genotypically profile the strains. A dendrogram depicting PFGE profiles of the panel of Salmonella isolates was performed where similarities were calculated by Dice coefficient and represented by UPGMA clustering. Clustering of the profiles from canine isolates and human isolates (HPA, UK) was diverse representing a natural heterogeneity of the genus, additionally, no clear clustering of the isolates was observed between host groups. Clustering was observed with isolates from the same serotype, independent of host origin. Host adaption is a common phenomenon in certain Salmonella serotypes, for example S. Typhi in humans and S. Dublin in cattle. It was of interest to investigate potential host adaptive or restricted strains for canine host by performing adhesion and invasion assays on Dog Intestinal Epithelial Cells (DIECs) (WALTHAM®, UK) and human CaCo-2 (HPA, UK) cell lines. Salmonella arizonae and Enteritidis from an asymptomatic dog and clinical isolate, respectively, demonstrated a significantly high proportion of invasion in DIEC in comparison to human CaCo-2 cells and other tested Salmonella serotypes. This may be suggestive of a potential host restrictive strain as their ability to invade the CaCo-2 cell line was significantly lower than the other serotypes. In conclusion to this thesis the investigations carried out suggest that asymptomatic carriage of Salmonella in UK dogs is low however the microorganism remains as a zoonotic and anthroponotic pathogen based on phenotypic and genotypic characterisation however there may be potential for particular serotype to become host restricted as observed in invasion assays

Development of a new welfare assessment protocol for practical application in long-term dog shelters

In many European shelters, dogs may spend many years confined. A poor environment and inappropriate management may lead to a low quality of life. The absence of harmonised European regulatory frameworks defining the minimum requirements for shelter facilities makes the definition of welfare standards for kennelled dogs challenging. Here, a new protocol was developed and tested to help identify the main welfare issues for shelter dogs. Twenty-six indicators were identified including management, resource and animal based measures. Accuracy and interobserver reliability were checked between four assessors. The protocol was applied in 29 shelters (n=1308 dogs) in six European countries. Overall prevalence of poor health conditions was below 10%. Test-retest reliability and validity of the protocol were investigated with encouraging results. A logistic regression was carried out to assess the potential of the protocol as a tool to identify welfare hazards in shelter environments. Inappropriate space allowance, for example, was found to be a risk factor potentially affecting the animal's cleanliness, skin condition and body condition. The protocol was designed to be concise and easy to implement. Systematic data collection could help identify welfare problems that are likely to arise in certain shelter designs and thus determine improvement in animal care standards.

Protocol engineering for protection against denial-of-service attacks

Denial-of-service attacks (DoS) and distributed denial-of-service attacks (DDoS) attempt to temporarily disrupt users or computer resources to cause service un- availability to legitimate users in the internetworking system. The most common type of DoS attack occurs when adversaries °ood a large amount of bogus data to interfere or disrupt the service on the server. The attack can be either a single-source attack, which originates at only one host, or a multi-source attack, in which multiple hosts coordinate to °ood a large number of packets to the server. Cryptographic mechanisms in authentication schemes are an example ap- proach to help the server to validate malicious tra±c. Since authentication in key establishment protocols requires the veri¯er to spend some resources before successfully detecting the bogus messages, adversaries might be able to exploit this °aw to mount an attack to overwhelm the server resources. The attacker is able to perform this kind of attack because many key establishment protocols incorporate strong authentication at the beginning phase before they can iden- tify the attacks. This is an example of DoS threats in most key establishment protocols because they have been implemented to support con¯dentiality and data integrity, but do not carefully consider other security objectives, such as availability. The main objective of this research is to design denial-of-service resistant mechanisms in key establishment protocols. In particular, we focus on the design of cryptographic protocols related to key establishment protocols that implement client puzzles to protect the server against resource exhaustion attacks. Another objective is to extend formal analysis techniques to include DoS- resistance. Basically, the formal analysis approach is used not only to analyse and verify the security of a cryptographic scheme carefully but also to help in the design stage of new protocols with a high level of security guarantee. In this research, we focus on an analysis technique of Meadows' cost-based framework, and we implement DoS-resistant model using Coloured Petri Nets. Meadows' cost-based framework is directly proposed to assess denial-of-service vulnerabil- ities in the cryptographic protocols using mathematical proof, while Coloured Petri Nets is used to model and verify the communication protocols using inter- active simulations. In addition, Coloured Petri Nets are able to help the protocol designer to clarify and reduce some inconsistency of the protocol speci¯cation. Therefore, the second objective of this research is to explore vulnerabilities in existing DoS-resistant protocols, as well as extend a formal analysis approach to our new framework for improving DoS-resistance and evaluating the performance of the new proposed mechanism. In summary, the speci¯c outcomes of this research include following results; 1. A taxonomy of denial-of-service resistant strategies and techniques used in key establishment protocols; 2. A critical analysis of existing DoS-resistant key exchange and key estab- lishment protocols; 3. An implementation of Meadows's cost-based framework using Coloured Petri Nets for modelling and evaluating DoS-resistant protocols; and 4. A development of new e±cient and practical DoS-resistant mechanisms to improve the resistance to denial-of-service attacks in key establishment protocols.

Secure communication protocol for preserving E-tendering integrity.

This paper presents a secure communication protocol which can be used as the framework for an e-tendering scheme. This protocol is focused on securing the integrity of tendering documents and ensuring that a secure record of document generation is kept. Our protocol provides a mechanism to manage e-tendering contract evidence as a legal record in a unique and effective manner. It is the starting point of reliable record keeping. To a certain extent, it also addresses existing security problems in the traditional tendering processes.

End-of-life care pathways for improving outcomes in caring for the dying (Protocol)

We aim to assess the effects of end-of-life care pathways, compared with usual care or with care guided by another end-of-life care pathway across all healthcare settings (hospitals, residential aged care facilities, community). In particular, we aim to assess the effects on symptom severity and quality of life of people who are dying and/or those related to the care such as families, caregivers and health professionals.

Treadmill adaptation and verification of self-selected walking speed : a protocol for children

The term self-selected (i.e., individual or comfortable walking pace or speed) is commonly used in the literature (Frost, Dowling, Bar-Or, & Dyson, 1997; Jeng, Liao, Lai, & Hou, 1997; Wergel-Kolmert & Wohlfart, 1999; Maltais, Bar-Or, Pienynowski, & Galea, 2003; Browning & Kram, 2005; Browning, Baker, Herron, & Kram, 2006; Hills, Byrne, Wearing, & Armstrong, 2006) and is identified as the most efficient walking speed, with increased efficiency defined by lower oxygen uptake (VO^sub 2^) per unit mechanical work (Hoyt & Taylor, 1981; Taylor, Heglund, & Maloiy, 1982; Hreljac, 1993). [...] assessing individual and group differences in metabolic energy expenditure using oxygen uptake requires individuals to be comfortable with, and able to accommodate to, the equipment.

Information interventions for orienting patients and their carers to cancer care facilities (Protocol)

To assess the effects of information interventions which orient patients and their carers/family to a cancer care facility and the services available in the facility.