Two-bit pattern analysis for quantitative information flow

Protecting confidential information from improper disclosure is a fundamental security goal. While encryption and access control are important tools for ensuring confidentiality, they cannot prevent an authorized system from leaking confidential information to its publicly observable outputs, whether inadvertently or maliciously. Hence, secure information flow aims to provide end-to-end control of information flow. Unfortunately, the traditionally-adopted policy of noninterference, which forbids all improper leakage, is often too restrictive. Theories of quantitative information flow address this issue by quantifying the amount of confidential information leaked by a system, with the goal of showing that it is intuitively "small" enough to be tolerated. Given such a theory, it is crucial to develop automated techniques for calculating the leakage in a system. ^ This dissertation is concerned with program analysis for calculating the maximum leakage, or capacity, of confidential information in the context of deterministic systems and under three proposed entropy measures of information leakage: Shannon entropy leakage, min-entropy leakage, and g-leakage. In this context, it turns out that calculating the maximum leakage of a program reduces to counting the number of possible outputs that it can produce. ^ The new approach introduced in this dissertation is to determine two-bit patterns, the relationships among pairs of bits in the output; for instance we might determine that two bits must be unequal. By counting the number of solutions to the two-bit patterns, we obtain an upper bound on the number of possible outputs. Hence, the maximum leakage can be bounded. We first describe a straightforward computation of the two-bit patterns using an automated prover. We then show a more efficient implementation that uses an implication graph to represent the two- bit patterns. It efficiently constructs the graph through the use of an automated prover, random executions, STP counterexamples, and deductive closure. The effectiveness of our techniques, both in terms of efficiency and accuracy, is shown through a number of case studies found in recent literature. ^

An analysis of Venezuela's foreign policy during the period of the Betancourt doctrine and Caldera's ideological pluralism

This thesis examines the foreign policy of Venezuela during the period of the Betancourt Doctrine (1945-1948 and 1959-1963), and Caldera's Ideological Pluralism (1969-1973). The study seeks to determine whether, and to what extent the pursuit of political and economic interests and ideology determined Venezuela's foreign policy. Based on primary and secondary sources, this study examines political economy and ideology and how these affected the outcome of Venezuela's foreign policy. The major finding of this thesis is that Venezuelan foreign policy was a pragmatic one but it was rationalized within an ideological framework. In fact, Venezuela was most concerned in pursuing its domestic economic and political interests but these were hidden behind an ideological facade.

Learning from a deceptively spacious policy discourse

In this chapter, the way in which varied terms such as Networked learning, e-learning and Technology Enhanced Learning (TEL) have each become colonised to support a dominant, economically-based world view of educational technology is discussed. Critical social theory about technology, language and learning is brought into dialogue with examples from a corpus-based Critical Discourse Analysis (CDA) of UK policy texts for educational technology between1997 and 2012. Though these policy documents offer much promise for enhancement of people’s performance via technology, the human presence to enact such innovation is missing. Given that ‘academic workload’ is a ‘silent barrier’ to the implementation of TEL strategies (Gregory and Lodge, 2015), analysis further exposes, through empirical examples, that the academic labour of both staff and students appears to be unacknowledged. Global neoliberal capitalist values have strongly territorialised the contemporary university (Hayes & Jandric, 2014), utilising existing naïve, utopian arguments about what technology alone achieves. Whilst the chapter reveals how humans are easily ‘evicted’, even from discourse about their own learning (Hayes, 2015), it also challenges staff and students to seek to re-occupy the important territory of policy to subvert the established order. We can use the very political discourse that has disguised our networked learning practices, in new explicit ways, to restore our human visibility.

Baseline analysis of the existing capacities and needs for capacity building for Marine Strategy Framework Directive implementation in the Celtic Seas sub-region.

This report evaluates the existing situation in the Celtic Seas sub-region and determines the current state of preparedness for transboundary management of marine ecosystems and MSFD implementation. Recommendations for capacity building are provided through the analysis of the existing conflicts and potential synergies between relevant policies, institutions and information resources for MSFD implementation across the region. This report strives to empower stakeholders through the provision of a sound baseline with accurate and up-to-date information on the current status of MSFD implementation, potential opportunities and suggested approaches for building capacities in their region and across the Celtic Seas. It is evident that there are a number of national marine planning processes currently underway and at different stages throughout the United Kingdom and the pre-planning context for MSP in Ireland. On a similar note, this evaluation of MSFD implementation progress to-date in the United Kingdom, Ireland and France highlights that each Member State has implemented the legal and procedural requirements of preparatory steps in differing manners and using different time scales. This variance across the sub-region has the potential to impact the achievement of GES by 2020 across the Celtic Seas.

An Economic Analysis of Global Policy Proposals to Prohibit Compensation of Blood Plasma Donors

© 2016 International Journal of the Economics of Business.Human blood plasma and its derivative therapies have been used therapeutically for more than 50 years, after first being widely used to treat injuries during World War II. In certain countries, manufacturers of these therapies – known as plasma-derived medicinal products (PDMPs) – compensate plasma donors, raising healthcare and ethical concerns among some parties. In particular, the World Health Organization has taken a strong advocacy position that compensation for blood donations should be eliminated worldwide. This review evaluates the key economic factors underlying the supply and demand for PDMPs and the evidence pointing to the policy options that are most likely to maintain a reliable supply of life-sustaining therapies. It concludes that compensated plasma donation is important for maintaining adequate and consistent supplies of plasma and limits the risk of under-treatment for the foreseeable future.

An Institutional, Socio-economic, and Legal Analysis of Fisheries Co-management and Regulation in the Gulf of Nicoya, Costa Rica

Marine Areas for Responsible Artisanal Fishing (AMPR) have emerged as a new model for co-managing small-scale fisheries in Costa Rica, one that involves collaboration between fishers, government agencies and NGOs. This thesis aims to examine the context for collective action and co-management by small-scale fishers; evaluate the design, implementation, and enforcement of AMPRs; and conduct a linguistic analysis of fisheries legislation. The present work relies on the analysis of several types of qualitative data, including interviews with 23 key informants, rapid rural assessments, and legal documents. Findings demonstrate the strong influence of economic factors for sustaining collective action, as well as the importance of certain types of external organizations for community development and co-management. Additionally, significant enforcement gaps and institutional deficiencies were identified in the work of regulating agencies. Legal analysis suggests that mechanisms for government accountability are unavailable and that legal discourse reflects some of the most salient problems in management.

Designing Policy Mixes for Resource Efficiency: The Role of Public Acceptability

Where the public acceptability of a policy can influence its chance of success, it is important to anticipate and mitigate potential concerns. This paper applies search frequency analysis and a form of claims-making analysis to identify public acceptability concerns among fourteen policies proposed by the EU-funded DYNAMIX project to achieve EU resource efficiency. Key points of contention in the corresponding public discourses focus primarily on trust, fairness, effectiveness and cost. We use our findings to provide specific recommendations for the design and implementation of the proposed policy mix which are intended to improve the public acceptability of contentious aspects, and highlight some broader insights for policymakers.

The European Union Foreign Policy in the Caucasus and Central Asia: The Limitations of the Opening towards the East

This article intends to study the evolution of the European Union foreign policy in the Southern Caucasus and Central Area throughout the Post-Cold War era. The aim is to analyze Brussels’ fundamental interests and limitations in the area, the strategies it has implemented in the last few years, and the extent to which the EU has been able to undermine the regional hegemons’ traditional supremacy. As will be highlighted, the Community’s chronic weaknesses, the local determination to preserve sovereignty and an increasing international geopolitical competition undermine any European aspiration to become a pre-eminent actor at the heart of the Eurasian continent in the near future.

Policy Transfer and the Sustainability of Public Private Partnership in Ireland::A conceptual analysis

There has been private sector involvement in the delivery of public services in the Irish State since its foundation. This involvement was formalised in 1998 when Public Private Partnership (PPP) was officially introduced. Ireland is a latecomer to PPP and, prior to the credit crisis, was seen as a ‘rapid follower’ relying primarily on the UK PPP model in the procurement of infrastructure in transport, education, housing/urban regeneration and water/wastewater.  PPP activity in Ireland stalled during the credit crisis, and some projects were cancelled, but it has taken off again recently with part of the Infrastructure and Capital Investment Plan 2016 – 2021 to be delivered through PPP showing continuing political commitment to PPP.  Ireland’s interest in PPP cannot be explained by economic rationale alone, as PPP was initiated during a period of prosperity. We consider three alternative explanations: voluntary adoption – where the UK model was closely followed; coercive adoption – where PPP policy was forced upon Ireland; and institutional isomorphism – where institutional creation and change was promoted to aid public sector organisations in gaining institutional legitimacy. We find evidence of all three patterns, with coercive adoption becoming more relevant in recent years. Ireland’s rapid uptake of PPP differs from other European countries, mostly because when PPP was introduced in 1998, the Irish State was in an economic position where it could have directly procured necessary infrastructure. This paper therefore asks why PPP was adopted and how this adoption pattern has affected the sustainability of PPP in Ireland.  This paper defines PPP; examines the background to the PPP approach adopted in Ireland; outlines the theoretical framework of the paper: transfer theory and institutional theory; discusses the methodology; reports on findings and gives conclusions.   

A two-step approach for the analysis of hybrids in comparative social policy analysis: a nuanced typology of childcare policies

Typologies have represented an important tool for the development of comparative social policy research and continue to be widely used in spite of growing criticism of their ability to capture the complexity of welfare states and their internal heterogeneity. In particular, debates have focused on the presence of hybrid cases and the existence of distinct cross-national pattern of variation across areas of social policy. There is growing awareness around these issues, but empirical research often still relies on methodologies aimed at classifying countries in a limited number of unambiguous types. This article proposes a two-step approach based on fuzzy-set-ideal-type analysis for the systematic analysis of hybrids at the level of both policies (step 1) and policy configurations or combinations of policies (step 2). This approach is demonstrated by using the case of childcare policies in European economies. In the first step, parental leave policies are analysed using three methods – direct, indirect, and combinatory – to identify and describe specific hybrid forms at the level of policy analysis. In the second step, the analysis focus on the relationship between parental leave and childcare services in order to develop an overall typology of childcare policies, which clearly shows that many countries display characteristics normally associated with different types (hybrids and. Therefore, this two-step approach enhances our ability to account and make sense of hybrid welfare forms produced from tensions and contradictions within and between policies.

Analysis of Responses to Public Consultation - Policy for the Provision and Management of Cleaning Services in the Health and Social Care Sector (PDF 496KB)

Analysis of Responses to Public Consultation - DHSSPS Cleaning Services Policy in the Health and Social Care Sector

An Empirical Analysis of Continuing Improvements Following the Implementation of a Performance-Based Compensation Plan

Performance improvements subsequent to the implementation of a pay-for-performance plan can result because more productive employees self-select into the firm (selection effect) and/or because employees allocate effort to become more effective (effort effect). We analyze individual performance data for 3,776 sales employees of a retail firm to evaluate these alternative sources of continuing performance improvement. The incentive plan helps the firm attract and retain more productive sales employees, and motivates these employees to further improve their productivity. In contrast, the less productive sales employees’ performance declines before they leave the firm.