Quality of Protection Evaluation of Security Mechanisms

Recent research indicates that during the design of teleinformatic system the tradeoff between the systems performance and the system protection should be made. The traditional approach assumes that the best way is to apply the strongest possible security measures. Unfortunately, the overestimation of security measures can lead to the unreasonable increase of system load. This is especially important in multimedia systems where the performance has critical character. In many cases determination of the required level of protection and adjustment of some security measures to these requirements increase system efficiency. Such an approach is achieved by means of the quality of protection models where the security measures are evaluated according to their influence on the system security. In the paper, we propose a model for QoP evaluation of security mechanisms. Owing to this model, one can quantify the influence of particular security mechanisms on ensuring security attributes. The methodology of our model preparation is described and based on it the case study analysis is presented. We support our method by the tool where the models can be defined and QoP evaluation can be performed. Finally, we have modelled TLS cryptographic protocol and presented the QoP security mechanisms evaluation for the selected versions of this protocol

Possible role of Escherichia coli in propagation and perpetuation of chronic inflammation in ulcerative colitis

BACKGROUND: This study investigated a possible role of Escherichia coli in propagation and perpetuation of the chronic inflammation in ulcerative colitis (UC). The lesions of UC are located superficially on the rectal and/or colonic mucosa. It is suggested that the commensal bacteria of the digestive tract may play a role in the pathogenesis of UC. Several studies have demonstrated proliferation of E. coli in the gut of UC patients. An increase in the number of E. coli in the inflamed tissue is most probably related to the abundance of iron ions produced by the bacteria. METHODS: Colon mucosal biopsies were collected from 30 patients with acute-phase UC, both from tissues with inflammatory changes (n = 30) and unchanged tissue with no inflammatory changes (n = 30) from the same patient. Biopsies were also taken from 16 patients with irritable bowel syndrome diarrhea who comprised the control group. Quantitative and qualitative analysis of the biopsy specimens was performed using culture methods and real-time polymerase chain reaction (PCR). Genotyping of the E. coli isolates was done using pulsed-field gel electrophoresis. Multiplex PCR was used to compare the E. coli strains for the presence of genes responsible for synthesis of iron acquisition proteins: iroN, iutA, iha, ireA, chuA, and hlyA. RESULTS: We demonstrated that there was a significant increase in the number of E. coli at the sites of inflammation in patients with UC compared to the control group (P = 0.031). Comparative analysis of the restriction patterns of E. coli isolated from inflammatory and unchanged tissues showed that the local inflammatory changes did not promote specific E. coli strains. There was a significant difference in the frequency of the iroN gene in E. coli isolated from patients with UC as compared to the control group. CONCLUSIONS: The increase in the numbers of E. coli in the inflammatory tissues is related to the presence of chuA and iutA genes, which facilitate iron acquisition during chronic intestinal inflammatory processes

Framing a Knowledge Base for a Legal Expert System Dealing with Indeterminate Concepts

Despite decades of development of formal tools for modelling legal knowledge and reasoning, the creation of a fully fledged legal decision support system remains challenging. Among those challenges, such system requires an enormous amount of commonsense knowledge to derive legal expertise. This paper describes the development of a negotiation decision support system (the Parenting Plan Support System or PPSS) to support parents in drafting an agreement (the parenting plan) for the exercise of parental custody of minor children after a divorce is granted. The main objective here is to discuss problems of framing an intuitively appealing and computationally efficient knowledge base that can adequately represent the indeterminate legal concept of the well-being of the child in the context of continental legal culture and of Polish law in particular. In addition to commonsense reasoning, interpretation of such a concept demands both legal expertise and significant professional knowledge from other domains

Ultrahigh-Throughput Detection of Enzymatic Alcohol Dehydrogenase Activity in Microfluidic Droplets with a Direct Fluorogenic Assay.

The exploration of large DNA libraries of metagenomic or synthetic origin is greatly facilitated by ultrahigh-throughput assays that use monodisperse water-in-oil emulsion droplets as sequestered reaction compartments. Millions of samples can be generated and analysed in microfluidic devices at kHz speeds, requiring only micrograms of reagents. The scope of this powerful platform for the discovery of new sequence space is, however, hampered by the limited availability of assay substrates, restricting the functions and reaction types that can be investigated. Here, we broaden the scope of detectable biochemical transformations in droplet microfluidics by introducing the first fluorogenic assay for alcohol dehydrogenases (ADHs) in this format. We have synthesized substrates that release a pyranine fluorophore (8-hydroxy-1,3,6-pyrenetrisulfonic acid, HPTS) when enzymatic turnover occurs. Pyranine is well retained in droplets for >6 weeks (i. e. 14-times longer than fluorescein), avoiding product leakage and ensuring excellent assay sensitivity. Product concentrations as low as 100 nM were successfully detected, corresponding to less than one turnover per enzyme molecule on average. The potential of our substrate design was demonstrated by efficient recovery of a bona fide ADH with an >800-fold enrichment. The repertoire of droplet screening is enlarged by this sensitive and direct fluorogenic assay to identify dehydrogenases for biocatalytic applications.ERC, H2020 Marie-Curi

The classical-quantum boundary for correlations: discord and related measures

One of the best signatures of nonclassicality in a quantum system is the existence of correlations that have no classical counterpart. Different methods for quantifying the quantum and classical parts of correlations are amongst the more actively-studied topics of quantum information theory over the past decade. Entanglement is the most prominent of these correlations, but in many cases unentangled states exhibit nonclassical behavior too. Thus distinguishing quantum correlations other than entanglement provides a better division between the quantum and classical worlds, especially when considering mixed states. Here we review different notions of classical and quantum correlations quantified by quantum discord and other related measures. In the first half, we review the mathematical properties of the measures of quantum correlations, relate them to each other, and discuss the classical-quantum division that is common among them. In the second half, we show that the measures identify and quantify the deviation from classicality in various quantum-information-processing tasks, quantum thermodynamics, open-system dynamics, and many-body physics. We show that in many cases quantum correlations indicate an advantage of quantum methods over classical ones.Comment: Close to the published versio

Experimental verification of 2.4 kVAr and 12 kVAr prototype variable inductors controlled by virtual air gaps with magnetic orthogonality

This paper describes experimental verification of single-phase variable inductor prototypes rated at 2.4 kVAr (75 mH, 10 A, 230 V, 24 kg) and 12 kVAr (43 mH, 30 A, 400 V, 78 kg). Results for much smaller devices rated at 1-10 Var are also shown. The variability of inductance of the main AC winding was achieved by adding a DC winding, wound through the apertures placed symmetrically in the core such that both windings were magnetically orthogonal. Local saturation caused by the magnetic field due to DC winding creates virtual air gaps. This method is capable of lowering the main inductance by over 90% if no real air gap is present, but for industrial applications the range of variability is likely to be closer to 20-30% range, depending on the size of the real air gap in the magnetic circuit. The amount of variation/control can be improved by using more than one control winding. Very good repeatability of performance was observed, with relatively small total harmonic distortion introduced due to control. The experimental findings agree with a generalised analytical model

Versatile Product Detection via Coupled Assays for Ultrahigh-Throughput Screening of Carbohydrate-Active Enzymes in Microfluidic Droplets.

Enzyme discovery and directed evolution are the two major contemporary approaches for the improvement of industrial processes by biocatalysis in various fields. Customization of catalysts for improvement of single enzyme reactions or de novo reaction development is often complex and tedious. The success of screening campaigns relies on the fraction of sequence space that can be sampled, whether for evolving a particular enzyme or screening metagenomes. Ultrahigh-throughput screening (uHTS) based on in vitro compartmentalization in water-in-oil emulsion of picoliter droplets generated in microfluidic systems allows screening rates >1 kHz (or >107 per day). Screening for carbohydrate-active enzymes (CAZymes) catalyzing biotechnologically valuable reactions in this format presents an additional challenge because the released carbohydrates are difficult to monitor in high throughput. Activated substrates with large optically active hydrophobic leaving groups provide a generic optical readout, but the molecular recognition properties of sugars will be altered by the incorporation of such fluoro- or chromophores and their typically higher reactivity, as leaving groups with lowered pKa values compared to native substrates make the observation of promiscuous reactions more likely. To overcome these issues, we designed microdroplet assays in which optically inactive carbohydrate products are made visible by specific cascades: the primary reaction of an unlabeled substrate leads to an optical signal downstream. Successfully implementing such assays at the picoliter droplet scale allowed us to detect glucose, xylose, glucuronic acid, and arabinose as final products of complex oligosaccharide degradation by glycoside hydrolases by absorbance measurements. Enabling the use of uHTS for screening CAZyme reactions that have been thus far elusive will chart a route toward faster and easier development of specific and efficient biocatalysts for biovalorization, directing enzyme discovery by challenging catalysts for reaction with natural rather than model substrates