Quantitative analysis of the leakage of confidential data

Basic information theory is used to analyse the amount of confidential information which may be leaked by programs written in a very simple imperative language. In particular, a detailed analysis is given of the possible leakage due to equality tests and if statements. The analysis is presented as a set of syntax-directed inference rules and can readily be automated

A static analysis for quantifying information flow in a simple imperative language

We propose an approach to quantify interference in a simple imperative language that includes a looping construct. In this paper we focus on a particular case of this definition of interference: leakage of information from private variables to public ones via a Trojan Horse attack. We quantify leakage in terms of Shannon's information theory and we motivate our definition by proving a result relating this definition of leakage and the classical notion of programming language interference. The major contribution of the paper is a quantitative static analysis based on this definition for such a language. The analysis uses some non-trivial information theory results like Fano's inequality and L1 inequalities to provide reasonable bounds for conditional statements. While-loops are handled by integrating a qualitative flow-sensitive dependency analysis into the quantitative analysis

Solar silicon via the Dow Corning process

Technical feasibility for high volume production of solar cell-grade silicon is investigated. The process consists of producing silicon from pure raw materials via the carbothermic reduction of quartz. This silicon was then purified to solar grade by impurity segregation during Czochralski crystal growth. Commercially available raw materials were used to produce 100 kg quantities of silicon during 60 hour periods in a direct arc reactor. This silicon produced single crystalline ingot, during a second Czochralski pull, that was fabricated into solar cells having efficiencies ranging from 8.2 percent to greater than 14 percent. An energy analysis of the entire process indicated a 5 month payback time

Solar silicon via the Dow Corning process

Carbon, as a reductant for quartz, must be made available so as to have suitable reactivity in conjunction with high purity, especially with respect to boron and phosphorus. A detailed experimental plan was developed to do this. Different sources of carbon were selected to be subjected to various purification methods and reactivity-enhancement processes. A developmental scale arc furnace was installed to perform quartz-carbon reactivity testing

Self similarity of two point correlations in wall bounded turbulent flows

The structure of turbulence at a height y from a wall is affected by the local mean shear at y, by the direct effect of the wall on the eddies, and by the action of other eddies close to or far from the wall. Some researchers believe that a single one of these mechanisms is dominant, while others believe that these effects have to be considered together. It is important to understand the relative importance of these effects in order to develop closure models, for example for the dissipation or for the Reynolds stress equation, and to understand the eddy structure of cross correlation functions and other measures. The specific objective was to examine the two point correlation, R sub vv, of the normal velocity component v near the wall in a turbulent channel flow and in a turbulent boundary layer. The preliminary results show that even in the inhomogeneous turbulent boundary layer, the two-point correlation function may have self similar forms. The results also show that the effects of shear and of blocking are equally important in the form of correlation functions for spacing normal to the wall. But for spanwise spacing, it was found that the eddy structure is quire different in these near flows. So any theory for turbulent structure must take both these effects into account

Hypersonic Airbreathing Missile

A hypersonic airbreathing missile using dual mode scramjet engines for propulsion is described. The fuselage is constructed of a material with a high heat sink capacity and is covered with a thermal protective shield and lined with an internal insulating blanket. The engine airframe integration uses the flat lower portion of the lower fuselage to precompress the air entering the scramjet engines. The precompression of air entering the scramjet inlets increases as the angles of attack. This feature results in a highly maneuverable missile which can accelerate as it banks into a turn

Characterizing the dynamical importance of network nodes and links

The largest eigenvalue of the adjacency matrix of the networks is a key quantity determining several important dynamical processes on complex networks. Based on this fact, we present a quantitative, objective characterization of the dynamical importance of network nodes and links in terms of their effect on the largest eigenvalue. We show how our characterization of the dynamical importance of nodes can be affected by degree-degree correlations and network community structure. We discuss how our characterization can be used to optimize techniques for controlling certain network dynamical processes and apply our results to real networks.Comment: 4 pages, 4 figure

Phase transition in a log-normal Markov functional model

We derive the exact solution of a one-dimensional Markov functional model with log-normally distributed interest rates in discrete time. The model is shown to have two distinct limiting states, corresponding to small and asymptotically large volatilities, respectively. These volatility regimes are separated by a phase transition at some critical value of the volatility. We investigate the conditions under which this phase transition occurs, and show that it is related to the position of the zeros of an appropriately defined generating function in the complex plane, in analogy with the Lee-Yang theory of the phase transitions in condensed matter physics.Comment: 9 pages, 5 figures. v2: Added asymptotic expressions for the convexity-adjusted Libors in the small and large volatility limits. v3: Added one reference. Final version to appear in Journal of Mathematical Physic

Top-mounted inlet system feasibility for transonic-supersonic fighter aircraft

The more salient findings are presented of recent top inlet performance evaluations aimed at assessing the feasibility of top-mounted inlet systems for transonic-supersonic fighter aircraft applications. Top inlet flow field and engine-inlet performance test data show the influence of key aircraft configuration variables-inlet longitudinal position, wing leading-edge extension planform area, canopy-dorsal integration, and variable incidence canards-on top inlet performance over the Mach range of 0.6 to 2.0. Top inlet performance data are compared with those or more conventional inlet/airframe integrations in an effort to assess the viability of top-mounted inlet systems relative to conventional inlet installations