7,113 research outputs found

    A Formal Theory of Key Conjuring

    Get PDF
    Key conjuring is the process by which an attacker obtains an unknown, encrypted key by repeatedly calling a cryptographic API function with random values in place of keys. We propose a formalism for detecting computationally feasible key conjuring operations, incorporated into a Dolev-Yao style model of the security API. We show that security in the presence of key conjuring operations is decidable for a particular class of APIs, which includes the key management API of IBM’s Common Cryptographic Architecture (CCA)

    The components of output growth: A cross-country analysis

    Get PDF
    Economic Growth;Output;Productivity

    Hospital efficiency analysis through individual effects: A Bayesian approach

    Get PDF
    Monte Carlo Technique;Hospitals;Bayesian Statistics;Markov Chains;Panel Data

    Physico-Chemical Techniques in the Study of Organic Molecules of Biological Importance

    Get PDF
    The work described in this Thesis consists of a study of the lipids present in the fatty nodules (plaques) which occur during the fatty degeneration of the human aorta associated with the disease atherosclerosis. For many years studies of the chemistry of these lesions have concentrated on the major classes of lipid constituents, viz. cholesterol, cholesterol esters, phospholipids and triglycerides: the minor lipid groups havebeen largely neglected. We have attempted to remedy this omission, since quantity is not necessarily a measure of biological significance. Early studies on the subject were severely handicapped by the absence of suitable techniques for the separation and identification of microgram quantities of material and as a result had to use large quantities of tissue requiring, in some cases, several years for collection. The necessarily prolonged nature of these investigations introduced the possibility of gross artefact formation and cast doubt on the authenticity of certain compounds identified as arterial constituents. In the present wort, thin-layer and gas-liquid chromatography (TLC and GLC) and gas chromatography-mass spectrometry (GC-MS) were used to enable each investigation to be restricted to plaque tissue from one aorta. Lesions from severely diseased aortas were dissected and solvent extracted within 24 hours post mortem. Division of the extract into its major components was effected by column chromatography on silicic acid. Repeated crystallisation of the sterol fraction from methanol enabled the concentration of several sterols chromato-graphically more polar than cholesterol. The most prominent of these was tentatively identified on the basis of its chromatographic behaviour as 26-hydroxycholesterol (cholest-5-ene-3beta,26-diol), a previously unknown tissue constituent. Confirmation of this structure was obtained by GC-MS, making use of the ability of trimethylsilyl ether derivatives to promote characteristic mass spectral fragmentations. Using a similar approach,7-ketocholesterol (3beta-hydroxycholest-5-ene-7-one); 7beta-hydroxycholesterol (cholest-5-ene-3beta,7beta-diol) and 5alpha-cholestane-3beta,5,6beta-triol were confirmed as constituents of this fraction as had been suggested by earlier investigators. Examination of the hydrocarbons, which had been neglected by previous workers, revealed that the major component was the isoprenoid hydrocarbon squalene. The initial identification wasmade by TLC, GLC and GC-MS and was corroborated by infrared spectrometry. Preparative TLC on silica gel impregnated with silver nitrate enabled the separation of two unsaturated steroidal hydrocarbons, later shown by mass spectrometry to be a cholestene and a cholestadiene, from a series of n-alkanes. Hydroxylation of the cholestene and GC-MS of the resulting diol in the form of the trimethylsilyl ether derivative has established that the compound present is largely cholest-5-ene. Work is in progress to determine the double bond positions in the cholestadiene. TLC analysis of silicic acid column eluates of polarityintermediate between triglycerides and cholesterol revealed theexistence of several unidentified esters which were furtherpurified by extensive chromatography. Acetylation demonstratedthat these esters contained unesterified hydroxyl groups. Theprincipal neutral compounds generated on hydrolysis were shown tobe cholesterol, 26-hydroxycholesterol and 7beta-hydroxycholesterol. The presence of the latter two sterols was not unexpected:however, the identification of cholesterol as a hydrolysis productnecessitated the postulation of the existence of an ester ofcholesterol with a hydroxy fatty acid. TLC and GLC studies onthe fatty acid portion of the molecule have confirmed this andGC-MS examination has shown that the major compounds are isomeric C18-monohydroxy acids each with two double bonds. TLC of sterol fractions (as propionate esters) on silica gel impregnated with silver nitrate has permitted the separation of desmosterol from an overwhelming mass of cholesterol. The relatively unsatisfactory behaviour of sterol propionates on GLC and GC-MS has led to the preferred use of trifluoroacetates. Using this approach we have been able to identify cholestanol in plaque extracts. It is difficult to assess the significance of these findings in relation to the development of human atherosclerosis, as only one stage of the disease has been examined. However, the methods developed will form the basis of a further investigation which will involve the study of plaques at various stages of evolution in an attempt to relate chemical changes within the artery wall to the pathogenesis of atherosclerosis

    A Stochastic Frontier Analysis of Output Level and Growth in Poland and Western Economies

    Get PDF
    This paper uses Bayesian stochastic frontier methods to measure the productivity gap between Poland and Western countries that existed before the beginning of the main Polish economic reform. Using data for 20 Western economies, Poland and Yugoslavia (1980-1990) we estimate a translog stochastic frontier and make inference about individual efficiencies. Following the methodology proposed in our earlier work, we also decompose output growth into technical, efficiency and input changes and examine patterns of growth in the period under consideration.Bayesian inference;efficiency;Gibbs sampling;productivity analysis;technical change

    A wireless ultrasonic NDT sensor system

    Get PDF
    Ultrasonic condition monitoring technologies have been traditionally utilized in industrial and construction environments where structural integrity is of concern. Such techniques include active systems with either single or multiple transmit-receiver combinations used to obtain defect positioning and magnitude. Active sensors are implemented in two ways; in a thickness operation mode, or as an area-mapping tool operating over longer distances. In addition, passive ultrasonic receivers can be employed to detect and record acoustic emission activity. Existing equipment requires cabling for such systems leading to expensive, complicated installations. This work describes the development and operation of a system that combines these existing ultrasonic technologies with modern wireless techniques within a miniaturized, battery-operated design. A completely wireless sensor has been designed that can independently record and analyze ultrasonic signals. Integrated into the sensor are custom ultrasonic transducers, associated analogue drive and receive electronics, and a Texas Instruments Digital Signal Processor (DSP) used to both control the system and implement the signal processing routines. BlueTooth wireless communication is used for connection to a central observation station, from where network operation can be controlled. Extending battery life is of prime importance and the device employs several strategies to do this. Low voltage transducer excitation suffers from poor signal-to-noise ratios, which can be enhanced by signal processing routines implemented on the DSP. Routines investigated include averaging, digital filtering and pulse compression

    Estimating end-use demand: A Bayesian approach

    Get PDF
    Eliminating negative end-use or appliance consumption estimates and incorporating direct metering information into the process of generating these estimates; these are two important aspects, of conditional demand analysis (CDA) that will be the focus of this raper. In both cases a Bayesian approach seems a natural way of proceeding. What needs to be investigated is whether it is also a viable and effective approach. In addition, such a framework naturally lends itself to prediction. Our application involves the estimation of electrical appliance consumptions for a sample of Australian households. This application is designed to illustrate the viability of a full Bayesian analysis of the problem
    • 

    corecore