Generalizing Permissive-Upgrade in Dynamic Information Flow Analysis

Preventing implicit information flows by dynamic program analysis requires coarse approximations that result in false positives, because a dynamic monitor sees only the executed trace of the program. One widely deployed method is the no-sensitive-upgrade check, which terminates a program whenever a variable's taint is upgraded (made more sensitive) due to a control dependence on tainted data. Although sound, this method is restrictive, e.g., it terminates the program even if the upgraded variable is never used subsequently. To counter this, Austin and Flanagan introduced the permissive-upgrade check, which allows a variable upgrade due to control dependence, but marks the variable "partially-leaked". The program is stopped later if it tries to use the partially-leaked variable. Permissive-upgrade handles the dead-variable assignment problem and remains sound. However, Austin and Flanagan develop permissive-upgrade only for a two-point (low-high) security lattice and indicate a generalization to pointwise products of such lattices. In this paper, we develop a non-trivial and non-obvious generalization of permissive-upgrade to arbitrary lattices. The key difficulty lies in finding a suitable notion of partial leaks that is both sound and permissive and in developing a suitable definition of memory equivalence that allows an inductive proof of soundness

Firm technological responses to regulatory changes: A longitudinal study in the Le Mans Prototype racing

Despite the critical role of regulations on competition and innovation, little is known about firm responses and related effects on performance under regulatory contingencies that are permissive or restrictive. By longitudinally investigating hybrid cars competing in the Le Mans Prototype racing (LMP1), we counter-intuitively suggest that permissive regulations increase technological uncertainty and thus decrease the firms’ likelihood of shifting their technological trajectory, while restrictive regulations lead to the opposite outcome. Further, we suggest that permissive regulations favour firms that innovate their products by sequentially upgrading core and peripheral subsystems, while restrictive regulations—in the long term— favour firms upgrading them simultaneously. Implications for theory and practice are discussed

A Dual Model of Open Source License Growth

Every open source project needs to decide on an open source license. This decision is of high economic relevance: Just which license is the best one to help the project grow and attract a community? The most common question is: Should the project choose a restrictive (reciprocal) license or a more permissive one? As an important step towards answering this question, this paper analyses actual license choice and correlated project growth from ten years of open source projects. It provides closed analytical models and finds that around 2001 a reversal in license choice occurred from restrictive towards permissive licenses.Comment: 14 pages, 6 figure

Barriers to infection of human cells by feline leukemia virus: insights into resistance to zoonosis

The human genome displays a rich fossil record of past gamma-retrovirus infections, yet no current epidemic is evident, despite environmental exposure to viruses that infect human cells in vitro. Feline leukemia viruses (FeLVs) rank high on this list, but domestic or workplace exposure has not been associated with detectable serological responses. Non-specific inactivation of gamma-retroviruses by serum factors appears insufficient to explain these observations. To investigate further we explored the susceptibility of primary and established human cell lines to FeLV-B, the most likely zoonotic variant. Fully permissive infection was common in cancer-derived cell lines, but was also a feature of non-transformed keratinocytes and lung fibroblasts. Cells of haematopoietic origin were less generally permissive and formed discrete groups on the basis of high or low intracellular protein expression and virion release. Potent repression was observed in primary human blood mononuclear cells and a subset of leukemia cell lines. However, the early steps of reverse transcription and integration appear to be unimpaired in non-permissive cells. FeLV-B was subject to G->A hypermutation with a predominant APOBEC3G signature in partially permissive cells but was not mutated in permissive cells or in non-permissive cells that block secondary viral spread. Distinct cellular barriers that protect primary human blood cells are likely to be important in protection against zoonotic infection with FeLV

Permissive hypofiltration

Acute kidney injury (AKI) is a syndrome with a multitude of causes and is associated with high mortality and a permanent loss of renal function. Our current understanding of the most common causes of AKI is limited, and thus a silver bullet therapy remains elusive. A change in the approach to AKI that shifts away from the primary composite endpoint of death/dialysis, and instead focuses on improving survival and mitigating permanent renal damage, is likely to be more fruitful. We suggest that the current approach of augmenting renal function by increasing the renal blood flow or glomerular filtration rate during AKI may actually worsen outcomes. Analogous to the approach towards adult respiratory distress syndrome that limits ventilator-induced lung injury, we propose the concept of permissive hypofiltration. The primary goals of this approach are: resting the kidney by providing early renal replacement therapy, avoiding the potentially injurious adverse events that occur during AKI (for example, fluid overload, hypophosphatemia, hypothermia, and so forth), and initiating therapies focused on improving survival and mitigating permanent loss of kidney function. © 2012 BioMed Central Ltd

How Supererogation Can Save Intrapersonal Permissivism

Rationality is intrapersonally permissive just in case there are multiple doxastic states that one agent may be rational in holding at a given time, given some body of evidence. One way for intrapersonal permissivism to be true is if there are epistemic supererogatory beliefs—beliefs that go beyond the call of epistemic duty. Despite this, there has been almost no discussion of epistemic supererogation in the permissivism literature. This paper shows that this is a mistake. It does this by arguing that the most popular ways of responding to one of the major obstacles to any intrapersonally permissive all fall prey to the same problem. This problem is most naturally solved by positing a category of epistemically supererogatory belief. So intrapersonal epistemic permissivists should embrace epistemic supererogation

Compositional synthesis of maximally permissive supervisors using supervision equivalence

This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of process equivalence. In this context, a large number of ways are suggested how a finite-state automaton can be simplified such that the results of supervisor synthesis are preserved. The proposed approach yields a compact representation of a least restrictive supervisor that ensures controllability and nonblocking. The method is demonstrated on a simple manufacturing example to significantly reduce the number of states constructed for supervisor synthesis

Connections between evolution algebras and graphical model of hereditary disease

In Biology, genes interactions are usually described in terms of graphs. Certain of those genes dispose in bi-functional modules within the graph according to their (anti)correlation to a state of functioning (e.g., permittivity to a genetic disorder of codominant traits). A disease may be characterised by a finite number of those modules. For a given module, there exist some allelic variants at risk (i.e., genetics risk factor) leading to a permissive state what eventually would cause disease in an individual if the other modules were also in the same permissive state. At present, the effective modelling of all these inherited genetics factors is impossible in biomedicine. However, within the framework of evolution algebras, it can be possible. In this work, we will explore connections between random walks on disease graphs and the evolution algebra determined by the same graph.Universidad de Málaga. Campus de Excelencia Internacional Andalucía Tech