Multi-party computation with omnipresent adversary

Secure multi-party computation (MPC) protocols enable a set of n mutually distrusting participants P 1, ..., P n , each with their own private input x i , to compute a function Y = F(x 1, ..., x n ), such that at the end of the protocol, all participants learn the correct value of Y, while secrecy of the private inputs is maintained. Classical results in the unconditionally secure MPC indicate that in the presence of an active adversary, every function can be computed if and only if the number of corrupted participants, t a , is smaller than n/3. Relaxing the requirement of perfect secrecy and utilizing broadcast channels, one can improve this bound to t a  < n/2. All existing MPC protocols assume that uncorrupted participants are truly honest, i.e., they are not even curious in learning other participant secret inputs. Based on this assumption, some MPC protocols are designed in such a way that after elimination of all misbehaving participants, the remaining ones learn all information in the system. This is not consistent with maintaining privacy of the participant inputs. Furthermore, an improvement of the classical results given by Fitzi, Hirt, and Maurer indicates that in addition to t a actively corrupted participants, the adversary may simultaneously corrupt some participants passively. This is in contrast to the assumption that participants who are not corrupted by an active adversary are truly honest. This paper examines the privacy of MPC protocols, and introduces the notion of an omnipresent adversary, which cannot be eliminated from the protocol. The omnipresent adversary can be either a passive, an active or a mixed one. We assume that up to a minority of participants who are not corrupted by an active adversary can be corrupted passively, with the restriction that at any time, the number of corrupted participants does not exceed a predetermined threshold. We will also show that the existence of a t-resilient protocol for a group of n participants, implies the existence of a t’-private protocol for a group of n′ participants. That is, the elimination of misbehaving participants from a t-resilient protocol leads to the decomposition of the protocol. Our adversary model stipulates that a MPC protocol never operates with a set of truly honest participants (which is a more realistic scenario). Therefore, privacy of all participants who properly follow the protocol will be maintained. We present a novel disqualification protocol to avoid a loss of privacy of participants who properly follow the protocol.

Use of simple pharmacokinetic modeling to characterize exposure of Australians to perfluorooctanoic acid and perfluorooctane sulfonic acid

Perflurooctanoic acid (PFOA) and perfluorooctane sulfonic acid (PFOS) have been used for a variety of applications including fluoropolymer processing, fire-fighting foams and surface treatments since the 1950s. Both PFOS and PFOA are polyfluoroalkyl chemicals (PFCs), man-made compounds that are persistent in the environment and humans; some PFCs have shown adverse effects in laboratory animals. Here we describe the application of a simple one compartment pharmacokinetic model to estimate total intakes of PFOA and PFOS for the general population of urban areas on the east coast of Australia. Key parameters for this model include the elimination rate constants and the volume of distribution within the body. A volume of distribution was calibrated for PFOA to a value of 170ml/kgbw using data from two communities in the United States where the residents' serum concentrations could be assumed to result primarily from a known and characterized source, drinking water contaminated with PFOA by a single fluoropolymer manufacturing facility. For PFOS, a value of 230ml/kgbw was used, based on adjustment of the PFOA value. Applying measured Australian serum data to the model gave mean+/-standard deviation intake estimates of PFOA of 1.6+/-0.3ng/kgbw/day for males and females >12years of age combined based on samples collected in 2002-2003 and 1.3+/-0.2ng/kg bw/day based on samples collected in 2006-2007. Mean intakes of PFOS were 2.7+/-0.5ng/kgbw/day for males and females >12years of age combined based on samples collected in 2002-2003, and 2.4+/-0.5ng/kgbw/day for the 2006-2007 samples. ANOVA analysis was run for PFOA intake and demonstrated significant differences by age group (p=0.03), sex (p=0.001) and date of collection (p<0.001). Estimated intake rates were highest in those aged >60years, higher in males compared to females, and higher in 2002-2003 compared to 2006-2007. The same results were seen for PFOS intake with significant differences by age group (p<0.001), sex (p=0.001) and date of collection (p=0.016).

Integrated approach for diagnostics and prognostics of HP LNG pump based on health state probability estimation

Effective machine fault prognostic technologies can lead to elimination of unscheduled downtime and increase machine useful life and consequently lead to reduction of maintenance costs as well as prevention of human casualties in real engineering asset management. This paper presents a technique for accurate assessment of the remnant life of machines based on health state probability estimation technique and historical failure knowledge embedded in the closed loop diagnostic and prognostic system. To estimate a discrete machine degradation state which can represent the complex nature of machine degradation effectively, the proposed prognostic model employed a classification algorithm which can use a number of damage sensitive features compared to conventional time series analysis techniques for accurate long-term prediction. To validate the feasibility of the proposed model, the five different level data of typical four faults from High Pressure Liquefied Natural Gas (HP-LNG) pumps were used for the comparison of intelligent diagnostic test using five different classification algorithms. In addition, two sets of impeller-rub data were analysed and employed to predict the remnant life of pump based on estimation of health state probability using the Support Vector Machine (SVM) classifier. The results obtained were very encouraging and showed that the proposed prognostics system has the potential to be used as an estimation tool for machine remnant life prediction in real life industrial applications.

Agility in construction

Agile Project Management (APM) is a human-centred method for increasing customer-perceived value in a reliable manner. It has been proven to be particularly suited to creative projects such as Information Systems (IS) development and new product development in the automotive industry (this is in contrast to ‘lean production’ which has proved so useful to automotive production waste elimination). Construction is similarly largely a creative industry and might usefully adopt APM to improve its own reliable value delivery, rather than solely following the industrial trend of lean production. This paper describes APM, comparing it with two prominent lean construction initiatives, and then assesses by phase the potential for any impact of APM in construction. In conclusion: APM would have benefits for all phases of construction, particularly in planning and design, but its adoption for actual construction would generally be disrupted because of the lack of a coherent, well trained and trusted workforce.

Competitive charge-remote and anion-induced fragmentations of the non-8-enoate anion. A charge-remote reaction which co-occurs with hydrogen scrambling

The non-8-enoate anion undergoes losses of the elements of C3H6, C4H8 and C6H12 on collisional activation, The mechanisms of these processes have been elucidated by a combination of product ion and labelling (H-2 and C-13) studies, together with a neutralisation reionisation mass spectrometric study. These studies allow the following conclusions to be made. (i) The loss of C3H6 involves cyclisation of the enolate anion of non-8-enoic acid to yield the cyclopentyl carboxylate anion and propene. (ii) The loss of 'C4H8' is a charge-remote process (one which proceeds remote from the charged centre) which yields the pent-4-enoate anion, butadiene and dihydrogen. This process co-occurs and competes with complex H scrambling. (iii) The major loss of 'C6H12' occurs primarily by a charge-remote process yielding the acrylate anion, hexa-1,5-diene and dihydrogen, but in this case no H scrambling accompanies the process. (iv) It is argued that the major reason why the two charge-remote processes occur in preference to anion-induced losses of but-l-ene and hex-l-ene from the respective 4- and 2-anions is that although these anions are formed, they have alternative and lower energy fragmentation pathways than those involving the losses of but-l-ene and hex-l-ene; viz. the transient 4-anion undergoes facile proton transfer to yield a more stable anion, whereas the 2-(enolate) anion undergoes preferential cyclisation followed by elimination of propene [see (i) above].

The loss of CO from the ortho, meta and para forms of deprotonated methyl benzoate in the gas phase

The ortho, meta and para anions of methyl benzoate may be made in the source of a mass spectrometer by the S(N)2(Si) reactions between HO- and methyl (o-, m-, and p-trimethylsilyl)benzoate respectively. All three anions lose CO upon collisional activation to form the ortho anion of anisole in the ratio ortho>>meta > para. The rearrangement process is charge directed through the ortho anion. Theoretical calculations at the B3LYP/6-311++G(d,p)//HF/6-31+G(d) level of theory indicate that the conversion of the meta and para anions to the ortho anion prior to loss of CO involve 1,2-H transfer(s), rather than carbon scrambling of the methoxycarbonylphenyl anion. There are two mechanisms which can account for this rearrangement, viz. (A) cyclisation of the ortho anion centre to the carbonyl group of the ester to give a cyclic carbonyl system in which the incipient methoxide anion substitutes at one of the two equivalent ring carbons of the three membered ring to yield an intermediate which loses CO to give the ortho anion of anisole, and (B) an elimination reaction to give an intermediate benzyne-methoxycarbonyl anion complex in which the MeOCO- species acts as a MeO- donor, which then adds to benzyne to yield the ortho anion of anisole. Calculations at the B3LYP/6-311++G(d,p)//HF/6-31+G(d) level of theory indicate that (i) the barrier in the first step (the rate determining step) of process A is 87 kJ mol(-1) less than that for the synchronous benzyne process B, and (ii) there are more low frequency vibrations in the transition state for benzyne process B than for the corresponding transition state for process A. Stepwise process A has the lower barrier for the rate determining step, and the lower Arrhenius factor: we cannot differentiate between these two mechanisms on available evidence.

Base-induced decomposition of alkyl hydroperoxides in the gas phase. Part 3. Kinetics and dynamics in HO-+CH3OOH, C2H5OOH, and tert-C4H9OOH reactions

The E-CO(2) elimination reactions of alkyl hydroperoxides proceed via abstraction of an (x-hydrogen by a base: X- + (RRHCOOH)-R-1-H-2 -> HX + (RRC)-R-1-C-2=O + HO-. Efficiencies and product distributions for the reactions of the hydroxide anion with methyl, ethyl, and tert-butyl hydroperoxides are studied in the gas phase. On the basis of experiments using three isotopic analogues, HO- + CH3OOH, HO- + CD3OOH, and H18O- + CH3OOH. the overall intrinsic reaction efficiency is determined to be 80% or greater. The E(CO)2 decomposition is facile for these methylperoxide reactions, and predominates over competing proton transfer at the hydroperoxide moiety. The CH3CH2OOH reaction displays a similar E(CO)2 reactivity, whereas proton transfer and the formation of HOO- are the exclusive pathways observed for (CH3)(3)COOH, which has no (x-hydrogen. All results are consistent with the E-CO(2) mechanism, transition state structure, and reaction energy diagrams calculated using the hybrid density functional B3LYP approach. Isotope labeling for HO- + CH3OOH also reveals some interaction between H2O and HO- within the E(CO)2 product complex [H2O center dot center dot center dot CH2=O center dot center dot center dot HO-]. There is little evidence, however. for the formation of the most exothermic products H2O + CH2(OH)O-, which would arise from nuclephilic condensation of CH2=O and HO-. The results suggest that the product dynamics are not totally statistical but are rather direct after the E-CO(2) transition state. The larger HO- + CH3CH2OOH system displays more statistical behavior during complex dissociation.

Direct observation of the gas phase reaction of the cyclohexyl radical with dioxygen using a distonic radical ion approach

Alkylperoxyl radicals are intermediates in the oxidation Of hydrocarbons. The reactive nature of these intermediates, however, has made therin elusive to direct observation and isolation. We have employed ion trap mass spectrometry to synthesize and characterize 4-carboxylatocyclohexyl radical anions ((center dot)C(6)H(10)-CO(2)(-)) and observe their reactivity in the presence of dioxygen. The resulting reaction is facile (k = 1.8 x 10(-10) cm(3) molecule(-1) s(-1) or 30% of calculated collision rate) and results in (i) the addition Of O(2) to form stabilized 4-carboxylatocyclohexylperoxyl radical anions ((center dot)OO-C(6)H(10)-CO(2)(-)), providing the first direct observation of a cyclohexylperoxyl radical, and (ii) elimination of HO(2)(center dot) and HO(center dot) radicals consistent with recent laser-induced fluorescence studies of the reaction of neutral cyclohexyl radicals with O(2). Electronic structure calculations at the B3LYP/6-31+G(d) level of theory reveal viable pathways for the observed reactions showing that formation of the peroxyl radical is exothermic by 37 kcal mol(-1) with subsequent transition states its low as -6.6 kcal mol(-1) (formation of HO(2)(center dot)) and -9.1 kcal mol(-1) (formation of HO(center dot)) with respect to the entrance channel. The combined computational and experimental data Suggest that the structures of the reaction products correspond to cyclohexenes and epoxides from HO(2)(center dot) and HO(center dot) loss, respectively, while alternative pathways leading to cyclohexanone or ring-opened isomers ate not observed, Activation of the charged peroxyl radical (center dot)OO-C(6)H(10)-CO(2)(-) by collision induced disassociation also results in the loss Of HO(2)(center dot) and HO(center dot) radicals confirming that these products are directly connected to the peroxyl radical intermediate.

Reactions of the hydroperoxide anion with dimethyl methylphosphonate in an ion trap mass spectrometer : evidence for a gas phase alpha-effect

The gas phase degradation reactions of the chemical warfare agent (CWA) simulant, dimethyl methylphosphonate (DMMP), with the hydroperoxide anion (HOO(-)) were investigated using a modified quadrupole ion trap mass spectrometer. The HOO(-) anion reacts readily with neutral DMMP forming two significant product ions at m/z 109 and m/z 123. The major reaction pathways correspond to (i) the nucleophilic substitution at carbon to form \[CH(3)P(O)(OCH(3))O](-) (m/z 109) in a highly exothermic process and (ii) exothermic proton transfer. The branching ratios of the two reaction pathways, 89% and 11% respectively, indicate that the former reaction is significantly faster than the latter. This is in contrast to the trend for the methoxide anion with DMMP, where proton transfer dominates. The difference in the observed reactivities of the HOO(-) and CH(3)O(-) anions can be considered as evidence for an a-effect in the gas phase and is supported by electronic structure calculations at the B3LYP/aug-cc-pVTZ//B3LYP/6-31+G(d) level of theory that indicate the S(N)2(carbon) process has an activation energy 7.8 kJ mol(-1) lower for HOO(-) as compared to CH(3)O(-). A similar alpha-effect was calculated for nucleophilic addition-elimination at phosphorus, but this process an important step in the perhydrolysis degradation of CWAs in solution - was not observed to occur with DMMP in the gas phase. A theoretical investigation revealed that all processes are energetically accessible with negative activation energies. However, comparison of the relative Arrhenius pre-exponential factors indicate that substitution at phosphorus is not kinetically competitive with respect to the S(N)2(carbon) and deprotonation processes.

Anionic migration in aromatic systems effected by collisional activation. Unusual fragmentations of deprotonated anilides containing methoxyl and ethoxyl substituents

Long-range cross-ring reactions occur when (M - H)(-) ions of methoxy- and ethoxy-C6H4-(-)NCOR (R = H, CH3, C6H5 and CH3O) are subjected to collisional activation, These reactions are generally minor processes: a particular example is the cross-ring elimination p-C2H5O-C6H4-(NCOCH3)-N-- --> [CH3-(p-C2H5O-C6H4-NCO)] --> p-(O--)-C6H4-NCO + C2H4 + CH4. Major processes of these (M - H)(-) ions involve (i) losses of radicals to form stabilised radical anions, e.g. (a) loss of a ring H-. or (b) CH3. (or C2H5.) from the alkoxy group, and (ii) proximity effects when the two substituents are ortho, e.g. loss of CH3OH from o-CH3O-C6H4-(NCHO)-N-- yields deprotonated benzoxazole. Another fragmentation of an arylmethoxyl anion involves loss of CH2O. It is proposed that losses of CH2O are initiated by anionic centres but the actual mechanisms in the cases studied depend upon the substitution pattern of the methoxyanilide: o- and p-methoxyanilides may undergo ipso proton transfer/elimination reactions, whereas the in-analogues undergo proton transfer reactions to yield an o-CH3O substituted aryl carbanion followed by proton transfer from CH3O to the carbanion site with concomitant loss of CH2O.

Ion-molecule reactions of O,S-Dimethyl methylphosphonothioate : Evidence for intramolecular sulfur oxidation during VX perhydrolysis

The alkaline perhydrolysis of the nerve agent O-ethyl S-[2-(diisopropylamino)ethyl] methylphosphonothioate (VX) was investigated by studying the ion-molecule reactions of HOO(-) with O,S-dimethyl methylphosphonothioate in a modified linear ion-trap mass spectrometer. In addition to simple proton transfer, two other abundant product ions are observed at m/z 125 and 109 corresponding to the S-methyl methylphosphonothioate and methyl methylphosphonate anions, respectively. The structure of these product ions is demonstrated by a combination of collision-induced dissociation and isotope-labeling experiments that also provide evidence for their formation by nucleophilic reaction pathways, namely, (i) S(N)2 at carbon to yield the S-methyl methylphosphonothioate anion and (ii) nucleophilic addition at phosphorus affording a reactive pentavalent intermediate that readily undergoes internal sulfur oxidation and concomitant elimination of CH(3)SOH to yield the methyl methylphosphonate anion. Consistent with previous Solution phase observations of VX perhydrolysis, the toxic P-O cleavage product is not observed in this VX model system and theoretical calculations identify P-O cleavage to be energetically uncompetitive. Conversely, intramolecular sulfur oxidation is calculated to be extremely exothermic and kinetically accessible explaining its competitiveness with the facile gas phase proton transfer process. Elimination of a sulfur moiety deactivates the nerve agent VX and thus the intramolecular sulfur oxidation process reported here is also able to explain the selective perhydrolysis of the nerve agent to relatively nontoxic products.

Algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering

This paper presents algebraic attacks on SOBER-t32 and SOBER-t16 without stuttering. For unstuttered SOBER-t32, two different attacks are implemented. In the first attack, we obtain multivariate equations of degree 10. Then, an algebraic attack is developed using a collection of output bits whose relation to the initial state of the LFSR can be described by low-degree equations. The resulting system of equations contains 2^69 equations and monomials, which can be solved using the Gaussian elimination with the complexity of 2^196.5. For the second attack, we build a multivariate equation of degree 14. We focus on the property of the equation that the monomials which are combined with output bit are linear. By applying the Berlekamp-Massey algorithm, we can obtain a system of linear equations and the initial states of the LFSR can be recovered. The complexity of attack is around O(2^100) with 2^92 keystream observations. The second algebraic attack is applicable to SOBER-t16 without stuttering. The attack takes around O(2^85) CPU clocks with 2^78 keystream observations.

Reduction of amplitude equations by the renormalization group approach

This article elucidates and analyzes the fundamental underlying structure of the renormalization group (RG) approach as it applies to the solution of any differential equation involving multiple scales. The amplitude equation derived through the elimination of secular terms arising from a naive perturbation expansion of the solution to these equations by the RG approach is reduced to an algebraic equation which is expressed in terms of the Thiele semi-invariants or cumulants of the eliminant sequence { Zi } i=1 . Its use is illustrated through the solution of both linear and nonlinear perturbation problems and certain results from the literature are recovered as special cases. The fundamental structure that emerges from the application of the RG approach is not the amplitude equation but the aforementioned algebraic equation. © 2008 The American Physical Society.

The renormalization group and the implicit function theorem for amplitude equations

This article lays down the foundations of the renormalization group (RG) approach for differential equations characterized by multiple scales. The renormalization of constants through an elimination process and the subsequent derivation of the amplitude equation [Chen, Phys. Rev. E 54, 376 (1996)] are given a rigorous but not abstract mathematical form whose justification is based on the implicit function theorem. Developing the theoretical framework that underlies the RG approach leads to a systematization of the renormalization process and to the derivation of explicit closed-form expressions for the amplitude equations that can be carried out with symbolic computation for both linear and nonlinear scalar differential equations and first order systems but independently of their particular forms. Certain nonlinear singular perturbation problems are considered that illustrate the formalism and recover well-known results from the literature as special cases. © 2008 American Institute of Physics.

Secular series and renormalization group for amplitude equations

We have developed a technique that circumvents the process of elimination of secular terms and reproduces the uniformly valid approximations, amplitude equations, and first integrals. The technique is based on a rearrangement of secular terms and their grouping into the secular series that multiplies the constants of the asymptotic expansion. We illustrate the technique by deriving amplitude equations for standard nonlinear oscillator and boundary-layer problems. © 2008 The American Physical Society.