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.

Transcutaneous immunization with novel lipid-based adjuvants induces protection against gastric Helicobacter pylori infection

The development of vaccines to combat pathogens that infect across mucosal surfaces has been a major goal of vaccine research. Successful mucosal vaccination requires the co-administration of adjuvants that can overcome the state of immune tolerance normally associated with mucosal application of proteins. In the case of oral immunization, delivery systems are also required to protect vaccine antigens against destruction by gastric pH and digestive enzymes. Furthermore, adjuvants used for mucosal delivery must be free of neurotoxic effects like those induced by the commonly used experimental mucosal adjuvant cholera toxin. Maintenance of the "cold chain" is also essential for the effectiveness of any vaccine and adjuvants/delivery systems that enhance the stability of a vaccine would offer a significant advantage. Needle-free methods of vaccination that induce protective immunity at multiple mucosal surfaces are also desirable for rapid vaccination of large populations. In the present study we show that transcutaneous immunization (TCI) using Lipid C, a novel lipid-based matrix originally developed for oral immunization, containing soluble Helicobacter sonicate significantly reduces the gastric bacterial burden in mice following gastric challenge with live Helicobacter pylori. Protection is associated with the production of splenic gamma interferon and gastric IgA and was achieved without the co-administration of potent and potentially toxic adjuvants, although protection was further enhanced by inclusion of CpG-ODN and cholera toxin in the lipid delivery system.

Partial protection against chlamydial reproductive tract infection by a recombinant major outer membrane protein/CpG/cholera toxin intranasal vaccine in the guinea pig Chlamydia cavaie model

Chlamydia trachomatis is a major cause of sexually transmitted diseases worldwide. There currently is no vaccine to protect against chlamydial infection of the female reproductive tract. Vaccine development has predominantly involved using the murine model, however infection of female guinea pigs with Chlamydia caviae more closely resembles chlamydial infection of the human female reproductive tract, and presents a better model to assess potential human chlamydial vaccines. We immunised female guinea pigs intranasally with recombinant major outer membrane protein (r-MOMP) combined with CpG-10109 and cholera toxin adjuvants. Both systemic and mucosal immune responses were elicited in immunised animals. MOMP-specific IgG and IgA were present in the vaginal mucosae, and high levels of MOMP-specific IgG were detected in the serum of immunised animals. Antibodies from the vaginal mucosae were also shown to be capable of neutralising C. caviae in vitro. Following immunisation, animals were challenged intravaginally with a live C. caviae infection of 102 inclusion forming units. We observed a decrease in duration of infection and a significant (p<0.025) reduction in infection load in r-MOMP immunised animals, compared to animals immunised with adjuvant only. Importantly, we also observed a marked reduction in upper reproductive tract (URT) pathology in r-MOMP immunised animals. Intranasal immunisation of female guinea pigs with r-MOMP was able to provide partial protection against C. caviae infection, not only by reducing chlamydial burden but also URT pathology. This data demonstrates the value of using the guinea pig model to evaluate potential chlamydial vaccines for protection against infection and disease pathology caused by C. trachomatis in the female reproductive tract.

Volunteers 'piggy-backing' on their private insurance : an uncertain protection against liability

Volunteering is a very important part of life in Australia with an estimated 36% of the adult population volunteering in 2010. Voluntary work generates economic benefits, addresses community needs and develops the social networks that form the backbone of civil society. Without volunteers, many essential services would either cease to exist or become too expensive for many people to afford. These volunteers, who by definition are not in receipt of any remuneration for their work and services, are exposed to personal injury and to legal liability in the discharge of their functions. It is therefore appropriate that statutory protection is extended to volunteers and that volunteer organisations procure public liability and personal accident cover where possible. However, given the patchwork quilt of circumstances where statutory or institutional cover is available to volunteers and the existence of many and diverse exclusions, it is important to have regard also to what scope a volunteer may have to avail themselves of protection against liability for volunteering activity by relying upon their own personal insurance cover. This article considers the extent of private insurance cover and its availability to volunteers under home and contents insurance and under comprehensive motor vehicle insurance. The most common policies in the Australian market are examined and the uncertain nature of protection against liability afforded by these policies is discussed. This uncertainty could be reduced should the Federal Government through amendments to the Insurance Contracts Regulations standardise the circumstances and extent to which liability protection was afforded to an insured holding home and contents insurance and comprehensive motor vehicle insurance cover.

Innate and adaptive immunity at mucosal surfaces of the female reproductive tract : stratification and integration of immune protection against the transmission of sexually transmitted infections

This review examines the multiple levels of pre-existing immunity in the upper and lower female reproductive tract. In addition, we highlight the need for further research of innate and adaptive immune protection of mucosal surfaces in the female reproductive tract. Innate mechanisms include the mucus lining, a tight epithelial barrier and the secretion of antimicrobial peptides and cytokines by epithelial and innate immune cells. Stimulation of the innate immune system also serves to bridge the adaptive arm resulting in the generation of pathogen-specific humoral and cell-mediated immunity. Less understood are the multiple components that act in a coordinated way to provide a network of ongoing protection. Innate and adaptive immunity in the human female reproductive tract are influenced by the stage of menstrual cycle and are directly regulated by the sex steroid hormones, progesterone and estradiol. Furthermore, the effect of hormones on immunity is mediated both directly on immune and epithelial cells and indirectly by stimulating growth factor secretion from stromal cells. The goal of this review is to focus on the diverse aspects of the innate and adaptive immune systems that contribute to a unique network of protection throughout the female reproductive tract.

Sex hormone regulation of innate immunity in the female reproductive tract : the role of epithelial cells in balancing reproductive potential with protection against sexually transmitted pathogens

The immune system in the female reproductive tract (FRT) does not mount an attack against HIV or other sexually transmitted infections (STI) with a single endogenously produced microbicide or with a single arm of the immune system. Instead, the body deploys dozens of innate antimicrobials to the secretions of the female reproductive tract. Working together, these antimicrobials along with mucosal antibodies attack many different viral, bacterial and fungal targets. Within the FRT, the unique challenges of protection against sexually transmitted pathogens coupled with the need to sustain the development of an allogeneic fetus have evolved in such a way that sex hormones precisely regulate immune function to accomplish both tasks. The studies presented in this review demonstrate that estradiol and progesterone secreted during the menstrual cycle act both directly and indirectly on epithelial cells and other immune cells in the reproductive tract to modify immune function in a way that is unique to specific sites throughout the FRT. As presented in this review, studies from our laboratory and others demonstrate that the innate immune response is under hormonal control, varies with the stage of the menstrual cycle, and as such is suppressed at mid-cycle to optimize conditions for successful fertilization and pregnancy. In doing so, a window of STI vulnerability is created during which potential pathogens including HIV enter the reproductive tract to infect host targets.

Implementation mechanism: Protection against harassment of women at workplace

Pakistan is widely known and appreciated in the world for its history, Islamic culture and norms. Since the creation of Pakistan, it inherited poverty in its roots. There are many reasons for poverty but one lies on the shoulder of women who are 50% of the total population of Pakistan. On the apex of it, women do not take part in the development of Pakistan because when they step out of their homes, they suffer a lot of problems. These problems are a hurdle in their active participation in development .Government has tried to create an environment for those women, who suffer different problems. Harassment of women at work place is one of those problems which discourage women in taking active part in economic and social development of society. Women Activists, from the last decade, were working for the protection of woman’s right at workplace and they succeeded in formulation of Harassment Act 2010. Since law is ineffective without its proper mechanism of implementation, steps should be taken for its proper implementation mechanism. This article aims to provide information about the provisions of law, related to the harassment of women at workplace with an attempt to explore the effectiveness of its implementation. The study was conducted in twin cities of Pakistan, Islamabad and Rawalpindi. Interviews were conducted with the employees and employers of organizations, educational institutions, women activists, NGOs workers, lawyers, judges and some law enforcement officers. Group discussions were also held with teachers, students of Human rights and religious personalities. This report focuses on the implementation mechanism of new legislation in Pakistan. It also highlights some important facts related to its enforcement.

Adaptive load shedding and regional protection

The requirement for improved efficiency whilst maintaining system security necessitates the development of improved system analysis approaches and the development of advanced emergency control technologies. Load shedding is a type of emergency control that is designed to ensure system stability by curtailing system load to match generation supply. This paper presents a new adaptive load shedding scheme that provides emergency protection against excess frequency decline, whilst minimizing the risk of line overloading. The proposed load shedding scheme uses the local frequency rate information to adapt the load shedding behaviour to suit the size and location of the experienced disturbance. The proposed scheme is tested in simulation on a 3-region, 10-generator sample system and shows good performance.

Vaccination to protect against infection of the female reproductive tract

Infection of the female genital tract can result in serious morbidities and mortalities from reproductive disability, pelvic inflammatory disease and cancer, to impacts on the fetus, such as infant blindness. While therapeutic agents are available, frequent testing and treatment is required to prevent the occurrence of the severe disease sequelae. Hence, sexually transmitted infections remain a major public health burden with ongoing social and economic barriers to prevention and treatment. Unfortunately, while there are two success stories in the development of vaccines to protect against HPV infection of the female reproductive tract, many serious infectious agents impacting on the female reproductive tract still have no vaccines available. Vaccination to prevent infection of the female reproductive tract is an inherently difficult target, with many impacting factors, such as appropriate vaccination strategies/mechanisms to induce a suitable protective response locally in the genital tract, variation in the local immune responses due to the hormonal cycle, selection of vaccine antigen(s) that confers effective protection against multiple variants of a single pathogen (e.g., the different serovars of Chlamydia trachomatis) and timing of the vaccine administration prior to infection exposure. Despite these difficulties, there are numerous ongoing efforts to develop effective vaccines against these infectious agents and it is likely that this important human health field will see further major developments in the next 5 years.

SECIS-binding protein 2 promotes cell survival by protecting against oxidative stress

Reactive oxygen species (ROS) are a primary cause of cellular damage that leads to cell death. In cells, protection from ROS-induced damage and maintenance of the redox balance is mediated to a large extent by selenoproteins, a distinct family of proteins that contain selenium in form of selenocysteine (Sec) within their active site. Incorporation of Sec requires the Sec-insertion sequence element (SECIS) in the 3'-untranslated region of selenoproteins mRNAs and the SECIS-binding protein 2 (SBP2). Previous studies have shown that SBP2 is required for the Sec-incorporation mechanism; however, additional roles of SBP2 in the cell have remained undefined. We herein show that depletion of SBP2 by using antisense oligonucleotides (ASOs) causes oxidative stress and induction of caspase- and cytochrome c-dependent apoptosis. Cells depleted of SBP2 have increased levels of ROS, which lead to cellular stress manifested as 8-oxo-7,8-dihydroguanine (8-oxo-dG) DNA lesions, stress granules, and lipid peroxidation. Small-molecule antioxidants N-acetylcysteine, glutathione, and α-tocopherol only marginally reduced ROS and were unable to rescue cells fully from apoptosis, indicating that apoptosis might be directly mediated by selenoproteins. Our results demonstrate that SBP2 is required for protection against ROS-induced cellular damage and cell survival. Antioxid. Redox Signal. 12, 797–808.

The development of an effective vaccine against Chlamydia : utilisation of a non-toxic mucosal adjuvant to generate a protective mucosal response

Chlamydia is responsible for a wide range of diseases with enormous global economic and health burden. As the majority of chlamydial infections are asymptomatic, a vaccine has greatest potential to reduce infection and disease prevalence. Protective immunity against Chlamydia requires the induction of a mucosal immune response, ideally, at the multiple sites in the body where an infection can be established. Mucosal immunity is most effectively stimulated by targeting vaccination to the epithelium, which is best accomplished by direct vaccine application to mucosal surfaces rather than by injection. The efficacy of needle-free vaccines however is reliant on a powerful adjuvant to overcome mucosal tolerance. As very few adjuvants have proven able to elicit mucosal immunity without harmful side effects, there is a need to develop non-toxic adjuvants or safer ways to administered pre-existing toxic adjuvants. In the present study we investigated the novel non-toxic mucosal adjuvant CTA1-DD. The immunogenicity of CTA1-DD was compared to our "gold-standard" mucosal adjuvant combination of cholera toxin (CT) and cytosine-phosphate-guanosine oligodeoxynucleotide (CpG-ODN). We also utilised different needle-free immunisation routes, intranasal (IN), sublingual (SL) and transcutaneous (TC), to stimulate the induction of immunity at multiple mucosal surfaces in the body where Chlamydia are known to infect. Moreover, administering each adjuvant by different routes may also limit the toxicity of the CT/CpG adjuvant, currently restricted from use in humans. Mice were immunised with either adjuvant together with the chlamydial major outer membrane protein (MOMP) to evaluate vaccine safety and quantify the induction of antigen-specific mucosal immune responses. The level of protection against infection and disease was also assessed in vaccinated animals following a live genital or respiratory tract infectious challenge. The non-toxic CTA1-DD was found to be safe and immunogenic when delivered via the IN route in mice, inducing a comparable mucosal response and level of protective immunity against chlamydial challenge to its toxic CT/CpG counterpart administered by the same route. The utilisation of different routes of immunisation strongly influenced the distribution of antigen-specific responses to distant mucosal surfaces and also abrogated the toxicity of CT/CpG. The CT/CpG-adjuvanted vaccine was safe when administered by the SL and TC routes and conferred partial immunity against infection and pathology in both challenge models. This protection was attributed to the induction of antigen-specific pro-inflammatory cellular responses in the lymph nodes regional to the site of infection and rather than in the spleen. Development of non-toxic adjuvants and effective ways to reduce the side effects of toxic adjuvants has profound implications for vaccine development, particularly against mucosal pathogens like Chlamydia. Interestingly, we also identified two contrasting vaccines in both infection models capable of preventing infection or pathology exclusively. This indicated that the development of pathology following an infection of vaccinated animals was independent of bacterial load and was instead the result of immunopathology, potentially driven by the adaptive immune response generated following immunisation. While both vaccines expressed high levels of interleukin (IL)-17 cytokines, the pathology protected group displayed significantly reduced expression of corresponding IL-17 receptors and hence an inhibition of signalling. This indicated that the balance of IL-17-mediated responses defines the degree of protection against infection and tissue damage generated following vaccination. This study has enabled us to better understand the immune basis of pathology and protection, necessary to design more effective vaccines.

The duration of Chlamydia muridarum genital tract infection and associated chronic pathological changes are reduced in IL-17 knockout mice but protection is not increased further by immunization

IL-17 is believed to be important for protection against extracellular pathogens, where clearance is dependent on neutrophil recruitment and local activation of epithelial cell defences. However, the role of IL-17 in protection against intracellular pathogens such as Chlamydia is less clear. We have compared (i) the course of natural genital tract C. muridarum infection, (ii) the development of oviduct pathology and (iii) the development of vaccine-induced immunity against infection in wild type (WT) BALB/c and IL-17 knockout mice (IL-17-/-) to determine if IL-17-mediated immunity is implicated in the development of infection-induced pathology and/or protection. Both the magnitude and duration of genital infection was significantly reduced in IL-17-/- mice compared to BALB/c. Similarly, hydrosalpinx was also greatly reduced in IL-17-/- mice and this correlated with reduced neutrophil and macrophage infiltration of oviduct tissues. Matrix metalloproteinase (MMP) 9 and MMP2 were increased in WT oviducts compared to IL-17-/- animals at day 7 post-infection. In contrast, oviducts from IL-17-/- mice contained higher MMP9 and MMP2 at day 21. Infection also elicited higher levels of Chlamydia-neutralizing antibody in serum of IL-17-/- mice than WT mice. Following intranasal immunization with C. muridarum Major Outer Membrane Protein (MOMP) and cholera toxin plus CpG adjuvants, significantly higher levels of chlamydial MOMP-specific IgG and IgA were found in serum and vaginal washes of IL-17-/- mice. T cell proliferation and IFNγ production by splenocytes was greater in WT animals following in vitro re-stimulation, however vaccination was only effective at reducing infection in WT, not IL-17-/- mice. Intranasal or transcutaneous immunization protected WT but not IL-17-/- mice against hydrosalpinx development. Our data show that in the absence of IL-17, the severity of C. muridarum genital infection and associated oviduct pathology are significantly attenuated, however neither infection or pathology can be reduced further by vaccination protocols that effectively protect WT mice.

Immunity against a Chlamydia infection and disease may be determined by a balance of IL-17 signaling

Most vaccines developed against Chlamydia using animal models provide partial protection against a genital tract infection. However, protection against the oviduct pathology associated with infertility is highly variable and often has no defining immunological correlate. When comparing two adjuvants (CTA1-DD and a combination of Cholera toxin plus CpG- oligodeoxynucleotide–CT/CpG) combined with the chlamydial major outer membrane protein (MOMP) antigen and delivered via the intranasal (IN), sublingual (SL) or transcutaneous (TC) routes, we identified two vaccine groups with contrasting outcomes following infection. SL immunization with MOMP/CTA1-DD induced a 70% reduction in the incidence of oviduct pathology, without significantly altering the course of infection. Conversely, IN immunization with MOMP/CT/CpG prevented an ascending infection, but not the oviduct pathology. This anomaly presented a unique opportunity to study the mechanisms by which vaccines can prevent oviduct pathology, other than by controlling the infection. The IL-17 signaling in the oviducts was found to associate with both the enhancement of immunity to infection and the development of oviduct pathology. This conflicting role of IL-17 may provide some explanation for the discordance in protection between infection and disease and suggests that controlling immunopathology, as opposed to the rapid eradication of the infection, may be essential for an effective human chlamydial vaccine that prevents infertility.

Immunization with a MOMP-based vaccine protects mice against a Pulmonary Chlamydia challenge and identifies a disconnection between infection and pathology

Chlamydia pneumoniae is responsible for up to 20% of community acquired pneumonia and can exacerbate chronic inflammatory diseases. As the majority of infections are either mild or asymptomatic, a vaccine is recognized to have the greatest potential to reduce infection and disease prevalence. Using the C. muridarum mouse model of infection, we immunized animals via the intranasal (IN), sublingual (SL) or transcutaneous (TC) routes, with recombinant chlamydial major outer membrane protein (MOMP) combined with adjuvants CTA1-DD or a combination of cholera toxin/CpG-oligodeoxynucleotide (CT/CpG). Vaccinated animals were challenged IN with C. muridarum and protection against infection and pathology was assessed. SL and TC immunization with MOMP and CT/CpG was the most protective, significantly reducing chlamydial burden in the lungs and preventing weight loss, which was similar to the protection induced by a previous live infection. Unlike a previous infection however, these vaccinations also provided almost complete protection against fibrotic scarring in the lungs. Protection against infection was associated with antigen-specific production of IFNγ, TNFα and IL-17 by splenocytes, however, protection against both infection and pathology required the induction of a similar pro-inflammatory response in the respiratory tract draining lymph nodes. Interestingly, we also identified two contrasting vaccinations capable of preventing infection or pathology individually. Animals IN immunized with MOMP and either adjuvant were protected from infection, but not the pathology. Conversely, animals TC immunized with MOMP and CTA1-DD were protected from pathology, even though the chlamydial burden in this group was equivalent to the unimmunized controls. This suggests that the development of pathology following an IN infection of vaccinated animals was independent of bacterial load and may have been driven instead by the adaptive immune response generated following immunization. This identifies a disconnection between the control of infection and the development of pathology, which may influence the design of future vaccines.