Many-to-Many Information Flow Policies

Information flow techniques typically classify information according to suitable security levels and enforce policies that are based on binary relations between individual levels, e.g., stating that information is allowed to flow from one level to another. We argue that some information flow properties of interest naturally require coordination patterns that involve sets of security levels rather than individual levels: some secret information could be safely disclosed to a set of confidential channels of incomparable security levels, with individual leaks considered instead illegal; a group of competing agencies might agree to disclose their secrets, with individual disclosures being undesired, etc. Motivated by this we propose a simple language for expressing information flow policies where the usual admitted flow relation between individual security levels is replaced by a relation between sets of security levels, thus allowing to capture coordinated flows of information. The flow of information is expressed in terms of causal dependencies and the satisfaction of a policy is defined with respect to an event structure that is assumed to capture the causal structure of system computations. We suggest applications to secret exchange protocols, program security and security architectures, and discuss the relation to classic notions of information flow control

Effect of organically bound iodine in cattle feed on health indicators

Currently, the problem of iodine deficiency is actual in the world, which may cause a large number of diseases and disorders. The problem of iodine deficiency for humans may be partly solved by enriching agricultural products with iodine, i.e. by providing animals with an increased intake of iodine during their growth. Theoretically, the most effective way to use iodine is the form bound to tyrosine, since diiodotyrosine has been proven to be a thyroxine precursor. Taking it into account, a supplement was developed containing iodine organically bound to tyrosine and histidine. In this work, we studied the effect of this supplement introduced into the diets of cattle on biochemical parameters of animal blood. In the test group, which received the supplement with organically bound iodine, an improvement in nitrogen metabolism was noted compared to the control group. This was most clearly demonstrated by the content of urea, since in the test group, its content decreased by ≈15 percentage points, and by the content of creatinine, since its increase in the test group was more than 20 percentage points. Differences in the parameters of carbohydrate and lipid metabolism between treatments were also noted, as in the blood of animals from the test group, the content of cholesterol, triglycerides, phospholipids, glucose and malondialdehyde was lower than in the control group. In mineral metabolism and morphological parameters, there was no significant difference between treatments. Among the indicators of pigment and hormone metabolism, it is important to note the reduced content of cortisol in the blood of animals from the test group. Its level was lower by ≈17.23 percentage points compared to the control group. A decrease in cortisol levels indicated a lower stress load in the test group. In general, studies have shown that the use of a feed supplement containing organically bound iodine has a positive effect on the metabolism of animals.Currently, the problem of iodine deficiency is actual in the world, which may cause a large number of diseases and disorders. The problem of iodine deficiency for humans may be partly solved by enriching agricultural products with iodine, i.e. by providing animals with an increased intake of iodine during their growth. Theoretically, the most effective way to use iodine is the form bound to tyrosine, since diiodotyrosine has been proven to be a thyroxine precursor. Taking it into account, a supplement was developed containing iodine organically bound to tyrosine and histidine. In this work, we studied the effect of this supplement introduced into the diets of cattle on biochemical parameters of animal blood. In the test group, which received the supplement with organically bound iodine, an improvement in nitrogen metabolism was noted compared to the control group. This was most clearly demonstrated by the content of urea, since in the test group, its content decreased by ≈15 percentage points, and by the content of creatinine, since its increase in the test group was more than 20 percentage points. Differences in the parameters of carbohydrate and lipid metabolism between treatments were also noted, as in the blood of animals from the test group, the content of cholesterol, triglycerides, phospholipids, glucose and malondialdehyde was lower than in the control group. In mineral metabolism and morphological parameters, there was no significant difference between treatments. Among the indicators of pigment and hormone metabolism, it is important to note the reduced content of cortisol in the blood of animals from the test group. Its level was lower by ≈17.23 percentage points compared to the control group. A decrease in cortisol levels indicated a lower stress load in the test group. In general, studies have shown that the use of a feed supplement containing organically bound iodine has a positive effect on the metabolism of animals

Effect of organically bound iodine in cattle feed on health indicators

Currently, the problem of iodine deficiency is actual in the world, which may cause a large number of diseases and disorders. The problem of iodine deficiency for humans may be partly solved by enriching agricultural products with iodine, i.e. by providing animals with an increased intake of iodine during their growth. Theoretically, the most effective way to use iodine is the form bound to tyrosine, since diiodotyrosine has been proven to be a thyroxine precursor. Taking it into account, a supplement was developed containing iodine organically bound to tyrosine and histidine. In this work, we studied the effect of this supplement introduced into the diets of cattle on biochemical parameters of animal blood. In the test group, which received the supplement with organically bound iodine, an improvement in nitrogen metabolism was noted compared to the control group. This was most clearly demonstrated by the content of urea, since in the test group, its content decreased by ≈15 percentage points, and by the content of creatinine, since its increase in the test group was more than 20 percentage points. Differences in the parameters of carbohydrate and lipid metabolism between treatments were also noted, as in the blood of animals from the test group, the content of cholesterol, triglycerides, phospholipids, glucose and malondialdehyde was lower than in the control group. In mineral metabolism and morphological parameters, there was no significant difference between treatments. Among the indicators of pigment and hormone metabolism, it is important to note the reduced content of cortisol in the blood of animals from the test group. Its level was lower by ≈17.23 percentage points compared to the control group. A decrease in cortisol levels indicated a lower stress load in the test group. In general, studies have shown that the use of a feed supplement containing organically bound iodine has a positive effect on the metabolism of animals

Integration of Static and Dynamic Analysis Techniques for Checking Noninterference

In this article, we present an overview of recent combinations of deductive program verification and automatic test generation on the one hand and static analysis on the other hand, with the goal of checking noninterference. Noninterference is the non-functional property that certain confidential information cannot leak to certain public output, i.e., the confidentiality of that information is always preserved. We define the noninterference properties that are checked along with the individual approaches that we use in different combinations. In one use case, our framework for checking noninterference employs deductive verification to automatically generate tests for noninterference violations with an improved test coverage. In another use case, the framework provides two combinations of deductive verification with static analysis based on system dependence graphs to prove noninterference, thereby reducing the effort for deductive verification

Influence of the new pre-starter feed on metabolism and immune status of piglets

A protein-vitamin-mineral concentrate (PVMC) containing plant protein has been developed for balancing compound feed for early weaned piglets. It uses a component from complete-fat fl axseeds, which contains polyunsaturated linolenic acid. The composition of the concentrate includes legumes, processed by special technology for the removal of anti-nutritional substances. Data on the effect of pre-starter compound feed containing the developed concentrate on the metabolism of nitrogenous substances in the body and some indicators of the neurohumoral link of the immunity of suckling pigs have been presented in the article. The animals had an intensive metabolism of nitrogenous substances. The total protein content in the blood serum was in the range of 65,53–65,73 g/l, and the ratio of albumins to globulins (coefficient A/G) was optimal – 1,55–1,67. The presence of a large amount of urea and glucose in the blood (3,05–3,72 and 6,60–5,80 mmol/l) has indicated that crossbred piglets had intensive synthetic processes associated with their growth. They contributed to the accumulation of M and G classes of immunoglobulins in the blood. The IgG content in the blood was 0,58–1,36 mg/ml, and IgM was 0,71–0,80 mg/ml. In terms of the amount of immunoglobulin G, the experimental group of piglets significantly exceeded the control group. Intestinal microbiocenosis in animals that have been received the new pre-starter compound feed was optimal. It has been dominated by positive microfloralactic acid and bifidum-bacteria, which inhibited the growth of pathogenic microflora, increasing the resistance of the piglets of the experimental group. Average daily gains in body weight were almost the same in both groups at the level of 253–254 g. Research results indicate that the new concentrate and pre-starter compound feed containing it had had the favorable effect on nitrogen metabolism and the immune status of the body of suckling piglets.</jats:p

Runtime enforcement of security policies on black box reactive programs

Security enforcement mechanisms like execution monitors are used to make sure that some untrusted program complies with a policy. Different enforcement mechanisms have different strengths and weaknesses and hence it is important to understand the qualities of various enforcement mechanisms. This paper studies runtime enforcement mechanisms for reactive programs. We study the impact of two important constraints that many practical enforcement mechanisms satisfy: (1) the enforcement mechanism must handle each input/output event in finite time and on occurrence of the event (as opposed to for instance Ligatti's edit automata that have the power to buffer events for an arbitrary amount of time), and (2) the enforcement mechanism treats the untrusted program as a black box: it can monitor and/or edit the input/output events that the program exhibits on execution and it can explore alternative executions of the program by running additional copies of the program and providing these different inputs. It can not inspect the source or machine code of the untrusted program. Such enforcement mechanisms are important in practice: They include for instance many execution monitors, virtual machine monitors, and secure multi-execution or shadow executions. We establish upper and lower bounds for the class of policies that are enforceable by such black box mechanisms, and we propose a generic enforcement mechanism that works for a wide range of policies.We also show how our generic enforcement mechanism can be instantiated to enforce specific classes of policies, at the same time showing that many existing enforcement mechanisms are optimized instances of our construction

Theoretical and practical bases of creation of prestarter granulated compound feed for piglets

Currently, the country’s industrial pig breeding uses mainly imported granulated compound feed and expensive enrichment additives containing protein products with different processing technologies, and biologically active substances. This leads to an increase in the cost of pig products. Alternative to imported analogues complex enrichment additive for prestarter feed from domestic raw materials has been developed, the use of which has been scientifically justified. The basis of this additive is soya and lupin with different processing methods, corn gluten, fish meal and milk whey, as well as biologically active substances. Optimal modes of extrusion of soya, fl ax seeds, grain feed, processing additives and granulated feed under the conditions of the feed mill have been worked out. Tests of granulated compound feeds with experimental and imported processing additives on piglets of suckling age have been carried out at the pig breeding complex. It has been established that the qualitative characteristics of the granulated compound feed with additives and processing subjects were almost equal. As the result of their use on the large number of pigs, high livability of off spring was ensured and almost equal indicators of live weight of young animals at 24-day age were obtained at the level of 253–254 g. At the same time, the level of hemoglobin in the blood was high at 119,7–120,6 g/l, and the young animals of the experimental group had the advantage in the content of γ-globulins by 1,92 %, which indicates the higher immune status of the animals of the experimental group. Studies have shown that granulated compound feed with the complex enrichment additive of domestic production is cheaper than imported by 29,76 %. This is economically beneficial for the farm.</jats:p

A Heuristic method for the reduction of the outage rate of high-voltage substations due to atmospheric overvoltages

The adequate protection against lightning surges and the limitation of the expected annual failure rate of high-voltage substations are critical issues, in an effort to secure the safety of the equipment and the personnel. Various factors affect the lightning performance of the substations, determining the developed lightning surges and the expected outage rate, i.e., the grounding resistance, the length of the underground cable between the connected overhead transmission line and the power transformer, and the installation position of the arresters. In the current work, a heuristic method is developed to adjust different parameters of high-voltage substations that upgrade their lightning performance. The proposed methodology can be useful to the studies of substations' designers and engineers, contributing effectively in the reduction or/and elimination of lightning failures. © 2018 by the authors

A Heuristic method for the reduction of the outage rate of high-voltage substations due to atmospheric overvoltages

The adequate protection against lightning surges and the limitation of the expected annual failure rate of high-voltage substations are critical issues, in an effort to secure the safety of the equipment and the personnel. Various factors affect the lightning performance of the substations, determining the developed lightning surges and the expected outage rate, i.e., the grounding resistance, the length of the underground cable between the connected overhead transmission line and the power transformer, and the installation position of the arresters. In the current work, a heuristic method is developed to adjust different parameters of high-voltage substations that upgrade their lightning performance. The proposed methodology can be useful to the studies of substations' designers and engineers, contributing effectively in the reduction or/and elimination of lightning failures. © 2018 by the authors