Foundations of quantitative information flow: Channels, cascades, and the information order

Secrecy is fundamental to computer security, but real systems often cannot avoid leaking some secret information. For this reason, the past decade has seen growing interest in quantitative theories of information flow that allow us to quantify the information being leaked. Within these theories, the system is modeled as an information-theoretic channel that specifies the probability of each output, given each input. Given a prior distribution on those inputs, entropy-like measures quantify the amount of information leakage caused by the channel. ^ This thesis presents new results in the theory of min-entropy leakage. First, we study the perspective of secrecy as a resource that is gradually consumed by a system. We explore this intuition through various models of min-entropy consumption. Next, we consider several composition operators that allow smaller systems to be combined into larger systems, and explore the extent to which the leakage of a combined system is constrained by the leakage of its constituents. Most significantly, we prove upper bounds on the leakage of a cascade of two channels, where the output of the first channel is used as input to the second. In addition, we show how to decompose a channel into a cascade of channels. ^ We also establish fundamental new results about the recently-proposed g-leakage family of measures. These results further highlight the significance of channel cascading. We prove that whenever channel A is composition refined by channel B, that is, whenever A is the cascade of B and R for some channel R, the leakage of A never exceeds that of B, regardless of the prior distribution or leakage measure (Shannon leakage, guessing entropy leakage, min-entropy leakage, or g-leakage). Moreover, we show that composition refinement is a partial order if we quotient away channel structure that is redundant with respect to leakage alone. These results are strengthened by the proof that composition refinement is the only way for one channel to never leak more than another with respect to g-leakage. Therefore, composition refinement robustly answers the question of when a channel is always at least as secure as another from a leakage point of view.^

Bayesian Estimation of Small Proportions Using Binomial Group Test

Group testing has long been considered as a safe and sensible relative to one-at-a-time testing in applications where the prevalence rate p is small. In this thesis, we applied Bayes approach to estimate p using Beta-type prior distribution. First, we showed two Bayes estimators of p from prior on p derived from two different loss functions. Second, we presented two more Bayes estimators of p from prior on π according to two loss functions. We also displayed credible and HPD interval for p. In addition, we did intensive numerical studies. All results showed that the Bayes estimator was preferred over the usual maximum likelihood estimator (MLE) for small p. We also presented the optimal β for different p, m, and k.

Essays on city size distribution and real estate bubbles

This is a dissertation about urban systems; within this broad subject I tackle three issues, one that focuses on an observed inter-city relationship and two that focus on an intra-city phenomenon. In Chapter II I adapt a model of random emergence of economic opportunities from the firm growth literature to the urban dynamics situation and present several predictions for urban system dynamics. One of these predictions is that the older the city the larger and more diversified it is going to be on average, which I proceed to verify empirically using two distinct datasets. In Chapter III I analyze the Residential Real Estate Bubble that took place in Miami-Dade County from 1999 to 2006. I adopt a Spatial-Economic model developed for the Paris Bubble episode of 1984–1993 and formulate an innovative test of the results in terms of speculative intensity on the basis of proxies of investor activity available in my dataset. My results support the idea that the best or more expensive areas are also where the greatest speculative activity takes place and where the rapid increase in prices begins. The most significant departure from previous studies that emerges in my results is the absence of a wider gap between high priced areas and low priced areas in the peak year. I develop a measure of dispersion in value among areas and contrast the Miami-Dade and Paris episodes. In Chapter IV I analyze the impact on tax equity of a Florida tax-limiting legislation known as Save Our Homes. I first compare homesteaded and non-homesteaded properties, and second, look within the subset of homesteaded properties. I find that non-homesteaded properties increase their share of taxes paid relative to homesteaded properties during an up market, but that this is reversed during a down market. For the subset of homesteaded properties I find that the impact on tax equity of SOH will depend on differential growth rates among higher and lower valued homes, but during times of rapid home price appreciation, in a scenario of no differential growth rates in property values, SOH increases progressivity relative to the prior system.

Education policy and national income distribution: New evidence from recent cross -country data

In the mid 19th century, Horace Mann insisted that a broad provision of public schooling should take precedence over the liberal education of an elite group. In that regard, his generation constructed a state sponsored common schooling enterprise to educate the masses. More than 100 years later, the institution of public schooling fails to maintain an image fully representative of the ideals of equity and inclusion. Critical theory in educational thought associates the dominant practice of functional schooling with maintenance of the status quo, an unequal distribution of financial, political, and social resources. This study examined the empirical basis for the association of public schooling with the status quo using the most recent and comparable cross-country income inequality data. Multiple regression analysis evaluated the possible relationship between national income inequality change over the period 1985-2005 and variables representative of national measures of education supply in the prior decade. The estimated model of income inequality development attempted to quantify the relationship between education supply factors and subsequent income inequality developments by controlling for economic, demographic, and exogenous factors. The sample included all nations with comparable income inequality data over the measurement period, N = 56. Does public school supply affect national income distribution? The estimated model suggested that an increase in the average years of schooling among the population age 15 years or older, measured over the period 1975-1985, provided a mechanism that resulted in a more equal distribution of income over the period 1985-2005 among low and lower-middle income nations. The model also suggested that income inequality increased less or decreased more in smaller economies and when the percentage of the population age < 15 years grew more slowly over the period 1985-2000. In contrast, this study identified no significant relationship between school supply changes measured over prior periods and income inequality development over the period 1985-2005 among upper-middle and high income nations.

Distribution of Diatoms Along Environmental Gradients in the Charlotte Harbor, Florida (USA), Estuary and Its Watershed: Implications for Bioassessment of Salinity and Nutrient Concentrations

The relative abundance of diatom species in different habitats can be used as a tool to infer prior environmental conditions and evaluate management decisions that influence habitat quality. Diatom distribution patterns were examined to characterize relationships between assemblage composition and environmental gradients in a subtropical estuarine watershed. We identified environmental correlates of diatom distribution patterns across the Charlotte Harbor, Florida, watershed; evaluated differences among three major river drainages; and determined how accurately local environmental conditions can be predicted using inference models based on diatom assemblages. Sampling locations ranged from freshwater to marine (0.1–37.2 ppt salinity) and spanned broad nutrient concentration gradients. Salinity was the predominant driver of difference among diatom assemblages across the watershed, but other environmental variables had stronger correlations with assemblages within the subregions of the three rivers and harbor. Eighteen indicator taxa were significantly affiliated with subregions. Relationships between diatom taxon distributions and salinity, distance from the harbor, total phosphorus (TP), and total nitrogen (TN) were evaluated to determine the utility of diatom assemblages to predict environmental values using a weighted averaging-regression approach. Diatom-based inferences of these variables were strong (salinity R 2 = 0.96; distance R 2 = 0.93; TN R 2 = 0.83; TP R 2 = 0.83). Diatom assemblages provide reliable estimates of environmental parameters on different spatial scales across the watershed. Because many coastal diatom taxa are ubiquitous, the diatom training sets provided here should enable diatom-based environmental reconstructions in subtropical estuaries that are being rapidly altered by land and water use changes and sea level rise.