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.

PartSS : An efficient partition-based filtering for edit distance constraints

This paper introduces PartSS, a new partition-based fil- tering for tasks performing string comparisons under edit distance constraints. PartSS offers improvements over the state-of-the-art method NGPP with the implementation of a new partitioning scheme and also improves filtering abil- ities by exploiting theoretical results on shifting and scaling ranges, thus accelerating the rate of calculating edit distance between strings. PartSS filtering has been implemented within two major tasks of data integration: similarity join and approximate membership extraction under edit distance constraints. The evaluation on an extensive range of real-world datasets demonstrates major gain in efficiency over NGPP and QGrams approaches.

Studies on abrasive jet machining through statistical design of experiments

The main objective of statistical analysis of experi- mental investigations is to make predictions on the basis of mathematical equations so as the number of experiments. Abrasive jet machining (AJM) is an unconventional and novel machining process wherein microabrasive particles are propelled at high veloc- ities on to a workpiece. The resulting erosion can be used for cutting, etching, cleaning, deburring, drilling and polishing. In the study completed by the authors, statistical design of experiments was successfully employed to predict the rate of material removal by AJM. This paper discusses the details of such an approach and the findings.

Enhancing and developing the practical optimisation capabilities and intelligence of automatic design software

In the modern engineering design cycle the use of computational tools becomes a neces- sity. The complexity of the engineering systems under consideration for design increases dramatically as the demands for advanced and innovative design concepts and engineering products is expanding. At the same time the advancements in the available technology in terms of computational resources and power, as well as the intelligence of the design software, accommodate these demands and make them a viable approach towards the chal- lenge of real-world engineering problems. This class of design optimisation problems is by nature multi-disciplinary. In the present work we establish enhanced optimisation capabil- ities within the Nimrod/O tool for massively distributed execution of computational tasks through cluster and computational grid resources, and develop the potential to combine and benefit from all the possible available technological advancements, both software and hardware. We develop the interface between a Free Form Deformation geometry manage- ment in-house code with the 2D airfoil aerodynamic efficiency evaluation tool XFoil, and the well established multi-objective heuristic optimisation algorithm NSGA-II. A simple airfoil design problem has been defined to demonstrate the functionality of the design sys- tem, but also to accommodate a framework for future developments and testing with other state-of-the-art optimisation algorithms such as the Multi-Objective Genetic Algorithm (MOGA) and the Multi-Objective Tabu Search (MOTS) techniques. Ultimately, heav- ily computationally expensive industrial design cases can be realised within the presented framework that could not be investigated before. © 2012 by the authors. Published by the American Institute of Aeronautics and Astronautics, Inc.

Facilitated ion-transfer of sodium cation by (anthraquinone-1-yloxy) methane-15-crown-5 across the water/1,2-dichloroethane microinterface

The transfer of sodium cation facilitated by (anthraquinone-1-yloxy) methane-15-crown-5(L) has been investigated at the water/1,2-dichloroethane microinterface supported at the tip of a micropipette. The diffusion coefficient of (anthraquinone-1-yloxy) methane-15-crown-5 obtained was (3.42 +/- 0.20) x 10(-6) cm(2) s(-1). The steady-state voltammograms were observed for forward and backward scans due to sodium ion transfer facilitated by L with 1:1 stoichiometry. The mechanism corresponded to an interfacial complexation (TIC) and interfacial dissociation (TID) process. The association constant was calculated to be log beta(o) = 11.08 +/- 0.03 in the DCE phase. The association constant of other alkali metals (Li+, K+, Rb+) were also obtained.

Studies of electron-transfer and charge-transfer coupling processes at a liquid/liquid interface by double-barrel micropipet technique

Investigation of a heterogeneous electron-transfer (ET) reaction at the water/1,2-dichloroethane interface employing a double-barrel micropipet technique is reported. The chosen system was the reaction between Fe(CN)(6)(3-) in the aqueous phase (W) and ferrocene in 1,2-dichloroethane (DCE). According to the generation and the collection currents as well as collection efficiency, the ET-ion-transfer (IT) coupling process at such an interface and competing reactions with the organic supporting electrolyte in the organic phase can be studied. In addition, this technique has been found to be an efficient method to distinguish and measure the charge-transfer coupling reaction between two ions (IT-IT) processes occurring simultaneously at a liquid/liquid interface. On this basis, the formal Gibbs energies of transfer of some ions across the W/DCE interface, such as NO3-, NO2-, Cl-, COO-, TBA(+), IPAs+, Cs+, Rb+, K+, Na+, and Li+, for which their direct transfers are usually difficult to obtain because of the IT-IT coupling processes, were quantitatively evaluated.

Systematic study of the transfer of amino acids across the water/1,2-dichloroethane interface facilitated by dibenzo-18-crown-6

Facilitated ion transfer reactions of 20 amino acids with di.benzo-18-crown-6 (DB18C6) at the water/1,2-dichloroethane (W/DCE) interfaces supported at the tips of micro- and nano-pipets were investigated systematically using cyclic voltammetry. It was found that there were only 10 amino acids, that is, Leu, Val, Ile, Phe, Trp, Met, Ala, Gly, Cys, Gln (in brief), whose protonated forms as cations can give well-defined facilitated ion transfer voltammograms within the potential window, and the reaction pathway was proven to be consistent with the transfer by interfacial complexation/dissociation (TIC/TID) mechanisms. The association constants of DB 18C6 with different amino acids in the DCE (beta(0)), and the kinetic parameters of reaction were evaluated based on the steady-state voltammetry of micro- or nano-pipets, respectively The experimental results demonstrated that the selectivity of complexation of protonated amino acid by DB18C6 compared with that of alkali metal cations was low, which can be attributed to the vicinal effect arising from steric hindrance introduced by their side group and the steric bulk effect by lipophilic stabilization.

Electrochemical recognition of alkali metal ions at the micro-water 1,2-dichloroethane interface using a calix[4]arene derivative

In this paper, a calix[4]arene derivative, 5,11,17,23-butyl-25,26,27,28-tetra-(ethanoxycarbonyl)-methoxy-calix[4]arene (L), is investigated as a host to recognize alkali metal ions (Li+, Na+, K+, Rb+ and Cs+) at the interface between two immiscible electrolyte solutions (ITIES). Well-defined cyclic voltammograms are obtained at the micro- and nano-water \ 1,2-dichloroethane (W \ DCE) interfaces supported at micro- and nano-pipets.

Studies on charge transfer across the micro-liquid/liquid interface supported at a double-barrel micropipette

In this paper, the charge transfer across the micro-liquid/liquid interface supported at the orifice of a double-barrel micropipette, namely, a theta-pipette, is reported. Simple ion transfer(TMA(+)), facilitated ion transfer (potassium ion transfer facilitated by DB18C6), and electron transfer (ferrocene and ferri/ferrocyanide system) have been investigated by cyclic voltammetry. The experimental results show that a very thin aqueous film, linking both barrels filled with the aqueous solution and the organic solution respectively, can spontaneously be formed on the outer glass surface of such a double-barrel micropipette to construct a micro-liquid/liquid interface, which provides the asymmetry of diffusion field. Such device is demonstrated experimentally which can be employed as one of the simplest electrochemical cells to investigate the charge transfer across the liquid/liquid interface.

Mechanisms of sodium and potassium ions transfer facilitated by dibenzo-15-crown-5 across the water /1,2-dichloroethane interface using micropipettes

The transfer of sodium and potassium ions facilitated by dibenzo-15-crown-5 (DB15C5) has been studied at the micro-water/1,2-dichloroethane (water/DCE) interface supported at the tip of a micropipette. Cyclic volt-ammetric measurements were performed in two limiting conditions: the bulk concentration of Na+ or K+ in the aqueous phase is much higher than that of DB15C5 in the organic phase (DB15C5 diffusion controlled process) and the reverse condition (metal ion diffusion controlled process). The mechanisms of the facilitated Na+ transfer by DB15C5 are both transfer by interfacial complexation (TIC) with 1 : 1 stoichiometry under these two conditions, and the corresponding association constants were determined at log beta(1) = 8.97 +/- 0.05 or log beta(1) = 8.63 +/- 0.03. However, the transfers of K+ facilitated by DB15C5 show different behavior. In the former case it is a TIC process and its stoichiometry is 1 : 2, whereas in the latter case two peaks during the forward scan were observed, the first of which was confirmed as the formation of K (DB15C5)(2) at the interface by a TIC mechanism, while the second one may be another TIC process with 1 : 1 stoichiometry in the more positive potential. The relevant association constants calculated for the complexed ion, K+(DB15C5)(2), in the organic phase in two cases, logbeta(2), are 13.64 +/- 0.03 and 11.34 +/- 0.24, respectively.

Voltammetric study of the sodium ion transfer across micro-water/1,2-dichloroethane interface facilitated by terminal-vinyl liquid crystal crown ether

Sodium ion transfer across micro-water/1,2-dichloroethane (DCE) interface facilitated by a novel ionophore, terminal-vinyl liquid crystal crown ether (LCCE) was studied by cyclic voltammetry. LCCEs have potential applications because of their physicochemical properties and the utilization of crown ethers as selective ionophoric units in other functionalized compounds are interesting. Host-guest-type behavior for such compounds in the liquid-crystalline state is studied. The experimental results suggest that the transfer of the sodium ion facilitated by LCCE was controlled by diffusion of LCCE from bulk solution of DCE to the interface. The diffusion coefficient of LCCE in DCE was calculated to be equal to (3.62 +/- 0.20) x 10(-6) cm(2)/s. Steady-state voltammograms are due to sodium ion transfer facilitated by the formation of 1: 1 metal (M)-LCCE complex at the interface and the mechanism tends to be transfer by interfacial complexation or dissociation (TIC or TID). The stability constant of the complex formed was determined to be log beta(o) = 5.5 in DCE phase. The influence of parameters such as concentration of sodium ion and concentration of LCCE on the sodium ion transfer was investigated.

Fabrication of agar-gel microelectrodes and their application in the study of ion transfer across the agar-water 1,2-dichloroethane interface

In this paper, we describe a simple procedure to make agar-gel microelectrodes by filling micropipettes. These microelectrodes were used to study K+ transfer across the agar-water \ 1,2-dichloroethane interface facilitated by dibenzo-18-crown-6 (DB18C6), and the transfer of tetraethylammonium (TEA(+)). The results observed were similar to those obtained at micro-liquid \ liquid interfaces. The effect of various amounts of agar in the aqueous phase was optimized and 3% agar was chosen based on the potential window and solidification time. The different shapes of micro-agar-gel electrodes were prepared in a similar way. The fabricated agar-gel microelectrodes obey the classical micro-disk steady-state current equation, which is different from the behavior of a normal micropipette filled with aqueous solution without silanization. (C) 2001 Elsevier Science B.V. All rights reserved.

The application of the MPB4 theory to the interface between between two immiscible electrolyte solutions .4. The differential capacitance of the water/nitrobenzene interface in the presence of 2:2 electrolyte

We have developed a new theoretical model based on the MPB4 theory to calculate the differential capacitance of the interface of 0.05mol/L MgSO4 in water and 0.1mol/L TBATPB in nitrobenzene. Our results coincide with the experimental values very well. It indicates that our model may describe well the structure of ITIES not only in the presence of 1:1 electrolyte but also in the presence of 2:2 electrolyte.

QUANTITATIVE THREE DIMENSIONAL ELASTICITY IMAGING

Neoplastic tissue is typically highly vascularized, contains abnormal concentrations of extracellular proteins (e.g. collagen, proteoglycans) and has a high interstitial fluid pres- sure compared to most normal tissues. These changes result in an overall stiffening typical of most solid tumors. Elasticity Imaging (EI) is a technique which uses imaging systems to measure relative tissue deformation and thus noninvasively infer its mechanical stiffness. Stiffness is recovered from measured deformation by using an appropriate mathematical model and solving an inverse problem. The integration of EI with existing imaging modal- ities can improve their diagnostic and research capabilities. The aim of this work is to develop and evaluate techniques to image and quantify the mechanical properties of soft tissues in three dimensions (3D). To that end, this thesis presents and validates a method by which three dimensional ultrasound images can be used to image and quantify the shear modulus distribution of tissue mimicking phantoms. This work is presented to motivate and justify the use of this elasticity imaging technique in a clinical breast cancer screening study. The imaging methodologies discussed are intended to improve the specificity of mammography practices in general. During the development of these techniques, several issues concerning the accuracy and uniqueness of the result were elucidated. Two new algorithms for 3D EI are designed and characterized in this thesis. The first provides three dimensional motion estimates from ultrasound images of the deforming ma- terial. The novel features include finite element interpolation of the displacement field, inclusion of prior information and the ability to enforce physical constraints. The roles of regularization, mesh resolution and an incompressibility constraint on the accuracy of the measured deformation is quantified. The estimated signal to noise ratio of the measured displacement fields are approximately 1800, 21 and 41 for the axial, lateral and eleva- tional components, respectively. The second algorithm recovers the shear elastic modulus distribution of the deforming material by efficiently solving the three dimensional inverse problem as an optimization problem. This method utilizes finite element interpolations, the adjoint method to evaluate the gradient and a quasi-Newton BFGS method for optimiza- tion. Its novel features include the use of the adjoint method and TVD regularization with piece-wise constant interpolation. A source of non-uniqueness in this inverse problem is identified theoretically, demonstrated computationally, explained physically and overcome practically. Both algorithms were test on ultrasound data of independently characterized tissue mimicking phantoms. The recovered elastic modulus was in all cases within 35% of the reference elastic contrast. Finally, the preliminary application of these techniques to tomosynthesis images showed the feasiblity of imaging an elastic inclusion.