On the leakage resilience of secure channel establishment

Secure communication channels are typically constructed from an authenticated key exchange (AKE) protocol, which authenticates the communicating parties and establishes shared secret keys, and a secure data transmission layer, which uses the secret keys to encrypt data. We address the partial leakage of communicating parties' long-term secret keys due to various side-channel attacks, and the partial leakage of plaintext due to data compression. Both issues can negatively affect the security of channel establishment and data transmission. In this work, we advance the modelling of security for AKE protocols by considering more granular partial leakage of parties' long-term secrets. We present generic and concrete constructions of two-pass leakage-resilient key exchange protocols that are secure in the proposed security models. We also examine two techniques--heuristic separation of secrets and fixed-dictionary compression--for enabling compression while protecting high-value secrets.

Alamethicin and related membrane channel forming polypeptides

Alamethicin and several related microbial polypeptides, which contain a high proportion of agr-aminoisobutyric acid (Aib) residues, possess the ability to modify the permeability properties of phospholipid bilayer membranes. Alamethicin induces excitability phenomena in model membranes and has served as an excellent model for the study of voltage sensitive transmembrane channels. This review summarizes various aspects of the structural chemistry and membrane modifying properties of alamethicin and related Alb containing peptides. The presence of Aib residues in these sequences, constrains the polypeptides to 310 or agr-helical conformations. Functional membrane channels are formed by aggregation of cylindrical peptide helices, which span the lipid bilayer, forming a scaffolding for an aqueous column across the membrane. After consideration of the available data on the conductance characteristics of alamethicin channels, a working, hypothesis for a channel model is outlined. Channel aggregates in the lipid phase may be stabilized by intermolecular hydrogen bonding, involving a central glutamine residue and also by interactions between the macro-dipoles of proximate peptide helices. Fluctuations between different conductance states are rationalized by transitions between states of different aggregation and hence altered dimensions of the aqueous core or by changes in net dipole moment of the aggregate. Ion fluxes through the channel may also be affected by the electric field within the aqueous core.

The helical conformations of 14- and 16-residue fragments of suzukacillin, a membrane channel-forming polypeptide

The suzukacillin fragments, Boc-Ala-Aib-Aib-Gln-Aib-Leu-Aib-Gly-Leu-Aib-Pro-Val-Aib-Aib-OMe (14), Boc-Ala-Aib-Ala-Aib-Aib-Gln-Aib-Leu-Aib-Gly-Leu-Aib-Pro-Val-Aib-Aib-OMe (16G) and the completely apolar 16-residue peptide in which the glutamine residue has been replaced by alanine (16A) have been studied by 270 MHz 1H-HMR, in C2HCl3 and (C2H3)2SO solution. Intramolecularly hydrogen-bonded NH groups have been identified by temperature and solvent dependence of chemical shifts. Peptides 14 and 16A adopt folded 310 helical conformations stabilized by 11 and 13 hydrogen bonds, respectively. In peptide 16G there are 12 intramolecular hydrogen bonds, with the glycine NH being solvent-exposed, in contrast to 14 and 16A.

Helical conformations of three crystalline pentapeptide fragments of suzukacillin, a membrane channel forming polypeptide

The crystal structures of three pentapeptide fragments of suzukacillin-A have been determined. Boc-Aib-Pro-Val-Aib-Val-OMe (peptide 1–5) adopts a distorted helical conformation, stabilized by three intramolecular hydrogen bonds (two 5→1, one 4→1). Boc-Ala-Aib-Ala-Aib-Aib-OMe (peptide 6–10) and Boc-Leu-Aib-Pro-Val-Aib-OMe (peptide 16–20) adopt 310 helical structures stabilized by three and two 4→1 intramolecular hydrogen bonds, respectively. These structures provide substantial support for a largely helical conformation for the suzukacillin membrane channel.

Space-Time Codes Achieving the DMD Tradeoff of the MIMO-ARQ Channel

For the quasi-static, Rayleigh-fading multiple-input multiple-output (MIMO) channel with n(t) transmit and n(r) receive antennas, Zheng and Tse showed that there exists a fundamental tradeoff between diversity and spatial-multiplexing gains, referred to as the diversity-multiplexing gain (D-MG) tradeoff. Subsequently, El Gamal, Caire, and Damen considered signaling across the same channel using an L-round automatic retransmission request (ARQ) protocol that assumes the presence of a noiseless feedback channel capable of conveying one bit of information per use of the feedback channel. They showed that given a fixed number L of ARQ rounds and no power control, there is a tradeoff between diversity and multiplexing gains, termed the diversity-multiplexing-delay (DMD) tradeoff. This tradeoff indicates that the diversity gain under the ARQ scheme for a particular information rate is considerably larger than that obtainable in the absence of feedback. In this paper, a set of sufficient conditions under which a space-time (ST) code will achieve the DMD tradeoff is presented. This is followed by two classes of explicit constructions of ST codes which meet these conditions. Constructions belonging to the first class achieve minimum delay and apply to a broad class of fading channels whenever n(r) >= n(t) and either L/n(t) or n(t)kslashL. The second class of constructions do not achieve minimum delay, but do achieve the DMD tradeoff of the fading channel for all statistical descriptions of the channel and for all values of the parameters n(r,) n(t,) L.

Identification of a mutation in the para-sodium channel gene of the cattle tick Rhipicephalus (Boophilus) microplus associated with resistance to synthetic pyrethroid acaricides

Resistance against synthetic pyrethroid (SP) products for the control of cattle ticks in Australia was detected in the field in 1984, within a very short time of commercial introduction. We have identified a mutation in the domain II S4-5 linker of the para-sodium channel that is associated with resistance to SPs in the cattle tick Rhipicephalus (Boophilus) microplus from Australia. The cytosine to adenine mutation at position 190 in the R. microplus sequence AF134216, results in an amino acid substitution from leucine in the susceptible strain to isoleucine in the resistant strain. A similar mutation has been shown to confer SP resistance in the whitefly, Bemisia tabaci, but has not been described previously in ticks. A diagnostic quantitative PCR assay has been developed using allele-specific Taqman® minor groove-binding (MGB) probes. Using the assay to screen field and laboratory populations of ticks showed that homozygote allelic frequencies correlated highly with the survival percentage at the discriminating concentration of cypermethrin.

Stream power criterion and design of sand bed channels at incipient motion

The critical stream power criterion may be used to describe the incipient motion of cohesionless particles of plane sediment beds. The governing equation relating ``critical stream power'' to ``shear Reynolds number'' is developed by using the present experimental data as well as the data from several other sources. Simultaneously, a resistance equation, relating the ``particle Reynolds number'' to the``shear Reynolds number'' is developed for plane sediment beds in wide channels with little or no transport. By making use of these relations, a procedure is developed to design plane sediment beds such that any two of the four design variables, including particle size, energy/friction slope, flow depth, and discharge per unit width in the channel should be known to predict the remaining two variables. Finally, a straightforward design procedure using design tables/design curves and analytical methods is presented to solve six possible design problems.

A solid state pulsed NMR spectrometer

A 10 MHz pulsed NMR spectrometer, built using mostly solid state devices, is described. The pulse programmer provides 2-pulse, 3-pulse, saturation burst and Carr-Purcell sequences both in repetitive and manual modes of operation. The transmitter has a maximum power output of ∼ 2 kW with a 75 Ω output impedance termination. The total gain of the receiver system is around 120 dB with a minimum band width of 2 MHz. The recovery time of the receiver is ∼ 7 µsec. A two-channel boxcar integrator capable of working in the single channel, differential and double boxcar modes provides signal to noise ratio improvement. The sensitivity and the linearity of the boxcar integrator are ∼ 2 mV and ∼ 0.1% respectively.

Sustainable Grazing in the Channel Country Floodplains (phase 2) : A technical report on findings between March 2003 and June 2006

‘Sustainable Grazing in the Channel Country Floodplains’ was initiated by industry to redress the lack of objective information for sustainable management in the floodplains of Cooper Creek and the Diamantina and Georgina Rivers. The project has maintained links with the grazing community and has extensively drawn upon expert local experience and knowledge. The project has provided tools for managers to better anticipate the size of beneficial flooding arising from rains in the upper catchment and to more objectively assess the value of the pasture resulting from flooding. The latest information from the project has enabled customisation of the EDGENetwork™ Grazing Land Management training package for the Channel Country. In combination, these tools will assist in making earlier cattle stocking decisions, including when cattle may need to be mustered out of floodplain paddocks, how many additional cattle will be required to take advantage of the flood–grown pasture, and the timing of cattle turnoff. These will reduce costs by providing a greater lead time to plan cattle movements and purchases, and may enhance the sustainability of the resource base by better matching cattle numbers with the feed on offer.

Transmission of Correlated Sources Over a Fading Multiple Access Channel

In this paper we address the problem of transmission of correlated sources over a fading multiple access channel (MAC). We provide sufficient conditions for transmission with given distortions. Next these conditions are specialized to a Gaussian MAC (GMAC). Transmission schemes for discrete and Gaussian sources over a fading GMAC are considered. Various power allocation strategies are also compared.

Non-Destructive Method to Estimate the Moisture Content in Bread using Multi-Channel Electrical Impedance Spectroscopy

Bread undergoes several physicochemical changes during storage that results in a rapid loss of freshness. These changes depend on moisture content present in bread product. An instrument based on electrical impedance spectroscopy technique is developed to estimate moisture content of bread at different zones using designed multi-channel ring electrodes. A dedicated AT89S52 microcontroller and associated peripherals are employed for hardware. A constant current is applied across bread loaf through central pair of electrodes and developed potential across different zones of bread loaf are measured using remaining four ring electrode pairs. These measured values of voltage and current are used to measure the impedance at each zone. Electrical impedance behavior of the bread loaf at crust and crumb is investigated during storage. A linear relationship is observed between the measured impedance and moisture content present in crust and crumb of bread loaf during storage of 120 hours.

Reverse Channel Training For Reciprocal Mimo Systems With Spatial Multiplexing

This paper investigates the problem of designing reverse channel training sequences for a TDD-MIMO spatial-multiplexing system. Assuming perfect channel state information at the receiver and spatial multiplexing at the transmitter with equal power allocation to them dominant modes of the estimated channel, the pilot is designed to ensure an stimate of the channel which improves the forward link capacity. Using perturbation techniques, a lower bound on the forward link capacity is derived with respect to which the training sequence is optimized. Thus, the reverse channel training sequence makes use of the channel knowledge at the receiver. The performance of orthogonal training sequence with MMSE estimation at the transmitter and the proposed training sequence are compared. Simulation results show a significant improvement in performance.

Evolution of texture during equal channel angular extrusion of commercially pure aluminum: Experiments and simulations

The evolution of crystallographic texture has been comprehensively studied for commercially pure Al as a function of amount of ECAE deformation for the three major routes of ECAE processing. It has been observed that processing through different routes leads to different type of texture, in both qualitative as well as quantitative sense. The results have been analyzed on the basis of existing concepts on ECAE deformation and simulations have been carried out using the simple shear model of ECAE implemented into the Viscoplastic Self Consistent model of polycrystal plasticity. The simulations revealed that non-octahedral slip is needed to reproduce the experimental texture development.

Phase accumulated carrier pulse width modulation

An alternative approach to digital PWM generation uses an accumulator rather than a counter to generate the carrier. This offers several advantages. The resolution and gain of the pulse width modulator remain constant regardless of the module clock frequency and PWM output frequency. The PWM resolution also becomes fixed at the register width. Even at high PWM frequencies, the resolution remains high when averaged over a number of PWM cycles. An inherent dithering of the PWM waveform introduced over successive cycles blurs the switching spectra without distorting the modulating waveform. The technique also lends itself to easily generating several phase shifted PWM waveforms suitable for multilevel converter modulation. Several example waveforms generated using both simulation and FPGA hardware are presented.